back to areas     |     expand all areas     |     click on an area to expand it    |
click themes in blue for a one-page overview    |      idea totals are in red

Expansion for Formal Logic

		1061	1.	Philosophy
		635	2.	Reason
		630	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

---

		1246	5.	Theory of Logic
		1191	6.	Mathematics
		1062	7.	Existence
		896	8.	Modes of Existence
		1531	9.	Objects
		800	10.	Modality
		490	11.	Knowledge Aims
		718	12.	Knowledge Sources
		636	13.	Knowledge Criteria
		688	14.	Science
		564	15.	Nature of Minds
		499	16.	Persons
		497	17.	Mind and Body
		873	18.	Thought
		841	19.	Language
		323	20.	Action
		272	21.	Aesthetics
		989	22.	Metaethics
		1002	23.	Ethics
		973	24.	Political Theory
		773	25.	Social Practice
		1001	26.	Natural Theory
		729	27.	Natural Reality
		429	28.	God
		309	29.	Religion