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 .
Paradoja de la relación de nombres
- Supongamos que estamos en el año 1995. Supongamos que María cree que Plutón (en ese momento todavía se consideraba un planeta) es el planeta más lejano del sol. Debido a la órbita irregular de Plutón, la órbita de Plutón cruzó la órbita de Neptuno, por lo que en 1995, el planeta más lejano del sol es Neptuno. Supongamos que María no conoce 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, María no cree que Plutón sea Neptuno, una paradoja.
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.
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 , con los objetos en ella considerados como variables , y el valor de la función es verdad o falsedad , una función de verdad . Por ejemplo, escriba " x es amarillo" como Y ( x ), de modo que Y ( x ) = Verdad, si y solo si " x es amarillo" es verdadero, e Y ( x ) = Falsedad si y solo si " x es Amarillo ”es falso. Por ejemplo, Y (banana) = Verdad, ya que una banana es amarilla. Sin embargo, Y ( manzana) = Verdad también, 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) = verdad, ya que un ratón es más pequeño que un elefante, pero S (ratón, hormiga) = falsedad, ya que un ratón no es más pequeño 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 concepto son en sí mismos objetos y tienen nombres, el nombre del nombre del objeto y el nombre del concepto del objeto. De manera similar, tienen conceptos como cualquier otro objeto. Se dice que un nombre denota el objeto para el que es el nombre.
Resolución de la paradoja de la relación de nombres utilizando la ontología Frege-Church
Las ambigüedades en el lenguaje ordinario conducen a confusión
- El idioma común inglés tiene ambigüedades que deben aclararse, ya que a veces nos referimos a un objeto con una palabra, por ejemplo, un gato. Nos referimos al nombre usando comillas de miedo, el nombre del gato, por ejemplo, la palabra “gato”. Hay ambigüedad en el lenguaje en cuanto a referirse al gato como concepto y al gato como objeto.
Contexto intensivo
- 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 el creyente. No denotan los objetos en sí mismos.
Resolución
"El planeta más lejano del sol", como aparece en la proposición (1), es el concepto de María 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]
Referencias
- ^ a b Iglesia, Alonzo. "Una formulación de la lógica del sentido y la denotación". En Estructura, método y significado: ensayos en honor a 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
- Adecuado, Melvin. "Lógica intencional" . En Zalta, Edward N. (ed.). Enciclopedia de Filosofía de Stanford .