Джон Леммон

редактировать

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

Содержание
  • 1 Биография
  • 2 Модальная логика
  • 3 Работы
  • 4 Ссылки
Биография

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

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

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

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

Соч.
  • 1957 г. «Новые основы модальных систем Льюиса». Journal of Symbolic Logic 22: 176-186
  • С Майклом Даммитом, 1959. «Модальная логика между S4 и S5». В Zeitschrifl für Mathematische Logik und Grundlagen der Mathematik, 5: 250-264
  • 1959, "Есть ли только одна правильная система модальной логики?" Proceedings of the Aristotelian Society, Supplementary Volumes, 33: 23-40
  • 1967, If I Know, Do I Know that I Know ?, В: А. Стролл, режиссер, Эпистемология, New York: Harper and Rowe, pp54–83.
  • With Dana Scott, 1977. Введение в модальную логику. Оксфорд: Блэквелл.
  • Леммон, Эдвард Джон (1965). Начало логики. Томас Нельсон. ISBN 0-17-712040-1. CS1 maint: ref = harv (ссылка )
Ссылки
Последняя правка сделана 2021-05-24 13:36:05
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте