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

---

Expansion for Formal Logic

		1058	1.	Philosophy
		633	2.	Reason
		629	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

---

		1243	5.	Theory of Logic
		1191	6.	Mathematics
		1049	7.	Existence
		897	8.	Modes of Existence
		1529	9.	Objects
		800	10.	Modality
		489	11.	Knowledge Aims
		716	12.	Knowledge Sources
		635	13.	Knowledge Criteria
		679	14.	Science
		552	15.	Nature of Minds
		496	16.	Persons
		495	17.	Mind and Body
		860	18.	Thought
		835	19.	Language
		323	20.	Action
		272	21.	Aesthetics
		985	22.	Metaethics
		999	23.	Ethics
		941	24.	Political Theory
		767	25.	Social Practice
		998	26.	Natural Theory
		726	27.	Natural Reality
		429	28.	God
		309	29.	Religion