Timothy Smiley

Last updated

Timothy John Smiley
Born (1930-11-13) 13 November 1930 (age 92)
Known for logic
Scientific career

Timothy John Smiley FBA (born 13 November 1930) is a British philosopher, appointed Emeritus Knightbridge Professor of Philosophy at Clare College, Cambridge University. [1] He works primarily in philosophy of mathematics and logic.


Life and career

Timothy Smiley was born in London, the son of Professor M. T. Smiley and Mrs T. M. Smiley (née Browne). [2] He was educated at Ardwyn Grammar School, Aberystwyth, followed by Ampleforth College, then went up to Clare College, Cambridge to read Mathematics in 1949. He obtained his BA degree in 1952 followed by a PhD in 1956 on natural systems of logic. [3]

After completing his PhD, he remained at Cambridge on a Research Fellowship at Clare (1955–59), then as a tutor and lecturer in philosophy. He also qualified as a pilot in the Air Ministry and was called to the bar at Gray's Inn. [4]

In 1980 he was appointed Knightbridge Professor of Philosophy, a post he held until his retirement in 1998. In 1982–83 he was President of the Aristotelian Society and in 1984 he was elected a Fellow of the British Academy. [5]

He is the father of the author Sophie Smiley.[ citation needed ]


Timothy Smiley has published in a wide range of philosophical areas, including Aristotle, definite descriptions, modal logic, multiple conclusion logic, negation and denial, plurals, set-theoretic foundations for mathematics and validity.

In recent years, he has collaborated on a number of articles on plural descriptions with Alex Oliver. [6] [7]

Most recently, Smiley's professional standing was marked by the publication of The Force of Argument: Essays in Honor of Timothy Smiley (T. J. Smiley, Jonathan Lear and Alex Oliver, Routledge, 2010) [8]

Published works

He has edited and contributed to numerous papers and publications. A full bibliography of his work is included in his Festschrift, The Force of Argument: Essays in Honor of Timothy Smiley. [9]


Selected papers

Related Research Articles

<span class="mw-page-title-main">G. E. Moore</span> English philosopher, 1873–1958

George Edward Moore was an English philosopher, who with Bertrand Russell, Ludwig Wittgenstein and earlier Gottlob Frege was among the founders of analytic philosophy. He and Russell led the turn from idealism in British philosophy and became known for advocating common-sense concepts and contributing to ethics, epistemology and metaphysics. He was said to have an "exceptional personality and moral character". Ray Monk later dubbed him "the most revered philosopher of his era".

<span class="mw-page-title-main">Willard Van Orman Quine</span> American philosopher and logician (1908–2000)

Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.

Crispin James Garth Wright is a British philosopher, who has written on neo-Fregean (neo-logicist) philosophy of mathematics, Wittgenstein's later philosophy, and on issues related to truth, realism, cognitivism, skepticism, knowledge, and objectivity. He is Professor of Philosophy at New York University and Professor of Philosophical Research at the University of Stirling, and taught previously at the University of St Andrews, University of Aberdeen, Princeton University and University of Michigan.

<span class="mw-page-title-main">Jan Łukasiewicz</span> Polish logician and philosopher

Jan Łukasiewicz was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle, offering one of the earliest systems of many-valued logic. Contemporary research on Aristotelian logic also builds on innovative works by Łukasiewicz, which applied methods from modern logic to the formalization of Aristotle's syllogistic.

<span class="mw-page-title-main">George Boolos</span> American philosopher and mathematical logician

George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.

<span class="mw-page-title-main">Ruth Barcan Marcus</span> American philosopher

Ruth Barcan Marcus was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – true".

In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London etc. for x, we may substitute both Alice and Bob, or all the numbers between 0 and 10, or all the buildings in London over 20 stories.

<i>Prior Analytics</i> Work of Aristotle pertaining to logic

The Prior Analytics is a work by Aristotle on reasoning, known as his syllogistic, composed around 350 BCE. Being one of the six extant Aristotelian writings on logic and scientific method, it is part of what later Peripatetics called the Organon. Modern work on Aristotle's logic builds on the tradition started in 1951 with the establishment by Jan Łukasiewicz of a revolutionary paradigm. His approach was replaced in the early 1970s in a series of papers by John Corcoran and Timothy Smiley—which inform modern translations of Prior Analytics by Robin Smith in 1989 and Gisela Striker in 2009.

<span class="mw-page-title-main">Nicholas Rescher</span> American philosopher

Nicholas Rescher is a German-American philosopher, polymath, and author, who has been a professor of philosophy at the University of Pittsburgh since 1961. He is chairman of the Center for Philosophy of Science and was formerly chairman of the philosophy department.

The Knightbridge Professorship of Philosophy is the senior professorship in philosophy at the University of Cambridge. There have been 22 Knightbridge professors, the incumbent being Rae Langton.

<span class="mw-page-title-main">C. D. Broad</span> English philosopher (1887–1971)

Charlie Dunbar Broad, usually cited as C. D. Broad, was an English epistemologist, historian of philosophy, philosopher of science, moral philosopher, and writer on the philosophical aspects of psychical research. He was known for his thorough and dispassionate examinations of arguments in such works as Scientific Thought (1923), The Mind and Its Place in Nature (1925), and Examination of McTaggart's Philosophy.

<span class="mw-page-title-main">R. B. Braithwaite</span> English philosopher and ethicist

Richard Bevan Braithwaite was an English philosopher who specialized in the philosophy of science, ethics, and the philosophy of religion.

A multiple-conclusion logic is one in which logical consequence is a relation, , between two sets of sentences. is typically interpreted as meaning that whenever each element of is true, some element of is true; and whenever each element of is false, some element of is false.

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterization, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.

Timothy Martin Crane is a British philosopher specialising in the philosophy of mind, philosophy of perception, philosophy of psychology and metaphysics. His contributions to philosophy include a defence of a non-physicalist account of the mind; a defence of intentionalism about consciousness; a defence of the thesis that perceptual experience has non-conceptual content; a psychologistic approach to the objects of thought; and a defence of the thesis that intentionality is the mark of the mental. He is currently the Head of Department and Professor of Philosophy at Central European University, and was previously the Knightbridge Professor of Philosophy at the University of Cambridge and a Fellow of Peterhouse. For the academic year 2020–21 he was a Visiting Professor at the University of Italian Switzerland.

<span class="mw-page-title-main">John Corcoran (logician)</span> American logician (1937–2021)

John Corcoran was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.

Geoffrey Hellman is an American professor and philosopher. He is Professor of Philosophy at the University of Minnesota in Minneapolis, Minnesota. He obtained his B.A. (1965) and Ph.D. (1972) degrees in philosophy from Harvard University. He was elected to the American Academy of Arts and Sciences in 2007.

Rae Helen Langton, FBA is an Australian-British professor of philosophy. She is currently the Knightbridge Professor of Philosophy at the University of Cambridge. She has published widely on Immanuel Kant's philosophy, moral philosophy, political philosophy, metaphysics, and feminist philosophy. She is also well known for her work on pornography and objectification.

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics.

David Bostock was a British philosopher and a Fellow of Merton College, Oxford.


  1. Clare College: Master and Fellows
  2. "SMILEY, Prof. Timothy John". Who's Who. A & C Black. Retrieved 3 May 2017.
  3. "Timothy Smiley". Continuum. Retrieved 3 May 2017.
  4. Oliver, Alex (2005). "Smiley, Timothy (1930–)". In Brown, Stuart (ed.). The Dictionary of Twentieth Century British Philosophers. Thoemmes Press. p. 971.
  5. British Academy – list of Fellows [ permanent dead link ]. Retrieved 30 December 2010
  6. Philosophical papers, online listing of Plural Descriptions and Many-Valued Functions, Alex Oliver and Timothy Oliver, 2005. Retrieved 30 December 2010
  7. Philosophical papers, online listing of What Are Sets, and What Are They For?, Alex Oliver and Timothy Oliver, 2006. Retrieved 30 December 2010
  8. Philosophical papers, online listing of The Force of Argument: Essays in Honor of Timothy Smiley. Retrieved 30 December 2010
  9. Lear, Jonathan; Oliver, Alex, eds. (2010). The Force of Argument: Essays in Honor of Timothy Smiley. Routledge. pp. 259–260. ISBN   9781138868496.
  10. Studies in the Philosophy of Logic and Knowledge, (co-edited with Thomas Baldwin.) Oxford University Press for the British Academy, 2005 Archived 29 March 2012 at the Wayback Machine . Retrieved 30 December 2010
  11. Mathematics and Necessity: Essays in the History of Philosophy. Oxford University Press for the British Academy, 2000 [ permanent dead link ]. Retrieved 30 December 2010
  12. Philosophical Logic. Oxford University Press for the British Academy, 1998 [ permanent dead link ]. Retrieved 30 December 2010
  13. Philosophical Dialogues: Plato, Hume, Wittgenstein. Dawes Hicks Lectures on Philosophy. Reprint, Oxford University Press for the British Academy, 1996 [ permanent dead link ]. Retrieved 30 December 2010
  14. Cambridge University Press – publication listing. Multiple Conclusion Logic by D. J. Shoesmith and T. J. Smiley, reprinted 2009. Retrieved 30 December 2010