Karel Lambert

Karel Lambert (nacido en 1928) es un filósofo y lógico estadounidense de la Universidad de California, Irvine y la Universidad de Salzburgo . Ha escrito extensamente sobre el tema de la lógica libre , término que él mismo acuñó. ^{[1] [2]}

Ley de Lambert

La ley de Lambert es el principio principal en cualquier teoría de descripción definida libre que dice: Para todo x, x = el y (A) si y solo si (A (x / y) & para todo y (si A entonces y = x)) .

La lógica libre en sí misma es un ajuste de una lógica de predicados estándar dada para liberarla de supuestos existenciales y así convertirla en una lógica libre. Tomando como estándar la lógica de predicados de Bertrand Russell en sus Principia Mathematica , se reemplaza la instanciación universal,${\displaystyle \forall x\,\phi x\rightarrow \phi y}$, con especificación universal ${\displaystyle (\forall x\,\phi x\land E!y\,\phi y)\rightarrow \phi z}$. Así, declaraciones universales, como "Todos los hombres son mortales" o "Todo es un unicornio", no presuponen que haya hombres o que haya algo. Estos estarían simbolizados, con los predicados apropiados, como${\displaystyle \forall x\,(Mx\rightarrow Lx)}$ y ${\displaystyle \forall x\,Ux}$, que en Principia Mathematica implica${\displaystyle \exists x\,(Mx\land Lx)}$ y ${\displaystyle \exists x\,Ux}$, pero no en lógica libre. La veracidad de estos últimos enunciados, cuando se utilizan en una lógica libre, depende del dominio de cuantificación , que puede ser el conjunto nulo .

Obras publicadas

• "Lógica libre y el concepto de existencia", Notre Dame Journal of Formal Logic , VIII, números 1 y 2, abril de 1967.
• Aplicaciones filosóficas de la lógica libre , Nueva York: Oxford University Press, 1991, "A Theory of Definite Descriptions", págs. 17-27, detalla una descripción de la teoría de las descripciones de Russell en lógica libre. En el proceso, demuestra cómo una formulación de Hintikka permite una contradicción por un correlato en lógica con la paradoja de Russell . Introduce el predicado${\displaystyle (\lambda x)(\phi x\land \neg \phi x)}$.
• Lógica libre. Ensayos seleccionados , Cambridge University Press, 2003.

Referencias

1. Lambert, Karel (1960). "La definición de E! En lógica libre". Resúmenes: Congreso Internacional de Lógica, Metodología y Filosofía de la Ciencia . Palo Alto, CA: Prensa de la Universidad de Stanford.
2. Bengel, Erick (6 de abril de 2016). "Gente común: el residente de Hammond es una figura importante en la lógica" . Astoriano diario . Consultado el 14 de abril de 2016 .

Enlaces externos

• Página personal oficial en Internet Archive

Esta biografía de un filósofo estadounidense es un trozo . Puedes ayudar a Wikipedia expandiéndolo .

• v
• t
• mi