Set theory | Philosophers of mathematics | Model theorists

Willard Van Orman Quine

Willard Van Orman Quine (/kwaɪn/; known to his friends as "Van"; June 25, 1908 – December 25, 2000) 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. Quine was a teacher of logic and set theory. Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the reality of mathematical entities. However, he was the main proponent of the view that philosophy is not conceptual analysis, but continuous with science; the abstract branch of the empirical sciences. This led to his famous quip that "philosophy of science is philosophy enough". He led a "systematic attempt to understand science from within the resources of science itself" and developed an influential naturalized epistemology that tried to provide "an improved scientific explanation of how we have developed elaborate scientific theories on the basis of meager sensory input". He also advocated ontological relativity in science, known as the Duhem–Quine thesis. His major writings include the papers "On What There Is" (1948), which elucidated Bertrand Russell's theory of descriptions and contains Quine's famous dictum of ontological commitment, "To be is to be the value of a variable", and "Two Dogmas of Empiricism" (1951), which attacked the traditional analytic-synthetic distinction and reductionism, undermining the then-popular logical positivism, advocating instead a form of semantic holism. They also include the books The Web of Belief, which advocates a kind of coherentism, and Word and Object (1960), which further developed these positions and introduced Quine's famous indeterminacy of translation thesis, advocating a behaviorist theory of meaning. A 2009 poll conducted among analytic philosophers named Quine as the fifth most important philosopher of the past two centuries. He won the first Schock Prize in Logic and Philosophy in 1993 for "his systematical and penetrating discussions of how learning of language and communication are based on socially available evidence and of the consequences of this for theories on knowledge and linguistic meaning". In 1996 he was awarded the Kyoto Prize in Arts and Philosophy for his "outstanding contributions to the progress of philosophy in the 20th century by proposing numerous theories based on keen insights in logic, epistemology, philosophy of science and philosophy of language". (Wikipedia).

Willard Van Orman Quine
Video thumbnail

The Ideas of Quine - Bryan Magee & Quine (1978)

In this program, Willard Van Orman Quine discusses the nature of philosophy and some of his own work in philosophy with host Bryan Magee. This is from a 1978 series on Modern Philosophy called Men of Ideas. #Philosophy #BryanMagee #Quine

From playlist Bryan Magee Interviews - Modern Philosophy: Men of Ideas (1977-1978)

Video thumbnail

Journées Hénon - 8/21 - Uriel Frisch

Michel Hénon et l'expérimentation numérique sur les systèmes dynamiques

From playlist Michel Hénon Memoriam

Video thumbnail

Postmodernism

Lecture 35, Postmodernism, of UGS 303, Ideas of the Twentieth Century, University of Texas at Austin, Fall 2013

From playlist UT Austin: UGS 303 Political Philosophy - Ideas of the 20th Century | CosmoLearning.org Philosophy

Video thumbnail

Kurt Gödel Centenary - Part I

Institute for Advanced Study November 17, 2006 Karl Sigmund (University of Vienna) Solomon Feferman (Stanford University) More videos on http://video.ias.edu

From playlist Kurt Gödel Centenary

Video thumbnail

Eteinne Farcot - The Multiradial Represenation of IUT

http://www.nottingham.ac.uk/cmmb/people/etienne.farcot

From playlist Mathematical Shenanigans

Video thumbnail

Are Possible Worlds Real? Modal Realism Part 1 – Philosophy Tube

What are possible worlds? What does it mean to say something might have been true? Watch Part 1 of our discussion on David Lewis’ modal realism to find out! Part 2! http://tinyurl.com/pdxgkjt Metaphysics playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32cX32PRBl1D4b4wr8DwhRQ4 S

From playlist METAPHYSICS

Video thumbnail

Our Words, and Theirs: A Reflection on the Historian's Craft Today - Carlo Ginzburg

Public Lecture: Monday, October 3, 2011 "Our Words, and Theirs: A Reflection on the Historian's Craft Today" Carlo Ginzburg, Professor Emeritus, University of California, Los Angeles What is the relationship between the idiom of the observer (historian, anthropologist) and the idiom of

From playlist Public Lectures

Video thumbnail

A Talk on the Mission and History of the Institute - Robbert Dijkgraaf

IAS Welcome Day: September 19, 2016 A Talk on the Mission and History of the Institute Robbert Dijkgraaf, IAS Director and Leon Levy Professor More videos on http://video.ias.edu

From playlist Robbert Dijkgraaf

Video thumbnail

Vertebra by Kirk Haines

Help us caption & translate this video! http://amara.org/v/FGii/

From playlist MWRC 2009

Video thumbnail

1 Just What is Kant's "Project"? - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 1st lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Both sense and reason are limited. Kant must identify the proper mission and domain of each, as well as

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

Bourgain Remembrance - Various Speakers

Honoring the Life and Work of Jean Bourgain Topic: Bourgain Remembrance Speakers: Various Date: May 31, 2019 For more video please visit http://video.ias.edu

From playlist Honoring the Life and Work of Jean Bourgain

Video thumbnail

A Quillen Model Structure in Type Theory - Peter LeFanu Lumsdaine

Peter LeFanu Lumsdaine Dalhousie University; Member, School of Mathematics February 6, 2013 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

James Galway Plays Syrinx by Debussy

James Galway performing Syrinx by Debussy.

From playlist experimental classical

Video thumbnail

Seminar H4 - October 30th : James Binney

The amazing and wonderful Hénon's isochrone model James Binney, Oxford University, England

From playlist Michel Hénon Memoriam

Video thumbnail

DIRTY SECRETS of VIETNAM: Men of the 101st Airborne Division

These teams specialized air deployed missions and operated covertly in the jungles of Southeast Asia.

From playlist DIRTY SECRETS of VIETNAM

Video thumbnail

Anne-Sandrine Paumier - Quel(s) lieu(x) pour quelle(s) mathématique(s) ?

Quel(s) lieu(x) pour quelle(s) mathématique(s) ? Penser et construire l’Institut de Hautes Études Scientifiques Conférence donnée devant L'Association des Amis de l'IHES à l'IHES le 4 mai 2017. L’IHES est créé officiellement le 27 juin 1958, dans le bureau de Joseph Pérès, doyen de la Fa

From playlist Évenements grand public

Video thumbnail

Children of the pandemic: How will kids be shaped by the coronavirus crisis?

Health professionals face a massive challenge in responding to the coronavirus. Child psychologists are no exception as they deal with mental crises in kids caused by the pandemic’s upheaval. Some scientists see the outbreak as a natural experiment—a time when a real-life event can be used

From playlist Health and disease

Related pages

Nelson Goodman | Set theory | Vivid designator | Existential generalization | Saul Kripke | Predicate (mathematical logic) | Empirical evidence | Quine–McCluskey algorithm | Sheffer stroke | John Myhill | Completeness (logic) | Free logic | Quine (computing) | Model theory | Metalogic | Quark | Kripke semantics | New Foundations | Raymond Smullyan | Robert McNaughton | Definition | Material conditional | David Hume | Variable (mathematics) | Higher-order logic | Alfred Tarski | Quine–Putnam indispensability argument | Modal logic | Universal instantiation | Set (mathematics) | Non-Euclidean geometry | Modus ponens | Rudolf Carnap | Existential quantification | Predicate functor logic | Zermelo set theory | Type theory | Principia Mathematica | Hao Wang (academic) | Urelement | Quasi-quotation | Hilary Putnam | Bertrand Russell | Logical conjunction | Alfred North Whitehead | Soundness | First-order logic | Philosophy of mathematics | Von Neumann–Bernays–Gödel set theory | Recursion