Джон Леммон

Чтобы узнать об австралийском политике, см. Джон Леммон (политик) . Чтобы узнать об американском ботанике, см. Джон Гилл Леммон . Чтобы узнать об актере, см. Джек Леммон .

Не путать с Джоном Лемоном или Джоном Ленноном .

Эдвард Джон Леммон (1 июня 1930 — 29 июля 1966) — британский логик и философ, родившийся в Шеффилде , Англия . Он наиболее известен своими работами по модальной логике , особенно его совместным текстом с Даной Скотт, опубликованным посмертно (Lemmon and Scott, 1977).

Биография

Леммон учился в школе короля Эдуарда VII. в Шеффилде до 1947 года, прежде чем читать Literae humaniores в колледже Магдалины в Оксфорде , будучи студентом, и был назначен научным сотрудником Тринити-колледжа в Оксфорде в 1957 году. В 1963 году, после того, как он стал приглашенным профессором в Техасе , Леммон эмигрировал в Соединенные Штаты, чтобы читать лекции. в Высшей школе Клермонта (ныне Высший университет Клермонта ). Леммон умер от сердечной недостаточности во время восхождения.

Модальная логика

Джон Леммон заинтересовался модальной логикой, когда Артур Прайор посетил Оксфордский университет в 1956 году, чтобы прочитать лекции Джона Локка , позже опубликованные под названием «Время и модальность» (до 1957 года). Вскоре после этого Прайор вернулся на двенадцать месяцев, чтобы возглавить небольшую группу, в которую входили Леммон, Питер Гич и Иво Томас (Copeland 2004). Джон Леммон стал одним из первых поборников особого подхода Прайора к временной логике , а более поздние работы Леммона по алетической модальности и приложениям модальной логики к этике несут на себе отпечаток влияния Прайора. В это время Леммон опубликовал трактовку алетических и эпистемических модальностей, в которой были представлены некоторые системы ненормальной модальной логики , которые, как оказалось, вызывают постоянный интерес: алетическая система S0.5 и эпистемические системы E1–E5, связанные с системами S0. .5 и системы Льюиса S2–S5, но в которых отсутствует закон необходимости (Lemmon 1957).

Леммон был пионером современного подхода к семантике модальной логики, особенно благодаря своему сотрудничеству с Даной Скотт , но он также заинтересовался конкурирующей алгебраической семантикой модальной логики, которая более точно соответствует типу семантики, найденному в работах Тарского и Йонссон .

Работает

• 1957. «Новые основы модальных систем Льюиса». Журнал символической логики 22: 176-186.
• С Майклом Дамметом , 1959. «Модальная логика между S4 и S5». В журнале математической логики и оснований математики , 5:250-264.
• 1959, «Существует ли только одна правильная система модальной логики?» Труды Аристотелевского общества , Дополнительные тома , 33:23-40
• 1962, «Моральные дилеммы». Философское обозрение , LXXI
• 1966, «Предложения, утверждения и суждения», в Б. Уильямсе и А. Монтефиоре , ред., Британская аналитическая философия , Лондон: Рутледж и Кеган Пол, стр. 87–107.
• 1967, «Если я знаю, знаю ли я, что знаю?», в изд. А. Стролла, «Эпистемология» , Нью-Йорк: Харпер и Роу, стр. 54–83.
• С Даной Скотт , 1977. Введение в модальную логику . Оксфорд: Блэквелл.
• Леммон, Эдвард Джон (1965). Начало логики . Томас Нельсон. ISBN  0-17-712040-1 .

Ссылки

• Иво Томас , 1968. Памяти Эдварда Джона Леммона . Журнал формальной логики Нотр-Дама , Том IX (1).
• Джек Коупленд , 2004. Артур Прайор . В Стэнфордской энциклопедии философии .