1930 – 2021
Timothy Smiley (1930–2021) was a British philosopher and logician at Cambridge University, known principally for his contributions to philosophical logic, Aristotelian syllogistic, and the logic of multiple conclusions. His work on tense logic examined the limits of classical assumptions about the relationship between past, present, and future truth-conditions, with particular attention to the problem of future contingents.
Developed a rigorous reconstruction of Aristotelian syllogistic in modern logical terms
Pioneered multiple-conclusion logic, challenging single-conclusion assumptions in classical proof theory
Contributed to tense logic by exposing non-trivial counterexamples to standard temporal inference schemas
Influenced the Cambridge tradition in philosophical logic through decades of teaching and collaboration with Michael Dummett and others