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

---

Expansion for Formal Logic

		1053	1.	Philosophy
		626	2.	Reason
		628	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

---

		1242	5.	Theory of Logic
		1189	6.	Mathematics
		1042	7.	Existence
		886	8.	Modes of Existence
		1528	9.	Objects
		800	10.	Modality
		486	11.	Knowledge Aims
		714	12.	Knowledge Sources
		633	13.	Knowledge Criteria
		675	14.	Science
		550	15.	Nature of Minds
		494	16.	Persons
		495	17.	Mind and Body
		859	18.	Thought
		835	19.	Language
		313	20.	Action
		271	21.	Aesthetics
		978	22.	Metaethics
		991	23.	Ethics
		927	24.	Political Theory
		752	25.	Social Practice
		995	26.	Natural Theory
		725	27.	Natural Reality
		429	28.	God
		304	29.	Religion