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

---

Expansion for Theory of Logic

		1060	1.	Philosophy
		633	2.	Reason
		630	3.	Truth
		784	4.	Formal Logic

---

	1246	5.	Theory of Logic
		A.	Overview of Logic
	34	1.	Overview of Logic
	15	2.	History of Logic
	23	3.	Value of Logic
	18	4.	Pure Logic
	23	5.	First-Order Logic
	27	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
	13	3.	If-Thenism
	8	4.	Logic by Convention
		D.	Assumptions for Logic
	18	1.	Bivalence
	28	2.	Excluded Middle
	5	3.	Contradiction
	16	4.	Identity in Logic
		E.	Structures of Logic
	36	1.	Logical Form
	31	2.	Logical Connectives	a.	Logical connectives
	3			b.	Basic connectives
	13			c.	not
	7			d.	and
	8			e.	or
	2	3.	Constants in Logic
	19	4.	Variables in Logic
	13	5.	Functions in Logic
	11	6.	Relations in Logic
	6	7.	Predicates in Logic
	9	8.	Theories in Logic
		F.	Referring in Logic
	32	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
	23	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
	23	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
	31	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

---

		1191	6.	Mathematics
		1059	7.	Existence
		896	8.	Modes of Existence
		1532	9.	Objects
		800	10.	Modality
		490	11.	Knowledge Aims
		717	12.	Knowledge Sources
		636	13.	Knowledge Criteria
		679	14.	Science
		557	15.	Nature of Minds
		496	16.	Persons
		495	17.	Mind and Body
		867	18.	Thought
		840	19.	Language
		323	20.	Action
		272	21.	Aesthetics
		988	22.	Metaethics
		1001	23.	Ethics
		973	24.	Political Theory
		773	25.	Social Practice
		998	26.	Natural Theory
		727	27.	Natural Reality
		429	28.	God
		309	29.	Religion