ジョン・レモン

エドワード・ジョン・レモン（1930年6月1日 - 1966年7月29日）は、イギリスのシェフィールド生まれのイギリスの 論理学者、哲学者。様相論理に関する研究、特に死後に出版されたダナ・スコットとの共著（レモンとスコット、1977年） で最もよく知られている。

レモンは1947年までシェフィールドのキング・エドワード7世学校^[1]に通い、その後オックスフォード大学マグダレン・カレッジで文学を学び、1957年にオックスフォード大学トリニティ・カレッジの研究員に任命された。1963年、テキサスでの客員教授職を終えた後、レモンは米国に移住し、クレアモント大学院（現在のクレアモント大学院大学）で講義を行った。レモンは登山中に 心不全で亡くなった。

ジョン・レモンが様相論理に興味を持つようになったのは、1956年にアーサー・プライアーがオックスフォード大学を訪れ、ジョン・ロックの講義を行った時である。この講義は後に『時間と様相』 （プライアー、1957年）として出版された。プライアーはその後すぐに12か月間オックスフォード大学に戻り、レモン、ピーター・ギーチ、イヴォ・トーマスを含む小グループを率いた（コープランド、2004年）。ジョン・レモンはプライアーの時制論理に対する独特のアプローチの初期の支持者の一人となり、レモンのその後のアレティック様相と様相論理の倫理への応用に関する研究にはプライアーの影響が色濃く残っている。この頃、レモンは、アレティックおよび認識論的様相に関する論文を発表し、永続的な関心を集めてきた非正規様相論理のいくつかのシステム、すなわちアレティックシステム S0.5 と、システム S0.5 およびルイスのシステム S2～S5 にリンクされているが必然性の法則を欠く認識論的システム E1～E5 を紹介した (Lemmon 1957)。

レモンは、特にダナ・スコットとの共同研究を通じて、様相論理の意味論に対する現代的なアプローチの先駆者であったが、タルスキとヨンソンの研究に見られるような意味論にもっと近い、様相論理の対抗する代数的意味論にも興味を持つようになった。

• 1957.「ルイス様相システムの新しい基礎」 Journal of Symbolic Logic 22:176-186
• Michael Dummettと共著、1959 年。「S4 と S5 の間のモーダル ロジック」。数学論理とグルンドラーゲンのための時代、5:250-264
• 1959年、「様相論理の正しい体系は一つだけか？」アリストテレス協会紀要、補遺巻、33:23-40
• 1962年、「道徳的ジレンマ」。哲学評論、LXXI
• 1966年、「文、陳述、命題」、B.ウィリアムズ、A.モンテフィオーレ編『英国分析哲学』、ロンドン：ラウトレッジ・アンド・キーガン・ポール、pp.87-107
• 1967年、「私が知っているなら、私は知っていることを知っているだろうか？」A.ストロール編『認識論』ニューヨーク：ハーパー＆ロウ社、pp54-83。
• ダナ・スコットとの共著、1977年。様相論理入門。オックスフォード：ブラックウェル。
• レモン、エドワード・ジョン（1965年）。『論理学入門』トーマス・ネルソン。ISBN 0-17-712040-1。

• Ivo Thomas、1968年。追悼：エドワード・ジョン・レモン。 ノートルダム形式論理学ジャーナル、第IX巻（1）。
• ジャック・コープランド、2004年。アーサー・プライアー。スタンフォード哲学百科事典。