Edward John Lemmon (1 de junio de 1930 – 29 de julio de 1966) fue un lógico y filósofo británico nacido en Sheffield , Inglaterra . Es más conocido por su trabajo sobre lógica modal , en particular su texto conjunto con Dana Scott publicado póstumamente (Lemmon y Scott, 1977).
Lemmon asistió a la King Edward VII School [1] en Sheffield hasta 1947, antes de estudiar Literae humaniores en el Magdalen College, Oxford , como estudiante de pregrado, y fue nombrado miembro del Trinity College, Oxford , en 1957. En 1963, después de una cátedra visitante en Texas , Lemmon emigró a los Estados Unidos para dar conferencias en la Claremont Graduate School (ahora Claremont Graduate University ). Lemmon murió de insuficiencia cardíaca mientras escalaba.
John Lemmon se interesó en la lógica modal cuando Arthur Prior visitó la Universidad de Oxford en 1956 para dar las conferencias John Locke , publicadas más tarde como su obra Time and Modality (Prior 1957). Prior regresó durante doce meses poco después, para dirigir un pequeño grupo que incluía a Lemmon, Peter Geach e Ivo Thomas (Copeland 2004). John Lemmon se convirtió en uno de los primeros defensores del enfoque distintivo de Prior sobre la lógica temporal , y el trabajo posterior de Lemmon sobre la modalidad alética y las aplicaciones de la lógica modal a la ética llevan la marca de la influencia de Prior. En esta época, Lemmon publicó un tratamiento de las modalidades aléticas y epistémicas que introdujo algunos sistemas de lógicas modales no normales que han demostrado haber tenido un interés duradero, el sistema alético S0.5 y los sistemas epistémicos E1–E5 vinculados a los sistemas S0.5 y los sistemas de Lewis S2–S5, pero que carecen de la ley de la necesidad (Lemmon 1957).
Lemmon fue un pionero del enfoque moderno de la semántica de la lógica modal, particularmente a través de su colaboración con Dana Scott , pero también se interesó en la semántica algebraica rival de la lógica modal que sigue más de cerca el tipo de semántica encontrada en el trabajo de Tarski y Jónsson .