1 VT The language of set theory is a FOLWUT language.
Lecture 2 Ontology and Logic. Aristotelian realism vs. Kantian constructivism Two grand metaphysical theories 20th-century analytic metaphysics dominated.
1 Formal Ontology 2 Schedule Sep. 4: Introduction: Mereology, Dependence and Geospatial Ontology Reading: Basic Tools of Formal Ontology Ontological.
1 Foundations of Ontology 1 Barry Smith .