Карел Ламберт - Karel Lambert

Карел Ламберт (1928 г.р.) - американец философ и логик на Калифорнийский университет в Ирвине и Зальцбургский университет. Он много писал на тему свободная логика, термин, который он ввел.^[1]^[2]

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

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

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

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

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