Введение
Британский логик Эдвард Джон Леммон (1 июня 1930 года – 29 июля 1966 года) — британский логик и философ, родившийся в Шеффилде, Англия. Он наиболее известен своими работами в области модальной логики, особенно совместным трудом с Даной Скотт, опубликованным после его смерти (Lemmon and Scott, 1977).
Edward John Lemmon (1 June 1930 – 29 July 1966) was a British logician and philosopher born in Sheffield, England. He is most well known for his work on modal logic, particularly his joint text with Dana Scott published posthumously (Lemmon and Scott, 1977).
Биография
Леммон учился в школе короля Эдуарда VII в Шеффилде до 1947 года, после чего изучал Literae humaniores в Колледже Магдалены Оксфордского университета в качестве студента, а в 1957 году был назначен стипендиатом Тринити-колледжа Оксфорда. В 1963 году, после пребывания в качестве приглашенного профессора в Техасе, Леммон эмигрировал в Соединенные Штаты, чтобы преподавать в Высшей школе Клармонта (ныне Клармонтский университет). Леммон скончался от сердечной недостаточности во время восхождения в гору.
Модальная логика
Джон Леммон заинтересовался модальной логикой, когда Артур Приор посетил Оксфордский университет в 1956 году с лекциями имени Джона Локка, которые впоследствии были опубликованы под названием «Время и модальность» (Приор, 1957). Вскоре после этого Приор вернулся на двенадцать месяцев, чтобы руководить небольшой группой, в которую входили Леммон, Питер Гич и Иво Томас (Copeland, 2004). Джон Леммон стал одним из первых сторонников оригинального подхода Приора к логике времени, а более поздние работы Леммона по алетной модальности и применению модальной логики к этике носят отпечаток влияния Приора. В это время Леммон опубликовал исследование алетных и эпистемических модальностей, представившее некоторые системы ненормальной модальной логики, которые впоследствии вызвали устойчивый интерес, – алетную систему S0.5 и эпистемические системы E1–E5, связанные с системами S0.5 и системами Льюиса S2–S5, но лишенные закона необходимости (Леммон, 1957). Леммон был пионером современного подхода к семантике модальной логики, особенно благодаря сотрудничеству с Даной Скотт, но также заинтересовался конкурирующей алгебраической семантикой модальной логики, которая в большей степени соответствует семантике, встречающейся в работах Тарского и Йонссона.