# Introduction to Philosophy/Logic

Introduction to Philosophy > Logic

1. Introductory Material
1. Older Pages
1. Preface
2. Logic and Reason
3. Truth and Validity
5. Classical Logic
1. Modes
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
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