Introduction to Philosophy/Logic

Introduction to Philosophy > Logic

Table of ContentsEdit

  1. Introductory Material
    1. Older Pages
      1. Preface
      2. Logic and Reason
      3. Truth and Validity
      4. Paradoxes
      5. Classical Logic
        1. Modes
    2. Newer Pages
      1. Informal Logic
      2. Formal Logic
      3. Sets -- Moved to Formal Logic
  2. Sentential Logic
    1. Older Pages
      1. The Sentential Language (heavily modified) (moved to Formal Logic)
      2. |Truth Tables (completely rewritten) (moved to Formal Logic)
      3. Building More Complicated Formulas
      4. Tautologies and Contradictions
      5. Fault Diagnosis
      6. Some Properties of the Logical Connectives
      7. Nand and Nor
      8. A More Formal Approach to Sentential Logic
      9. Soundness, consistency, completeness
      10. Syntax and semantics
      11. Propositional calculus and probability theory
      12. Summary for propositional calculus
      13. Tableau proofs
    2. Newer Pages -- all moved to Formal Logic
      1. Sentential Logic (heavily modified older page) (moved to Formal Logic)
      2. The Sentential Language (completely rewritten older page) (moved to Formal Logic)
      3. Formal Syntax for Sentential Logic (moved to Formal Logic)
      4. Informal Conventions for the Sentential Language (moved to Formal Logic)
      5. Formal Semantics for Sentential Logic (moved to Formal Logic)
      6. Truth Tables (moved to Formal Logic)
      7. Sentential Logic Validity (moved to Formal Logic)
      8. Expressibility in Sentential Logic (moved to Formal Logic)
      9. Properties of Sentential Senential Connectives (moved to Formal Logic)
      10. Sentential Substitution and Interchange (moved to Formal Logic)
      11. Sentential Logic Translations (moved to Formal Logic)
      12. Sentential Logic Derivations (moved to Formal Logic)
      13. Sentential Logic Inference Rules (moved to Formal Logic)
  3. Predicate Logic
  4. Other Material
    1. Older Pages
      1. Modal Logic
      2. Names - Frege, Sinn and Bedeutung
      3. Equality - Leibniz's law
      4. Definite descriptions - Russell
      5. Intensionality, Belief, Scope
      6. Truth, Tarski
      7. Vagueness
      8. Bibliography
    2. Newer Pages