Johna Lemmona

Dla australijskiego polityka, zobacz John Lemmon (polityk) . Dla amerykańskiego botanika, patrz John Gill Lemmon . Dla aktora zobacz Jacka Lemmona .

Nie mylić z Johnem Lemonem czy Johnem Lennonem .

Edward John Lemmon (1 czerwca 1930 - 29 lipca 1966) był brytyjskim logikiem i filozofem urodzonym w Sheffield w Anglii . Najbardziej znany jest ze swojej pracy nad logiką modalną , w szczególności z opublikowanego pośmiertnie wspólnego tekstu z Daną Scott (Lemmon i Scott, 1977).

Biografia

Lemmon uczęszczał do szkoły króla Edwarda VII w Sheffield do 1947 r., Zanim jako student studiował Literae humaniores w Magdalen College w Oksfordzie , i został mianowany członkiem Trinity College w Oksfordzie w 1957 r. W 1963 r., po objęciu profesury wizytującej w Teksasie , Lemmon wyemigrował do Stanów Zjednoczonych , aby wykładać w Claremont Graduate School (obecnie Claremont Graduate University ). Lemmon zmarł z powodu niewydolności serca podczas wspinaczki.

Logika modalna

John Lemmon zainteresował się logiką modalną, kiedy Arthur Prior odwiedził Uniwersytet Oksfordzki w 1956 roku, aby wygłosić wykłady Johna Locke'a , opublikowane później jako jego Time and Modality (Przed 1957). Wkrótce potem Prior wrócił na dwanaście miesięcy, aby poprowadzić małą grupę, w skład której wchodzili Lemmon, Peter Geach i Ivo Thomas (Copeland 2004). John Lemmon stał się jednym z wczesnych orędowników charakterystycznego podejścia Priora do logiki czasu i późniejszej pracy Lemmona nad modalnością aletyczną a zastosowania logiki modalnej do etyki noszą znamię wpływu Priora. W tym czasie Lemmon opublikował omówienie aletycznych i epistemicznych , które wprowadziło pewne systemy nienormalnych logik modalnych , które okazały się mieć trwałe zainteresowanie, system aletyczny S0.5 i systemy epistemiczne E1 – E5 powiązane z systemami S0 .5 i systemy Lewisa S2 – S5, ale którym brakuje prawa konieczności (Lemmon 1957).

Lemmon był pionierem nowoczesnego podejścia do semantyki logiki modalnej, zwłaszcza dzięki współpracy z Daną Scottem , ale zainteresował się także konkurencyjną semantyką algebraiczną logiki modalnej, która jest bliższa rodzajowi semantyki znalezionej w pracach Tarskiego i Jonsson .

Pracuje

• 1957. „Nowe podstawy systemów modalnych Lewisa”. Dziennik logiki symbolicznej 22: 176-186
• Z Michaelem Dummettem , 1959. „Logiki modalne między S4 i S5”. In Zeitschrifl für Mathematische Logik und Grundlagen der Mathematik , 5:250-264
• 1959, „Czy istnieje tylko jeden poprawny system logiki modalnej?” Proceedings of the Arystoteles Society , tomy uzupełniające , 33:23-40
• 1962, „Dylematy moralne”. Przegląd filozoficzny , LXXI
• 1966, 'Sentences, Statements and Propositions', w: B. Williams i A. Montefiore , red., British Analytical Philosophy , Londyn: Routledge i Kegan Paul, s. 87-107
• 1967, „Jeśli wiem, czy wiem, że wiem?”, w: A. Stroll, ed., Epistemology , New York: Harper and Rowe, s. 54–83.
• Z Daną Scottem , 1977. Wprowadzenie do logiki modalnej . Oksford: Blackwell.
•   Lemmon, Edward John (1965). Logika na początek . Tomasza Nelsona. ISBN 0-17-712040-1 .

• Ivo Thomas, 1968. In Memoriam: Edward John Lemmon . Notre Dame Journal of Formal Logic, tom IX (1).
• Jack Copeland , 2004. Arthur Prior . W Stanford Encyclopedia of Philosophy .