171:
that have proven to have had lasting interest, the alethic system S0.5 and the epistemic systems E1–E5 linked to the systems S0.5 and Lewis's systems S2–S5, but which lack the law of necessitation (Lemmon 1957).
404:
374:
384:
389:
379:
409:
394:
184:
226:
414:
419:
348:
334:
84:
286:
399:
312:
108:
206:
236:
92:
20:
160:
96:
369:
364:
139:(Prior 1957). Prior returned for twelve months soon after, to lead a small group including Lemmon,
147:(Copeland 2004). John Lemmon became one of the early champions of Prior's distinctive approach to
132:
168:
88:
326:
144:
282:
192:
128:
244:
152:
24:
316:
248:
214:
49:
358:
340:
188:
112:
104:
330:
309:
187:
of modal logic that follows more closely the kind of semantics found in the work of
159:
bear the mark of Prior's influence. At this time, Lemmon published a treatment of
124:
148:
140:
68:
56:
39:
28:
266:
180:
72:
35:
176:
164:
60:
344:
52:
64:
156:
100:
219:
Zeitschrifl für
Mathematische Logik und Grundlagen der Mathematik
258:
1967, 'If I Know, Do I Know that I Know?', in A. Stroll, ed.,
179:
of modal logic, particularly through his collaboration with
99:, in 1957. In 1963, following a visiting professorship in
224:
1959, "Is There Only One
Correct System of Modal Logic?"
405:
People educated at King Edward VII School, Sheffield
243:1966, 'Sentences, Statements and Propositions', in
204:1957. 'New foundations for Lewis modal systems'.
175:Lemmon was a pioneer of the modern approach to the
95:, as an undergraduate, and was appointed Fellow of
123:John Lemmon became interested in modal logic when
107:to lecture at the Claremont Graduate School (now
75:published posthumously (Lemmon and Scott, 1977).
217:, 1959. 'Modal Logics between S4 and S5'. In
167:modalities that introduced some systems of non-
255:, London: Routledge and Kegan Paul, pp.87-107
8:
183:, but also became interested in the rival
67:. He is most well known for his work on
48:(1 June 1930 – 29 July 1966) was a
375:20th-century British non-fiction writers
87:in Sheffield until 1947, before reading
302:
227:Proceedings of the Aristotelian Society
262:, New York: Harper and Rowe, pp54–83.
7:
385:20th-century English mathematicians
349:Stanford Encyclopedia of Philosophy
155:and applications of modal logic to
71:, particularly his joint text with
19:For the Australian politician, see
390:Alumni of Magdalen College, Oxford
335:Notre Dame Journal of Formal Logic
14:
380:20th-century British philosophers
23:. For the American botanist, see
410:British philosophers of language
395:British male non-fiction writers
331:In Memoriam: Edward John Lemmon
271:An introduction to modal logic
1:
415:British philosophers of logic
253:British Analytical Philosophy
151:, and Lemmon's later work on
109:Claremont Graduate University
277:Lemmon, Edward John (1965).
420:Philosophers of mathematics
436:
103:, Lemmon emigrated to the
33:
18:
207:Journal of Symbolic Logic
135:, later published as his
237:The Philosophical Review
234:1962, 'Moral dilemmas'.
93:Magdalen College, Oxford
34:Not to be confused with
21:John Lemmon (politician)
400:British epistemologists
229:, Supplementary Volumes
97:Trinity College, Oxford
85:King Edward VII School
310:School magazine, 1947
273:. Oxford: Blackwell.
27:. For the actor, see
131:in 1956 to give the
111:). Lemmon died from
185:algebraic semantics
169:normal modal logics
133:John Locke lectures
315:2006-09-30 at the
89:Literae humaniores
46:Edward John Lemmon
281:. Thomas Nelson.
137:Time and Modality
129:Oxford University
427:
319:
307:
292:
153:alethic modality
115:while climbing.
83:Lemmon attended
25:John Gill Lemmon
16:British logician
435:
434:
430:
429:
428:
426:
425:
424:
355:
354:
323:
322:
317:Wayback Machine
308:
304:
299:
289:
279:Beginning logic
276:
215:Michael Dummett
201:
121:
81:
43:
32:
17:
12:
11:
5:
433:
431:
423:
422:
417:
412:
407:
402:
397:
392:
387:
382:
377:
372:
367:
357:
356:
353:
352:
338:
321:
320:
301:
300:
298:
295:
294:
293:
287:
274:
263:
256:
241:
232:
222:
211:
200:
197:
120:
117:
80:
77:
15:
13:
10:
9:
6:
4:
3:
2:
432:
421:
418:
416:
413:
411:
408:
406:
403:
401:
398:
396:
393:
391:
388:
386:
383:
381:
378:
376:
373:
371:
368:
366:
363:
362:
360:
350:
346:
342:
341:Jack Copeland
339:
336:
332:
328:
325:
324:
318:
314:
311:
306:
303:
296:
290:
288:0-17-712040-1
284:
280:
275:
272:
268:
264:
261:
257:
254:
250:
249:A. Montefiore
246:
242:
239:
238:
233:
230:
228:
223:
220:
216:
212:
209:
208:
203:
202:
198:
196:
194:
190:
186:
182:
178:
173:
170:
166:
162:
158:
154:
150:
146:
142:
138:
134:
130:
126:
118:
116:
114:
113:heart failure
110:
106:
105:United States
102:
98:
94:
90:
86:
78:
76:
74:
70:
66:
62:
58:
54:
51:
47:
41:
37:
30:
26:
22:
345:Arthur Prior
337:, Vol IX(1).
305:
278:
270:
260:Epistemology
259:
252:
235:
225:
218:
205:
174:
136:
125:Arthur Prior
122:
82:
45:
44:
370:1966 deaths
365:1930 births
245:B. Williams
221:, 5:250-264
149:tense logic
141:Peter Geach
119:Modal logic
69:modal logic
57:philosopher
40:John Lennon
29:Jack Lemmon
359:Categories
347:. In the
327:Ivo Thomas
297:References
267:Dana Scott
231:, 33:23-40
210:22:176-186
181:Dana Scott
145:Ivo Thomas
73:Dana Scott
36:John Lemon
329:, 1968.
177:semantics
165:epistemic
79:Biography
61:Sheffield
343:, 2004.
313:Archived
269:, 1977.
251:, eds.,
127:visited
59:born in
53:logician
193:Jónsson
161:alethic
65:England
50:British
285:
240:, LXXI
189:Tarski
157:ethics
265:With
213:With
199:Works
101:Texas
283:ISBN
247:and
191:and
163:and
143:and
55:and
333:.
91:at
38:or
361::
195:.
63:,
351:.
291:.
42:.
31:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.