Карел Ламберт

Карел Ламберт
Рожденный	1928 (95–96 лет)
Национальность	Американский
Занятия	Философ логик
Известный	Введение термина « свободная логика».

Карел Ламберт (род. 1928) — американский философ и логик , работавший в Калифорнийском университете в Ирвайне и Зальцбургском университете . Он много писал на тему свободной логики — термина, который он придумал.

Закон Ламберта

Закон Ламберта является основным принципом любой теории свободного определенного описания , который гласит: для всех x x = y (A) тогда и только тогда, когда (A (x/y) & для всех y (если A, то y = x)) .

Свободная логика сама по себе представляет собой корректировку данной стандартной логики предикатов , позволяющую освободить ее от экзистенциальных предположений и, таким образом, сделать ее свободной логикой. Принимая Бертрана Рассела логику предикатов в его Principia Mathematica , можно заменить универсальную реализацию, за стандарт $\forall x\,\phi x\rightarrow \phi y$, с универсальной спецификацией $(\forall x\,\phi x\land E!y\,\phi y)\rightarrow \phi z$. Таким образом, универсальные утверждения, такие как «Все люди смертны» или «Все есть единорог», не предполагают, что существуют люди или что-то существует. Они могут быть обозначены соответствующими предикатами как $\forall x\,(Mx\rightarrow Lx)$ и $\forall x\,Ux$, что в Principia Mathematica влечет за собой $\exists x\,(Mx\land Lx)$ и $\exists x\,Ux$, но не в свободной логике. Истинность этих последних утверждений, когда они используются в свободной логике, зависит от области количественной оценки , которой может быть нулевое множество .

Опубликованные работы

• «Свободная логика и концепция существования», Журнал формальной логики Нотр-Дам , VIII, номера 1 и 2, апрель 1967 г.
• Философские применения свободной логики , Нью-Йорк: Oxford University Press, 1991, «Теория определенных описаний», стр. 17–27, подробно излагает теорию описаний Рассела в свободной логике. В процессе он демонстрирует, как формулировка Хинтикки допускает противоречие посредством логического коррелята с парадоксом Рассела . Он вводит предикат $(\lambda x)(\phi x\land \neg \phi x)$.
• Бесплатная логика. Избранные эссе , издательство Кембриджского университета, 2003.

Внешние ссылки

• Официальная персональная страница в Интернет-архиве