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 based on ideas of Gottlob Frege to resolve some paradoxes. The ontology is related to certain modal logics.