John Lemmon

För den australiensiska politikern, se John Lemmon (politiker) . För den amerikanske botanikern, se John Gill Lemmon . För skådespelaren, se Jack Lemmon .

Ej att förväxla med John Lemon eller John Lennon .

Edward John Lemmon (1 juni 1930 – 29 juli 1966) var en brittisk logiker och filosof född i Sheffield , England . Han är mest känd för sitt arbete med modal logik , särskilt hans gemensamma text med Dana Scott publicerad postumt (Lemmon och Scott, 1977).

Biografi

Lemmon gick på King Edward VII School i Sheffield fram till 1947, innan han läste Literae humaniores vid Magdalen College, Oxford , som student, och utnämndes till Fellow of Trinity College, Oxford , 1957. 1963, efter en gästprofessur i Texas , emigrerade Lemmon till USA för att föreläsa på Claremont Graduate School (nu Claremont Graduate University) . Lemmon dog av hjärtsvikt när han klättrade.

Modal logik

John Lemmon blev intresserad av modal logik när Arthur Prior besökte Oxford University 1956 för att hålla John Locke-föreläsningarna , senare publicerade som hans Time and Modality (Prior 1957). Prior återvände i tolv månader strax efter, för att leda en liten grupp inklusive Lemmon, Peter Geach och Ivo Thomas (Copeland 2004). John Lemmon blev en av de tidiga förkämparna för Priors distinkta inställning till spänd logik , och Lemmons senare arbete om aletisk modalitet och tillämpningar av modal logik på etik bär märket av Priors inflytande. Vid den här tiden publicerade Lemmon en behandling av aletiska och epistemiska modaliteter som introducerade några system av icke- normala modala logiker som har visat sig ha haft bestående intresse, det aletiska systemet S0.5 och de epistemiska systemen E1–E5 kopplade till systemen S0 .5 och Lewis system S2–S5, men som saknar lagen om necessitation (Lemmon 1957).

Lemmon var en pionjär inom det moderna förhållningssättet till modal logiks semantik , särskilt genom sitt samarbete med Dana Scott , men blev också intresserad av den rivaliserande algebraiska semantiken för modal logik som närmare följer den typ av semantik som finns i Tarskis och Tarskis arbete . Jónsson .

Arbetar

• 1957. 'Nya grunder för Lewis modala system'. Journal of Symbolic Logic 22:176-186
• Med Michael Dummett , 1959. 'Modal Logics between S4 and S5'. I Zeitschrifl für Mathematische Logik und Grundlagen der Mathematik , 5:250-264
• 1959, "Finns det bara ett korrekt system för modal logik?" Proceedings of the Aristotelian Society , Supplementary Volumes , 33:23-40
• 1962, 'Moraliska dilemman'. The Philosophical Review , LXXI
• 1966, "Sentences, Statements and Propositions", i B. Williams och A. Montefiore , eds., British Analytical Philosophy , London: Routledge och Kegan Paul, s.87-107
• 1967, 'If I Know, Do I Know that I Know?', i A. Stroll, red., Epistemology , New York: Harper and Rowe, pp. 54–83.
• Med Dana Scott , 1977. En introduktion till modal logik . Oxford: Blackwell.
•   Lemmon, Edward John (1965). Börjande logik . Thomas Nelson. ISBN 0-17-712040-1 .

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