Эдвард Джон Леммон (1 июня 1930 – 29 июля 1966) был британским логиком и философом, родившимся в Шеффилде , Англия . Он наиболее известен своими работами по модальной логике , в частности, его совместным текстом с Даной Скотт, опубликованным посмертно (Леммон и Скотт, 1977).
Леммон посещал школу короля Эдуарда VII [1] в Шеффилде до 1947 года, прежде чем читать Literae humaniores в колледже Магдалины в Оксфорде в качестве бакалавра, и был назначен членом Тринити-колледжа в Оксфорде в 1957 году. В 1963 году, после приглашенной профессорской работы в Техасе , Леммон эмигрировал в Соединенные Штаты , чтобы читать лекции в Высшей школе Клермонта (ныне Высший университет Клермонта ). Леммон умер от сердечной недостаточности во время восхождения.
Джон Леммон заинтересовался модальной логикой, когда Артур Прайор посетил Оксфордский университет в 1956 году, чтобы прочитать лекции Джона Локка , позже опубликованные как его «Время и модальность» (Prior 1957). Прайор вскоре вернулся на двенадцать месяцев, чтобы возглавить небольшую группу, в которую входили Леммон, Питер Гич и Айво Томас (Copeland 2004). Джон Леммон стал одним из ранних сторонников особого подхода Прайора к временной логике , а более поздние работы Леммона по алетической модальности и применению модальной логики к этике несут на себе отпечаток влияния Прайора. В это время Леммон опубликовал работу об алетических и эпистемических модальностях, в которой были представлены некоторые системы ненормальных модальных логик , вызывающие устойчивый интерес: алетическая система S0.5 и эпистемические системы E1–E5, связанные с системами S0.5 и системами Льюиса S2–S5, но в которых отсутствует закон необходимости (Леммон, 1957).
Леммон был пионером современного подхода к семантике модальной логики, особенно благодаря своему сотрудничеству с Даной Скотт , но также заинтересовался конкурирующей алгебраической семантикой модальной логики, которая более точно следует типу семантики, обнаруженному в работах Тарского и Йонссона .