Ontología de Frege-Church

La ontología de Frege-Church es una ontología , una teoría de la existencia . Todo se considera clasificado en tres categorías: objeto ( referente , denotación ), nombre o concepto ( sentido ). Esta 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 ciertas lógicas modales .

Paradoja de la relación de nombres

Supongamos que estamos en el año 1995. Supongamos que María cree que Plutón (en aquel entonces todavía considerado un planeta) es el planeta más alejado del Sol. Debido a la órbita irregular de Plutón, su órbita se cruzó con la de Neptuno, por lo que en 1995, el planeta más alejado del Sol era Neptuno. Supongamos que María desconoce este hecho.

Si x = y e y = z , entonces sustituyendo z por y , x = z .

(1) María cree que Plutón = el planeta más alejado del sol.

(2) Neptuno = el planeta más alejado del sol.

Por lo tanto, sustituyendo 'Neptuno' por 'el planeta más alejado del sol' en (1), obtenemos

(3) María cree que Plutón = Neptuno.

Sin embargo, Mary no cree que Plutón sea Neptuno, lo cual es una paradoja.

La ontología de Frege-Church resuelve esto al afirmar que la creencia introduce un "contexto intensional" en el que los términos que siguen a las palabras "cree que" se encuentran en un contexto donde no se refieren a la denotación de las palabras, sino al concepto asociado a ellas para el creyente. Cada palabra tiene un nombre, una denotación y un concepto asociado.

Terminología

Proposiciones, propiedades y relaciones

Un objeto tiene propiedades. Un plátano tiene la propiedad de ser amarillo.
Una proposición es una oración que es verdadera o falsa. Una proposición puede considerarse una función , donde los objetos que la componen se consideran variables , y el valor de la función es verdadero o falso , una función de verdad . Por ejemplo, escribimos “ x es amarillo” como Y ( x ), de modo que Y ( x ) = Verdadero si y solo si “ x es amarillo” es verdadero, y Y ( x ) = Falso si y solo si “ x es amarillo” es falso. Por ejemplo, Y (plátano) = Verdadero, ya que un plátano es amarillo. Sin embargo, Y( manzana) también = Verdadero, ya que algunas manzanas son amarillas.
De manera similar, una oración que expresa una relación entre dos objetos puede considerarse una función de verdad de dos variables; es decir, una relación entre dos objetos puede considerarse una función de verdad de dos variables. Por ejemplo, sea S ( x , y ) = “ x es menor que y ”. Entonces, S(ratón, elefante) = Verdadero, ya que un ratón es menor que un elefante, pero S(ratón, hormiga) = Falso, ya que un ratón no es menor que una hormiga.

Objeto, nombre, concepto

Un objeto (referente, denotación) tiene un nombre, el nombre del objeto. El objeto tiene un concepto (sentido), el concepto del objeto, asociado con el nombre del objeto. Un nombre o un concepto son en sí mismos objetos y tienen nombres: el nombre del nombre del objeto y el nombre del concepto del objeto. De igual modo, tienen conceptos como cualquier otro objeto. Se dice que un nombre denota el objeto al que se refiere.

Resolución de la paradoja de la relación de nombres mediante la ontología de Frege-Church.

Las ambigüedades en el lenguaje cotidiano conducen a la confusión.

El inglés común presenta ambigüedades que requieren aclaración, ya que a veces nos referimos a un objeto con una palabra, por ejemplo, «gato». Nos referimos a él usando comillas, por ejemplo, la palabra «gato». Existe ambigüedad en el idioma respecto a si nos referimos al gato como concepto o como objeto.

Contexto intensional

Se dice que una expresión como «cree que» introduce un contexto intensional . En un contexto intensional, los nombres que aparecen denotan los conceptos de los objetos para quien cree. No denotan los objetos en sí mismos.

Resolución

«El planeta más alejado del sol», tal como aparece en la proposición (1), es el concepto que María tiene de «el planeta más alejado del sol», no el planeta más alejado del sol en sí, como aparece en (2), por lo que no se puede realizar la sustitución. Church ofrece un tratamiento más riguroso y formal de este tema. ^{[ 1 ]}

Referencias

1 2 Church, Alonzo. «Una formulación de la lógica del sentido y la denotación». En Estructura, método y significado: ensayos en honor de Henry M. Sheffer, editado por P. Henle, H. Kallen y S. Langer, 3-24. Nueva York: Liberal Arts Press, 1951.
↑ Gottlob Frege. "Über Sinn und Bedeutung" en Zeitschrift für Philosophie und philosophische Kritik 100 : 25–50. Traducción: "Sobre el sentido y la referencia" en Geach y Black (1980).
↑ Gottlob Frege. "Über Begriff und Gegenstand" en Vierteljahresschrift für wissenschaftliche Philosophie 16 : 192-205. Traducción: "Concepto y Objeto" en Geach y Black (1980).

Enlaces externos

Fitting, Melvin. "Lógica intensional" . En Zalta, Edward N. (ed.). Enciclopedia de filosofía de Stanford . ISSN 1095-5054 . OCLC 429049174 .

[Church-1] 1 2 Church, Alonzo. «Una formulación de la lógica del sentido y la denotación». En Estructura, método y significado: ensayos en honor de Henry M. Sheffer, editado por P. Henle, H. Kallen y S. Langer, 3-24. Nueva York: Liberal Arts Press, 1951.

[2] Gottlob Frege. "Über Sinn und Bedeutung" en Zeitschrift für Philosophie und philosophische Kritik 100 : 25–50. Traducción: "Sobre el sentido y la referencia" en Geach y Black (1980).

[3] Gottlob Frege. "Über Begriff und Gegenstand" en Vierteljahresschrift für wissenschaftliche Philosophie 16 : 192-205. Traducción: "Concepto y Objeto" en Geach y Black (1980).

[ 1 ]

[ 2 ]

[ 3 ]