Karel Lambert

Filósofo y lógico estadounidense

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

Ley de Lambert

La ley de Lambert es el principio mayor en cualquier teoría de descripción definida libre que dice: Para todo x, x = y (A) si y sólo 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 predicativa estándar dada , de modo que se la libera de supuestos existenciales y se la convierte así en una lógica libre. Si se toma como estándar la lógica predicativa de Bertrand Russell en sus Principia Mathematica , se reemplaza la instanciación universal, , por la especificación universal . Así, los enunciados universales, como "Todos los hombres son mortales" o "Todo es un unicornio", no presuponen que haya hombres o que haya algo. Estos se simbolizarían, con los predicados apropiados, como y , que en Principia Mathematica implican y , pero no en la lógica libre. La verdad de estos últimos enunciados, cuando se utilizan en una lógica libre, depende del dominio de cuantificación , que puede ser el conjunto nulo . ${\displaystyle \forall x\,\phi x\rightarrow \phi y}$ ${\displaystyle (\forall x\,\phi x\land E!y\,\phi y)\rightarrow \phi z}$ ${\displaystyle \forall x\,(Mx\rightarrow Lx)}$ ${\displaystyle \forall x\,Ux}$ ${\displaystyle \exists x\,(Mx\land Lx)}$ ${\displaystyle \exists x\,Ux}$

Obras publicadas

• "La lógica libre y el concepto de existencia", Notre Dame Journal of Formal Logic , VIII, números 1 y 2, abril de 1967.
• Philosophical Applications of Free Logic , Nueva York: Oxford University Press, 1991, "A Theory of Definite Descriptions", pp. 17-27, detalla una explicació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: Stanford University Press.
2. Bengel, Erick (6 de abril de 2016). "Everyday People: Hammond resident is a major figure in logic" (Gente común: un residente de Hammond es una figura importante en la lógica). Daily Astorian . Consultado el 14 de abril de 2016 .

Enlaces externos

• Página personal oficial en Internet Archive