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

Expansion for Theory of Logic

828 1. Philosophy
523 2. Reason
561 3. Truth
762 4. Formal Logic

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

1134 6. Mathematics
911 7. Existence
820 8. Modes of Existence
1464 9. Objects
759 10. Modality
372 11. Knowledge Aims
598 12. Knowledge Sources
561 13. Knowledge Criteria
617 14. Science
454 15. Nature of Minds
383 16. Persons
466 17. Mind and Body
685 18. Thought
767 19. Language
128 20. Action
109 21. Aesthetics
641 22. Metaethics
698 23. Ethics
148 24. Applied Ethics
569 25. Society
979 26. Natural Theory
335 27. Natural Reality
377 28. God
220 29. Religion