A rigorous, yet accessible introduction to the field of logic, this book provides students with a unique insight into logic as a living field and how it connects to other fields of inquiry including philosophy, computer science, linguistics, and mathematics.
A rigorous, yet accessible introduction to the field of logic, this book provides students with a unique insight into logic as a living field and how it connects to other fields of inquiry including philosophy, computer science, linguistics, and mathematics.
Jason Decker is a Professor of Philosophy and Cognitive Science at Carleton College, where he has taught a variety of courses in logic, language, mind, epistemology, cognitive science, conspiracy theories and color. He has been teaching formal logic for twenty years since receiving his Ph.D. from MIT in 2006. He has served as an associate editor of the journal Analysis and has published numerous papers on relevant topics.
Inhaltsangabe
1. The Foundations of Classical Propositional Logic 2. Truth-Functionality and the Boolean Connectives 3. Truth, Consequence, and Explosions! 4. Rules for Boolean Connectives 5. Cracks in the Utopian Vision: Apparent Disconnects Between PL and Natural Language, and how Pragmatics Might Help 6. Conditionals I 7. Conditionals II 8. Logical Form, Hidden Form, and Deep Structure 9. Truth-Functional Completeness Etc. 10. From Aristotelian Logic to Quantifiers and Variables 11. The Foundations of Quantified Logic and the System QL 12. Formal Semantics for PL and QL 13. Controversy Over How to Handle Descriptions 14. Natural Deduction Rules for QL 15. QL Proof Strategies, Advice, and Derived Rules 16. More Cracks: Reference Failure 17. Semantic Tableaux 18. Completeness and Soundness Worries (and Prospects for Their Resolutions) 19. The Journey From Extension to Intension 20. Lambdas! 21. The Sorites Paradox and the Problem of Vagueness 22. The Liar and its Descendants 23. Finding a Way Forward.
1. The Foundations of Classical Propositional Logic 2. Truth-Functionality and the Boolean Connectives 3. Truth, Consequence, and Explosions! 4. Rules for Boolean Connectives 5. Cracks in the Utopian Vision: Apparent Disconnects Between PL and Natural Language, and how Pragmatics Might Help 6. Conditionals I 7. Conditionals II 8. Logical Form, Hidden Form, and Deep Structure 9. Truth-Functional Completeness Etc. 10. From Aristotelian Logic to Quantifiers and Variables 11. The Foundations of Quantified Logic and the System QL 12. Formal Semantics for PL and QL 13. Controversy Over How to Handle Descriptions 14. Natural Deduction Rules for QL 15. QL Proof Strategies, Advice, and Derived Rules 16. More Cracks: Reference Failure 17. Semantic Tableaux 18. Completeness and Soundness Worries (and Prospects for Their Resolutions) 19. The Journey From Extension to Intension 20. Lambdas! 21. The Sorites Paradox and the Problem of Vagueness 22. The Liar and its Descendants 23. Finding a Way Forward.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
