Table of Contents for: Deductive logic

 Staff view

You must be logged in to Tag Records

Deductive logic /

Warren Goldfarb.

Book Cover
Main Author: Goldfarb, Warren D.
Published: Indianapolis, IN : Hackett Pub., ©2003.
Topics: Logic. | Logica. | Kwantificatie (taalkunde)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Part I. Truth-functional Logic -- A.. Analysis -- 1. Statements -- 2. Conjunction -- 3. Negation -- 4. Disjunction -- 5. Grouping -- 6. Truth-functions -- 7. Conditional -- 8. Logical Paraphrase -- B.. Logical Assessment -- 9. Schemata and Interpretation -- 10. Validity and Satisfiability -- 11. Implication -- 12. Use and Mention -- 13. Equivalence -- C.. Reflection -- 14. General Laws -- 15. Disjunctive Normal Form -- 16. Expressive Adequacy -- 17. Formal Systems -- Part II. Monadic Quantification Theory -- A.. Analysis -- 18. Monadic Predicates and Open Sentences -- 19. The Existential Quantifier -- 20. The Universal Quantifier -- 21. Further Notes on Paraphrase -- 22. Universe of Discourse -- B.. Logical Assessment -- 23. Schemata and Interpretation -- 24. Validity, Implication, and Equivalence -- 25. Testing Monadic Schemata -- C.. Reflection -- 26. Monadic Satisfiability -- 27. General Laws -- Part III. Polyadic Quantification Theory -- A.. Analysis -- 28. Polyadic Predicates -- 29. Paraphrase -- B.. Logical Assessment -- 30. Schemata and Interpretation -- 31. Validity, Implication, and Equivalence -- 32. Instances -- 33. Deduction -- 34. Deduction Extended -- C.. Reflection -- 35. Soundness -- 36. Other Laws -- 37. Prenex Form -- 38. Completeness -- 39. Further Consequences -- 40. Decidability -- Part IV. Identity and Names -- 41. Identity -- 42. Inference with Names -- 43. Descriptions -- 44. Elimination of Descriptions.
Loading Table of ContentsLoading

Table of Contents for: Deductive logic