Fr. 166.00

Logic for Everyone - From Proof to Paradox

English · Hardback

Shipping usually within 3 to 5 weeks

Description

Read more










"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"--

List of contents

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.

About the author

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.

Summary

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.

Foreword

An introduction to logic as a living field connecting it with other fields including philosophy, computer science, and linguistics.

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.