Phu Xuan University Library
|
PXU E-LIB
Sign in
An Introduction to Formal Logic

External

An Introduction to Formal Logic

This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6.

PhilosophyHumanities
Author
P.D. Magnus
Publisher
University of Albany, State University of New York
Source
LibreTexts
License
CC BY-SA
Language
EN
Read online Download PDF (open licence)
Contents· 52 sections
  1. Chapter 1: What is logic
  2. Section 1: Arguments
  3. Section 2: Sentences
  4. Section 3: Two ways that arguments can go wrong
  5. Section 4: Deductive validity
  6. Section 5: Other logical notions
  7. Section 6: Formal languages
  8. Section 7: Practice Exercises
  9. Chapter 2: Sentential logic
  10. Section 1: Sentence letters
  11. Section 2: Connectives
  12. Section 3: Other symbolization
  13. Section 4: Sentences of SL
  14. Section 5: Practice Exercises
  15. Chapter 3: Truth tables
  16. Section 1: Truth-functional connectives
  17. Section 2: Complete truth tables
  18. Section 3: Using truth tables
  19. Section 4: Partial truth tables
  20. Section 5: Practice Exercises
  21. Chapter 4: Quantified logic
  22. Section 1: From sentences to predicates
  23. Section 2: Building blocks of QL
  24. Section 3: Quantifiers
  25. Section 4: Translating to QL
  26. Section 5: Sentences of QL
  27. Section 6: Identity
  28. Section 7: Practice Exercises
  29. Chapter 5: Formal semantics
  30. Section 1: Semantics for SL
  31. Section 2: Interpretations and models in QL
  32. Section 3: Semantics for identity
  33. Section 4: Working with models
  34. Section 5: Truth in QL
  35. Section 6: Practice Exercises
  36. Chapter 6: Proofs
  37. Section 01: Basic rules for SL
  38. Section 02: Derived rules
  39. Section 03: Rules of replacement
  40. Section 04: Rules for quantifiers
  41. Section 05: Rules for identity
  42. Section 06: Proof strategy
  43. Section 07: Proof-theoretic concepts
  44. Section 08: Proofs and models
  45. Section 09: Soundness and completeness
  46. Section 10: Practice Exercises
  47. Other symbolic notation
  48. Chapter A: Symbolic notation
  49. Quick Reference
  50. Quick Reference
  51. Solutions to selected exercises
  52. Section 1: