Logic for Everyone
portes grátis
Logic for Everyone
From Proof to Paradox
Decker, Jason
Cambridge University Press
04/2025
550
Mole
Inglês
9781009220552
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
