# Introduction to Philosophy/Logic

Introduction to Philosophy > Logic

## Table of ContentsEdit

- Introductory Material
- Older Pages
- Preface
- Logic and Reason
- Truth and Validity
- Paradoxes
- Classical Logic

- Newer Pages
- Informal Logic
- Formal Logic
- Sets -- Moved to Formal Logic

- Older Pages
- Sentential Logic
- Older Pages
- The Sentential Language (heavily modified) (moved to Formal Logic)
- |Truth Tables (completely rewritten) (moved to Formal Logic)
- Building More Complicated Formulas
- Tautologies and Contradictions
- Fault Diagnosis
- Some Properties of the Logical Connectives
- Nand and Nor
- A More Formal Approach to Sentential Logic
- Soundness, consistency, completeness
- Syntax and semantics
- Propositional calculus and probability theory
- Summary for propositional calculus
- Tableau proofs

- Newer Pages -- all moved to Formal Logic
- Sentential Logic (heavily modified older page) (moved to Formal Logic)
- The Sentential Language (completely rewritten older page) (moved to Formal Logic)
- Formal Syntax for Sentential Logic (moved to Formal Logic)
- Informal Conventions for the Sentential Language (moved to Formal Logic)
- Formal Semantics for Sentential Logic (moved to Formal Logic)
- Truth Tables (moved to Formal Logic)
- Sentential Logic Validity (moved to Formal Logic)
- Expressibility in Sentential Logic (moved to Formal Logic)
- Properties of Sentential Senential Connectives (moved to Formal Logic)
- Sentential Substitution and Interchange (moved to Formal Logic)
- Sentential Logic Translations (moved to Formal Logic)
- Sentential Logic Derivations (moved to Formal Logic)
- Sentential Logic Inference Rules (moved to Formal Logic)

- Older Pages
- Predicate Logic
- Other Material
- Older Pages
- Modal Logic
- Names - Frege,
*Sinn*and*Bedeutung* - Equality - Leibniz's law
- Definite descriptions - Russell
- Intensionality, Belief, Scope
- Truth, Tarski
- Vagueness
- Bibliography

- Newer Pages

- Older Pages