A formal ontology of constitution
MetadataShow full item record
This paper will put Lynne Rudder Baker's theory of constitution into formal ontology. This is done in order to begin to show how her theory could be implemented into a computer language or database program. First her theory is laid out in detail and reasons for why her theory could not be previously formalized are discussed. Second, a formal ontological system is built, utilizing Classical Extensional Mereology as shown by Peter Simons, a second mereology developed by Gilbert Null, Mereotopology as developed by Barry Smith and Achille Varzi, and other ontological relations posited by Thomas Bittner, Maureen Donnelly, and Barry Smith in their "Individuals, Universals, Collections: On the Foundational Relations of Ontology." Lastly Baker's Theory of constitution, as well as other definitions formulated by her, is ontologically formalized using the system previously put forth. The conclusion is that, although Baker is right in claiming that her theory of constitution cannot be symbolized in Classical Extensional Mereology, constitution can be formalized in stronger systems like the one explicated here. Also, her theory of constitution should be ontologically formalized so that the constitution relation can more easily translated into a computer language.