Frege–Church ontology
From Wikipedia, the free encyclopedia
The Frege–Church ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense). The ontology was developed by Alonzo Church[1] based on ideas of Gottlob Frege[2][3] to resolve some paradoxes. The ontology is related to certain modal logics.