An Introduction to Formal Logic

by P.D. Magnus

Read here Read at LibreTextsPDF

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.

Description from LibreTexts.

Publisher
University of Albany, State University of New York
Subjects
Humanities, Philosophy
Licence
CC BY-SA, as LibreTexts states it
Who can read
Teens profiles and older, judged from its title and subjects

Contents

LibreTexts writes equations in TeX, and here they show as TeX; the PDF has them typeset.

  1. Front Matter
  2. TitlePage
  3. InfoPage
  4. Table of Contents
  5. Licensing
  6. Chapter 1: What is logic?
  7. Section 1: Arguments
  8. Section 2: Sentences
  9. Section 3: Two ways that arguments can go wrong
  10. Section 4: Deductive validity
  11. Section 5: Other logical notions
  12. Section 6: Formal languages
  13. Section 7: Practice Exercises
  14. Chapter 2: Sentential logic
  15. Section 1: Sentence letters
  16. Section 2: Connectives
  17. Section 3: Other symbolization
  18. Section 4: Sentences of SL
  19. Section 5: Practice Exercises
  20. Chapter 3: Truth tables
  21. Section 1: Truth-functional connectives
  22. Section 2: Complete truth tables
  23. Section 3: Using truth tables
  24. Section 4: Partial truth tables
  25. Section 5: Practice Exercises
  26. Chapter 4: Quantified logic
  27. Section 1: From sentences to predicates
  28. Section 2: Building blocks of QL
  29. Section 3: Quantifiers
  30. Section 4: Translating to QL
  31. Section 5: Sentences of QL
  32. Section 6: Identity
  33. Section 7: Practice Exercises
  34. Chapter 5: Formal semantics
  35. Section 1: Semantics for SL
  36. Section 2: Interpretations and models in QL
  37. Section 3: Semantics for identity
  38. Section 4: Working with models
  39. Section 5: Truth in QL
  40. Section 6: Practice Exercises
  41. Chapter 6: Proofs
  42. Section 01: Basic rules for SL
  43. Section 02: Derived rules
  44. Section 03: Rules of replacement
  45. Section 04: Rules for quantifiers
  46. Section 05: Rules for identity
  47. Section 06: Proof strategy
  48. Section 07: Proof-theoretic concepts
  49. Section 08: Proofs and models
  50. Section 09: Soundness and completeness
  51. Section 10: Practice Exercises
  52. Other symbolic notation
  53. Chapter A: Symbolic notation
  54. Quick Reference
  55. Quick Reference
  56. Solutions to selected exercises
  57. Section 1:
  58. Back Matter
  59. Index
  60. Glossary
  61. Detailed Licensing