Введение

Британский логик Эдвард Джон Леммон (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, но лишенные закона необходимости (Леммон, 1957). Леммон был пионером современного подхода к семантике модальной логики, особенно благодаря сотрудничеству с Даной Скотт, но также заинтересовался конкурирующей алгебраической семантикой модальной логики, которая в большей степени соответствует семантике, встречающейся в работах Тарского и Йонссона.