Джон Леммон

Эдвард Джон Леммон (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).

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

• 1957. «Новые основы для модальных систем Льюиса». Журнал символической логики 22:176-186
• С Майклом Дамметом , 1959. «Модальная логика между S4 и S5». В Zeitschrifl für Mathematische Logik und Grundlagen der Mathematik , 5:250-264.
• 1959, «Существует ли только одна правильная система модальной логики?» Труды Аристотелевского общества , Дополнительные тома , 33:23-40
• 1962, «Моральные дилеммы». The Philosophical Review , LXXI
• 1966, «Предложения, утверждения и суждения», в книге Б. Уильямса и А. Монтефиоре , редакторы, British Analytical Philosophy , Лондон: Routledge and Kegan Paul, стр. 87-107
• 1967, «Если я знаю, знаю ли я, что я знаю?», в книге А. Стролла, редактора «Эпистемология» , Нью-Йорк: Harper and Rowe, стр. 54–83.
• Совместно с Даной Скотт , 1977. Введение в модальную логику . Оксфорд: Blackwell.
• Леммон, Эдвард Джон (1965). Начало логики . Томас Нельсон. ISBN 0-17-712040-1.

• Иво Томас, 1968. Памяти Эдварда Джона Леммона. Notre Dame Journal of Formal Logic , том IX(1).
• Джек Коупленд , 2004. Артур Прайор. В Стэнфордской энциклопедии философии .