Logic Works: A Rigorous Introduction to Formal Logic

ISBN-13: 9780367460303 / Angielski / Twarda / 2021 / 646 str.

Lorne Falkenstein; Scott Stapleford; Molly Kao

Opis

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines.　

Spis treści

1. Introduction to the study of logic  2. Vocabulary and syntax  3. Semantics  4. Formalization  5. Working with SL semantics  A-1. Advanced topics concerning SL semantics  6. Derivations  A-2. Advanced topics concerning the soundness and completeness of Ds  7. Reduction Trees  A-3: Advanced topics concerning the soundness and completeness of Ts  8. Vocabulary, syntax, formalization and derivations  9. Semantics and Trees for Modal and Intuitionistic Sentential Logic  A-4: Advanced Topics concerning the "soundness" and "completeness" of Dm and Tm  10. Vocabulary, syntax, formalization, and derivations  11. Semantics and trees  A-5: Advanced topics for PSL  12. Vocabulary, syntax, and formalization  13. Derivations  14. Trees and tree model semantics for QPL  15. Semantics for QPL without mixed multiple quantification  16. Semantics for QPL with mixed multiple quantification  A-6: Advanced topics for QPL  17. Higher order logic  Rule summaries