Timothy Smiley

Last updated

Timothy John Smiley
Born (1930-11-13) 13 November 1930 (age 94)
London
NationalityBritish
Known for logic
Scientific career
FieldsPhilosophy

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.

Contents

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 ]

Work

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]

Books

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 initiators of analytic philosophy. He and Russell began de-emphasizing the idealism which was then prevalent among British philosophers and became known for advocating common-sense concepts and contributing to ethics, epistemology and metaphysics. He was said to have had an "exceptional personality and moral character". Ray Monk dubbed him "the most revered philosopher of his era".

<span class="mw-page-title-main">Saul Kripke</span> American philosopher and logician (1940–2022)

Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.

<span class="mw-page-title-main">Hilary Putnam</span> American mathematician and philosopher (1926–2016)

Hilary Whitehall Putnam was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem and he helped demonstrate the unsolvability of Hilbert's tenth problem.

Analytic philosophy is a broad, contemporary movement or tradition within Western philosophy, especially anglophone philosophy, focused on analysis as a philosophical method. It is characterized by a clarity of prose; rigor in arguments; and making use of formal logic and mathematics, and, to a lesser degree, the natural sciences. It is further characterized by an interest in language, semantics and meaning, known as the linguistic turn. It has developed several new branches of philosophy and logic, notably philosophy of language, philosophy of mathematics, philosophy of science, modern predicate logic and mathematical logic.

<span class="mw-page-title-main">Max Black</span> British-American philosopher (1909–1988)

Max Black was an Azerbaijan-born British-American philosopher who was a leading figure in analytic philosophy in the years after World War II. He made contributions to the philosophy of language, the philosophy of mathematics and science, and the philosophy of art, also publishing studies of the work of philosophers such as Frege. His translation of Frege's published philosophical writing is a classic text.

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 Philosophical Research at the University of Stirling, and taught previously at the University of St Andrews, University of Aberdeen, New York University, Princeton University and University of Michigan.

<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".

<span class="mw-page-title-main">G. E. M. Anscombe</span> British analytic philosopher (1919–2001)

Gertrude Elizabeth Margaret Anscombe, usually cited as G. E. M. Anscombe or Elizabeth Anscombe, was a British analytic philosopher. She wrote on the philosophy of mind, philosophy of action, philosophical logic, philosophy of language, and ethics. She was a prominent figure of analytical Thomism, a Fellow of Somerville College, Oxford, and a professor of philosophy at the University of Cambridge.

Logical atomism is a philosophical view that originated in the early 20th century with the development of analytic philosophy. It holds that the world consists of ultimate logical "facts" that cannot be broken down any further, each of which can be understood independently of other facts.

<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">Carl Gustav Hempel</span> German writer and philosopher (1905–1997)

Carl Gustav "Peter" Hempel was a German writer, philosopher, logician, and epistemologist. He was a major figure in logical empiricism, a 20th-century movement in the philosophy of science. Hempel articulated the deductive-nomological model of scientific explanation, which was considered the "standard model" of scientific explanation during the 1950s and 1960s. He is also known for the raven paradox and Hempel's dilemma.

Friedrich Waismann was an Austrian mathematician, physicist, and philosopher. He is best known for being a member of the Vienna Circle and one of the key theorists in logical positivism.

The linguistic turn was a major development in Western philosophy during the early 20th century, the most important characteristic of which is the focusing of philosophy primarily on the relations between language, language users, and the world.

<span class="mw-page-title-main">Alice Ambrose</span> American philosopher, logician, and author (1906–2001)

Alice Ambrose Lazerowitz was an American philosopher, logician, and author.

<span class="mw-page-title-main">Faculty of Philosophy, University of Cambridge</span>

The University of Cambridge was the birthplace of the 'Analytic' School of Philosophy in the early 20th century. The department is located in the Raised Faculty Building on the Sidgwick Site and is part of the Cambridge School of Arts and Humanities. The Faculty achieved the best possible results from The Times 2004 and the QAA Subject Review 2001 (24/24). In the UK as of 2020, it is ranked second by the Guardian, second by the Philosophical Gourmet Report, and fifth by the QS World University Rankings.

<span class="mw-page-title-main">Stephan Körner</span> British philosopher (1913–2000)

Stephan Körner, FBA was a British philosopher, who specialised in the work of Kant, the study of concepts, and in the philosophy of mathematics.

The aspects of Bertrand Russell's views on philosophy cover the changing viewpoints of philosopher and mathematician Bertrand Russell (1872–1970), from his early writings in 1896 until his death in February 1970.

Brian McGuinness was a Wittgenstein scholar best known for his translation, with David Pears, of the Tractatus-Logico-Philosophicus, and for his biography of the first half of Wittgenstein's life.

Juliet Floyd is professor of philosophy at Boston University. Her strongest research interests lie in early analytic philosophy and she has used early analytic philosophy as a lens to examine a diverse array of topics.

References

  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. "Professor Timothy Smiley FBA". The British Academy. Retrieved 31 January 2025.
  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". The British Academy. Retrieved 31 January 2025.
  12. "Philosophical Logic". The British Academy. Retrieved 31 January 2025.
  13. "Philosophical Dialogues: Plato, Hume, Wittgenstein". The British Academy. Retrieved 31 January 2025.
  14. Cambridge University Press – publication listing. Multiple Conclusion Logic by D. J. Shoesmith and T. J. Smiley, reprinted 2009. Retrieved 30 December 2010