back to areas     |     expand all areas     |     Click on an area to expand it    |      Idea totals are in red.

Expansion for Formal Logic

1046 1. Philosophy
623 2. Reason
626 3. Truth

784 4. Formal Logic
A. Syllogistic Logic
15 1. Aristotelian Logic
14 2. Syllogistic Logic
5 3. Term Logic
B. Propositional Logic PL
12 1. Propositional Logic
10 2. Tools of Propositional Logic a. Symbols of PL
16 b. Terminology of PL
14 c. Derivation rules of PL
18 d. Basic theorems of PL
17 e. Axioms of PL
9 3. Truth Tables
2 4. Soundness of PL
1 5. Completeness of PL
C. Predicate Calculus PC
3 1. Predicate Calculus PC
4 2. Tools of Predicate Calculus a. Symbols of PC
1 b. Terminology of PC
6 c. Derivations rules of PC
4 d. Universal quantifier ∀
4 e. Existential quantifier ∃
1 3. Completeness of PC
D. Modal Logic ML
18 1. Modal Logic
4 2. Tools of Modal Logic a. Symbols of ML
6 b. Terminology of ML
15 c. Derivation rules of ML
6 3. Modal Logic Systems a. Systems of modal logic
2 b. System K
6 c. System D
4 d. System T
1 e. System K4
5 f. System B
7 g. System S4
18 h. System S5
11 4. Alethic Modal Logic
3 5. Epistemic Logic
4 6. Temporal Logic
25 7. Barcan Formula
E. Nonclassical Logics
2 1. Nonclassical Logics
15 2. Intuitionist Logic
7 3. Many-Valued Logic
4 4. Fuzzy Logic
8 5. Relevant Logic
8 6. Free Logic
5 7. Paraconsistency
3 8. Intensional Logic
1 9. Awareness Logic
1 10. Justification Logics
1 11. Dynamic Logics
6 12. Non-Monotonic Logic
F. Set Theory ST
30 1. Set Theory
19 2. Mechanics of Set Theory a. Symbols of ST
40 b. Terminology of ST
4 c. Basic theorems of ST
4 3. Types of Set a. Types of set
30 b. Empty (Null) Set
12 c. Unit (Singleton) Sets
10 d. Infinite Sets
7 e. Equivalence classes
33 4. Axioms for Sets a. Axioms for sets
9 b. Axiom of Extensionality I
5 c. Axiom of Pairing II
3 d. Axiom of Unions III
1 e. Axiom of the Empty Set IV
13 f. Axiom of Infinity V
5 g. Axiom of Powers VI
5 h. Axiom of Replacement VII
6 i. Axiom of Foundation VIII
34 j. Axiom of Choice IX
2 k. Axiom of Existence
2 l. Axiom of Specification
3 m. Axiom of Separation
3 n. Axiom of Comprehension
6 o. Axiom of Constructibility V = L
10 p. Axiom of Reducibility
8 5. Conceptions of Set a. Sets as existing
1 b. Combinatorial sets
6 c. Logical sets
9 d. Na´ve logical sets
15 e. Iterative sets
8 f. Limitation of Size
10 6. Ordering in Sets
10 7. Natural Sets
23 8. Critique of Set Theory
G. Formal Mereology
23 1. Mereology
11 2. Terminology of Mereology
9 3. Axioms of Mereology
3 4. Groups

1241 5. Theory of Logic
1188 6. Mathematics
1039 7. Existence
881 8. Modes of Existence
1528 9. Objects
799 10. Modality
483 11. Knowledge Aims
709 12. Knowledge Sources
632 13. Knowledge Criteria
674 14. Science
545 15. Nature of Minds
488 16. Persons
495 17. Mind and Body
856 18. Thought
835 19. Language
311 20. Action
264 21. Aesthetics
957 22. Metaethics
983 23. Ethics
911 24. Political Theory
748 25. Social Practice
991 26. Natural Theory
712 27. Natural Reality
428 28. God
296 29. Religion