Philosophy ontology
Pierre Grenon
Barry Smith
2007-04-16
1.0
(X subfields Y) means X has as a subfield Y. For instance, (Philosophy subfields Ethics) or (Philosophy subfields African_philosophy) are true. Desirable Inferential Support: Transitivity.
(X superfields Y) means (Y subfields X), this subfields. Desirable Inferential Support: Transitivity.
(X subconcept_of Y) means X is a subconcept of Y, where a subconcept
is a definitional specialization (in particular, it is not theory dependent).
Three main types of examples:
1) Space_concept_in_philosophy_of_architecture
subconcept_of Space_concept_in_aesthetics
and
Space_concept_in_aesthetics
subconcept_of Space_concept_in_philosophy;
2) Feminine_beauty_concept_in_aesthtetics
subconcept_of Beauty_concept_in_aesthetics
3) Comic_concept_in_literary_criticsm
subconcept_of Genre_concept_in_literary_criticism
and
subconcept_of Tragic_concept_in_literary_criticism.
But NOT:
Relation_concept_in_metaphysics subconcept_of Category_concept_in_metaphysics.
These are siblings because theories can vary, whereas the above are not theory dependent.
Desirable Inferential Support: Transitivity.
(X active_in_fields Y) means philosopher X contributred to philosophical field Y. For instance, (Aristotle active_in_fields Ethics) is true but more specifically (Aristotle active_in_fields Ancient_greek_ethics) is preferrable. Desirable Inferential Support: If (X active_in_fields Y) and (Z subfields Y), then (X active_in_fields Z). So, it should follow from (Aristotle active_in_fields Ancient_greek_ethics) and (Ethics subfields Ancient_greek_ethics) that (Aristotle active_in_fields Ethics).
(X concept_in_field Y) means that the philosophical concept X occurs or is discussed in philosophical field Y. For instance, (Beauty concept_in_field Aesthetics). Desirable Inferential Support: If (X active_in_fields Y) and (Z subfields Y), then (X active_in_fields Z). So, it should follow from (Aristotle active_in_fields Aesthetics) and (Aesthetics subfields Philosophy) that (Beauty concept_in_field Philosophy).
PRELIMINARY MATERIAL: (X philosopher_to_concept Y) means that the philosopher X is related to the philosophical concept Y. This is a very general relation which could be further specialized. It is to be understood as the RELATED-TERM relation of a thesaurus. For instance, (Aristotle philosopher_to_concept Concept_of_category_in_aristotelian_philosophy), but also possibly (Kant philsoopher_to_concept Judgement). Desirable Inferential Support: UNCLEAR AT THE MOMENT..
PRELIMINARY MATERIAL: (X concept_to_philosopher Y) means (Y philosopher_to_concept X)
Thales, Thales of Miletus, Thales the Milesian. Greek, born 624 BCE, known for his cosmology (and philosophical explanation of nature). ADD: Presocratic.
Aristotle. Greek, 384-322 BCE, metaphysics, logic, ethics, political philosophy
Plato. Greek, 427-347 BCE, metaphysics, logic, ethics, political philosophy
Abelard, Peter, dialectician, philosopher, and theologian, b. 1079; d. 1142. France
William of Ockham (England:1285-1347) Metaphysician (ontologist), logician. ADD: Aristotlian zealot. RT: Universals-Medieval
Moses Maimonides (born in Spain ca.1135, died 1204) Jewish (rabbi), philosopher (theologian), and physician. Jewish law and ethics.
Ibn Rushd, aka Averroes (andalusia 1126-1198) islamic logic metaphysics epistemology theology
Giordano Bruno (1548-1600) italian philosopher
Abelard, Peter, dialectician, philosopher, and theologian, b. 1079; d. 1142. France
Abelard, Peter, dialectician, philosopher, and theologian, b. 1079; d. 1142. France
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT: ADD: Many_concept_in_metaphysics, link to suggests opposition relation between concepts as specialisation of RT sometimes treated hierarchically by LCSHP.
COMMENT: ADD: One_concept_in_metaphysics, link to suggests opposition relation between concepts as specialisation of RT sometimes treated hierarchically by LCSHP.
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT
COMMENT: ADD: link to Part_concept_in_metaphysics, or should it be the same? or should there be a subsuming disjunctive concept? link to suggests relation between concepts as specialisation of RT sometimes treated hierarchically by LCSHP.
COMMENT: ADD: link to Whole_concept_in_metaphysics, , or should it be the same? or should there be a subsuming disjunctive concept? link to suggests relation between concepts as specialisation of RT sometimes treated hierarchically by LCSHP.
COMMENT
COMMENT -- ADD: ancient metaphysics which is at the moment simulated as conjunction of ancient and metaphysics
COMMENT -- ADD: ancient greek metaphysics or greek metaphysics in conjunction to ancient metaphysics
COMMENT -- ADD: aristotelian, requires treatment of doctrine simulated at the moment with the generic concept_to_philosopher
COMMENT