1. What Logic Studies.-
2. Concepts of Deductive Reasoning.-
3. Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic).-
4. Sentential Logic Languages ∑.-
5. Formal Predicate Logic (also called First-Order Logic) ∏.-
6. Translations from English into ∏πφ= (also called Symbolizations, Formalizations).-
7. Semantic Models for ∏ ∏⧉.-
8. Proof-Theoretical System for Predicate Logic: ∏πφ=.-
9. Definite Descriptions: ∏πφ=⍳.-
10. Basics of Set Theory.
Related Subjects
Philosophy