Karel Lambert

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 , término que él mismo acuñó. ^{[ 1 ] [ 2 ]}

La ley de Lambert es el principio fundamental en cualquier teoría de descripción libre definida que dice: Para todo x, x = 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, de tal manera que se libere de supuestos existenciales y así se convierta 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 especificaciones universales${\displaystyle (\forall x\,\phi x\land E!y\,\phi y)\rightarrow \phi z}$Por lo tanto, las afirmaciones universales, como "Todos los hombres son mortales" o "Todo es un unicornio", no presuponen que haya hombres ni que haya nada. Estas se simbolizarían, con los predicados apropiados, como${\displaystyle \forall x\,(Mx\rightarrow Lx)}$y${\displaystyle \forall x\,Ux}$, que en Principia Mathematica implican${\displaystyle \exists x\,(Mx\land Lx)}$y${\displaystyle \exists x\,Ux}$, pero no en lógica libre. La verdad de estas últimas afirmaciones, cuando se usan en una lógica libre, depende del dominio de cuantificación , que puede ser el conjunto nulo .

• "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, "Una teoría de las descripciones definidas", 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 a 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.

• Página personal oficial en Internet Archive