La ontología de Frege-Church es una ontología , una teoría de la existencia . Todo se considera en tres categorías, objeto ( referente , denotación ), nombre o concepto ( sentido ). La ontología fue desarrollada por Alonzo Church [1] basándose en las ideas de Gottlob Frege [2] [3] para resolver algunas paradojas . La ontología está relacionada con determinadas lógicas modales .
La ontología Frege-Church resuelve esto diciendo que la creencia introduce un "contexto intensional" en el que los términos que siguen a las palabras "cree que" están en un contexto en el que no se refieren a la denotación de las palabras, sino al concepto asociado con las palabras. para el creyente. Cada palabra tiene un nombre, una denotación y un concepto asociado.
"El planeta más lejano del sol", como aparece en la proposición (1), es el concepto de Mary de "el planeta más lejano del sol", no sobre el planeta más lejano del sol como aparece en (2), por lo que la sustitución no se puede hacer. La Iglesia da un tratamiento más riguroso y formal de esto. [1]