LEADER 04049nam a22005775i 4500
001 814191
003 TR_AnAIT
005 20260130221030
007 cr nn 008mamaa
008 130809s1990 ne | s |||| 0|eng d
020 |a9789400905252|9978-94-009-0525-2
024 7 |a10.1007/978-94-009-0525-2|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/15430
100 1 |aEpstein, R.L.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
245 14|aThe Semantic Foundations of Logic Volume 1: Propositional Logics|h[electronic resource] /|cby R.L. Epstein.
250 |a1st ed. 1990.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1990.
300 |aXXII, 388 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aNijhoff International Philosophy Series ;|v35
505 0 |aThe Basic Assumptions of Propositional Logic -- Classical Propositional Logic - PC - -- Relatedness Logic: The Subject Matter of a Proposition - S and R - -- A General Framework for Semantics for Propositional Logics -- Dependence Logics - D, Dual D, Eq, DPC - -- Modal Logics - S4, S5, S4Grz, T, B, K, QT, MSI, ML, G, G* - -- Intuitionism - Int and J - -- Many-Valued Logics - L3, Ln, L?, K3, G3, Gn, G?, S5 - -- A Paraconsistent Logic: J3 -- Translations Between Logics -- The Semantic Foundations of Logic -- Summary of Logics.
520 |aThis book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the mathematical theorems about logic which I've learned if they have no connection to our everyday reasoning? The answers I propose revolve around the perception that what one pays attention to in reasoning determines which logic is appropriate. The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value. For you to understand my answers, or perhaps better, conjectures, I have retraced my steps: from the concrete to the abstract, from examples, to general theory, to further confirming examples, to reflections on the significance of the work.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aMathematical logic.
650 0|aArtificial intelligence.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aArtificial Intelligence.
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9780792306221
776 08|iPrinted edition:|z9789400905269
776 08|iPrinted edition:|z9789401067225
830 0|aNijhoff International Philosophy Series ;|v35
856 40|uhttps://doi.org/10.1007/978-94-009-0525-2
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)