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

Expansion for Theory of Logic

1021 1. Philosophy
610 2. Reason
612 3. Truth
779 4. Formal Logic

1225 5. Theory of Logic
A. Overview of Logic
32 1. Overview of Logic
15 2. History of Logic
23 3. Value of Logic
18 4. Pure Logic
23 5. First-Order Logic
26 6. Classical Logic
33 7. Second-Order Logic
8 8. Logic of Mathematics
2 9. Philosophical Logic
B. Logical Consequence
28 1. Logical Consequence
6 2. Types of Consequence
7 3. Deductive Consequence |-
16 4. Semantic Consequence |=
9 5. Modus Ponens
2 6. Entailment
5 7. Strict Implication
7 8. Material Implication
C. Ontology of Logic
22 1. Ontology of Logic
5 2. Platonism in Logic
12 3. If-Thenism
8 4. Logic by Convention
D. Assumptions for Logic
17 1. Bivalence
28 2. Excluded Middle
4 3. Contradiction
16 4. Identity in Logic
E. Structures of Logic
36 1. Logical Form
29 2. Logical Connectives a. Logical connectives
3 b. Basic connectives
12 c. not
6 d. and
8 e. or
2 3. Constants in Logic
19 4. Variables in Logic
13 5. Functions in Logic
10 6. Relations in Logic
6 7. Predicates in Logic
9 8. Theories in Logic
F. Referring in Logic
31 1. Naming a. Names
33 b. Names as descriptive
22 c. Names as referential
16 d. Singular terms
13 e. Empty names
6 f. Names eliminated
4 2. Descriptions a. Descriptions
21 b. Definite descriptions
25 c. Theory of definite descriptions
5 3. Property (λ-) Abstraction
G. Quantification
22 1. Quantification
16 2. Domain of Quantification
9 3. Objectual Quantification
23 4. Substitutional Quantification
11 5. Second-Order Quantification
24 6. Plural Quantification
9 7. Unorthodox Quantification
H. Proof Systems
4 1. Proof Systems
7 2. Axiomatic Proof
7 3. Proof from Assumptions
14 4. Natural Deduction
8 5. Tableau Proof
5 6. Sequent Calculi
I. Semantics of Logic
21 1. Semantics of Logic
6 2. Formal Truth
24 3. Logical Truth
12 4. Satisfaction
5 5. Extensionalism
4 6. Intensionalism
J. Model Theory in Logic
35 1. Logical Models
13 2. Isomorphisms
24 3. Löwenheim-Skolem Theorems
K. Features of Logics
29 1. Axiomatisation
10 2. Consistency
12 3. Soundness
14 4. Completeness
10 5. Incompleteness
17 6. Compactness
7 7. Decidability
10 8. Enumerability
2 9. Expressibility
6 10. Monotonicity
L. Paradox
5 1. Paradox
21 2. Aporiai
9 3. Antinomies
9 4. Paradoxes in Logic a. Achilles paradox
1 b. König's paradox
4 c. Berry's paradox
2 d. Richard's paradox
2 e. The Lottery paradox
4 5. Paradoxes in Set Theory a. Set theory paradoxes
2 b. Cantor's paradox
5 c. Burali-Forti's paradox
7 d. Russell's paradox
2 e. Mirimanoff's paradox
19 6. Paradoxes in Language a. The Liar paradox
6 b. The Heap paradox ('Sorites')
2 c. Grelling's paradox
1 d. The Preface paradox
3 7. Paradoxes of Time

1172 6. Mathematics
1015 7. Existence
853 8. Modes of Existence
1515 9. Objects
786 10. Modality
473 11. Knowledge Aims
687 12. Knowledge Sources
621 13. Knowledge Criteria
671 14. Science
526 15. Nature of Minds
478 16. Persons
488 17. Mind and Body
760 18. Thought
819 19. Language
281 20. Action
240 21. Aesthetics
897 22. Metaethics
940 23. Ethics
850 24. Political Theory
656 25. Social Practice
977 26. Natural Theory
704 27. Natural Reality
425 28. God
291 29. Religion