Logic: The Basics(The Basics) p. 10(電子版/PDF)2010年刊
Beall, J.C. 著
内容
目次
I BACKGROUND IDEAS 1. Consequences 1.1 Relations of support 1.2Logical consequence: the basic recipe 1.3 Valid arguments and truth 1.4Summary, looking ahead, and reading 2. Language, Form, and Logical Theories2.1 Language 2.2 Atoms, connectives, and molecules 2.3 Connectives and form2.4 Validity and form 2.5 Language and formal languages 2.6 Logicaltheories: rivalry 3. Set-theoretic Tools 3.1 Sets 3.2 Ordered sets: pairsand n-tuples 3.3 Relations 3.4 Functions 3.5 Sets as tools. II BASICCONNECTIVES 4. Classical Theory 4.1 Cases: complete and consistent 4.2Classical 'truth conditions' 4.3 Basic classical consequence 4.4Motivation: precision 4.5 Formal picture 4.6 Defined connectives 4.7 Somenotable valid forms 4.8 Summary and looking ahead 5. A Paracomplete Theory5.1 Apparent unsettledness 5.2 Cases: incomplete 5.3 Paracomplete truth andfalsity conditions 5.4 Paracomplete consequence 5.5 Formal picture 5.6Defined connectives 5.7 Some notable forms 5.8 Summary and looking ahead6. A Paraconsistent Theory 6.1 Apparent overdeterminacy 6.2 Cases:inconsistent 6.3 Paraconsistent 'truth conditions' 6.4 Paraconsistentconsequence 6.5 Formal picture 6.6 Defined connectives 6.7 Some notableforms 6.8 Summary and looking ahead. III INNARDS, IDENTITY, AND QUANTIFIERS7. Atomic Innards 7.1 Atomic innards: names and predicates 7.2 Truth andfalsity conditions for atomics 7.3 Cases, domains, and interpretationfunctions 7.4 Classical, paracomplete and paraconsistent 7.5 A formalpicture 7.6 Summary and looking ahead 8. Identity 8.1 Logical expressionsand logical form 8.2 Validity involving identity 8.3 Identity: informalsketch 8.4 Truth conditions: informal sketch 8.5 Formal picture 8.6Summary and looking ahead 9. Everything and Something 9.1 Validityinvolving quantifiers 9.2 Quantifiers: an informal sketch 9.3 Truth andfalsity conditions 9.4 A formal picture 9.5 Paraconsistent, paracomplete,classical 9.6 Summary and looking ahead. IV FREEDOM, NECESSITY, AND BEYOND10. Speaking Freely 10.1 Speaking of non-existent 'things' 10.2 Existentialimport 10.3 Freeing our terms, expanding our domains 10.4 Truth conditions:an informal sketch 10.5 Formal picture 11. Possibilities 11.1 Possibilityand necessity 11.2 Towards truth and falsity conditions 11.3 Cases andconsequence 11.4 Formal picture 11.5 Remark on going beyond possibility12. Glimpsing Different Logical Roads 12.1 Other conditionals 12.2 Othernegations 12.3 Other alethic modalities: actuality 12.4 Same connectives,different truth conditions 12.5 Another road to difference: consequence. AList of Common Abbreviations. References.
カート
カートに商品は入っていません。