Philosophers of mathematics

Gottlob Frege

Friedrich Ludwig Gottlob Frege (/ˈfreɪɡə/; German: [ˈɡɔtloːp ˈfreːɡə]; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever. His contributions include the development of modern logic in the Begriffsschrift and work in the foundations of mathematics. His book the Foundations of Arithmetic is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical papers "On Sense and Reference" and "The Thought" are also widely cited. The former argues for two different types of meaning and descriptivism. In Foundations and "The Thought", Frege argues for Platonism against psychologism or formalism, concerning numbers and propositions respectively. Russell's paradox undermined the logicist project by showing Frege's Basic Law V in the Foundations to be false. (Wikipedia).

Gottlob Frege
Video thumbnail

Russell's Paradox - A Ripple in the Foundations of Mathematics

Bertrand Russell's set theory paradox on the foundations of mathematics, axiomatic set theory and the laws of logic. A celebration of Gottlob Frege. Thank you to Professor Joel David Hamkins for your help with this video. Hi! I'm Jade. Subscribe to Up and Atom for physics, math and com

From playlist Math

Video thumbnail

How Do Names Work? Part II - Philosophy Tube

An examination of the referential theory of names, with some philosophy and linguistics. Knowledge, Logic, and Religion Playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32fRrlUcuezyvR80Ec6qHUz_ Facebook: https://www.facebook.com/PhilosophyTube?ref=hl Twitter: https://twitter.com

From playlist KNOWLEDGE, LOGIC, & RELIGION

Video thumbnail

!!Con 2020 - Programming from an alternate timeline! by Matthew Dockrey

Programming from an alternate timeline! by Matthew Dockrey We take ANDs and ORs for granted, but for millennia there was only the IMPLIES of classical Aristotelian syllogisms. It wasn’t until the 19th century that mathematical logic started to emerge, and it was a long time before it look

From playlist !!Con 2020

Video thumbnail

Crisis in the Foundation of Mathematics | Infinite Series

Viewers like you help make PBS (Thank you 😃) . Support your local PBS Member Station here: https://to.pbs.org/donateinfi What if the foundation that all of mathematics is built upon isn't as firm as we thought it was? Note: The natural numbers sometimes include zero and sometimes don't -

From playlist An Infinite Playlist

Video thumbnail

Outtakes #4: Crash Course Philosophy

In which Hank contemplates his own nerdiness and laughs at his own jokes. music: "Hyperfun" Kevin MacLeod (incompetech.com) Licensed under Creative Commons: By Attribution 3.0 http://creativecommons.org/licenses/by/3.0/ Want more Crash Course in person? We'll be at NerdCon: Nerdfighteria

From playlist Bloopers & Outtakes

Video thumbnail

Topology Without Tears - Video 2b - Infinite Set Theory

This is part (b) of Video 2, the second in a series of videos supplementing the online book "Topology Without Tears" which is available at no cost from www.topologywithouttears.net

From playlist Topology Without Tears

Video thumbnail

Frege, Russell, & Modern Logic - A. J. Ayer & Bryan Magee (1987)

In this program, A. J. Ayer discusses the work of Gottlob Frege, Bertrand Russell, and modern logic with Bryan Magee. This is from the 1987 series on great philosophers. #Philosophy #Bryanmagee #BertrandRussell

From playlist Bryan Magee Interviews - The Great Philosophers (1987)

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Intro to the Philosophy of Mathematics (Ray Monk)

A good introduction to the philosophy of mathematics by Ray Monk. He considers the issue of the nature of mathematical truth - what mathematics is actually about - and discusses the views of Plato, Aristotle, Kant, Frege and Russell. What is mathematics about? Is mathematics something disc

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Most Famous Ethical Puzzle: The Frege-Geach Problem - Philosophy Tube

One of the most famous and difficult problems in ethics! The issue that killed moral noncognitivism – The Frege-Geach Problem! Ethics Playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32ecfEjoNjMJyKTFUS5-hNr9 Subscribe! http://www.youtube.com/subscription_center?add_user=thephilos

From playlist A-Level Philosophy

Related pages

George Boole | Alfred Clebsch | Begriffsschrift | Giuseppe Peano | If and only if | Ancestral relation | Formalism (philosophy of mathematics) | Philosophy of mathematics | Psychologism | Karl Popper | Saul Kripke | Currying | George Boolos | Number | Frege's propositional calculus | Hume's principle | Gottfried Wilhelm Leibniz | LaTeX | Plane (geometry) | Bernard Bolzano | Predicate calculus | Foundations of mathematics | Extension (predicate logic) | David Hume | Variable (mathematics) | Frege system | Alfred Tarski | Bruno Bauch | Impredicativity | Mathematics | Function (mathematics) | Proposition | Second-order logic | Second-order arithmetic | Frege's theorem | Frege–Church ontology | Rudolf Carnap | Edmund Husserl | Logical constant | Ludwig Wittgenstein | Prime number | Jean van Heijenoort | Mathematical logic | Law of trichotomy | Principia Mathematica | Projective geometry | Problem of multiple generality | Michael Dummett | Philosophy of logic | Bertrand Russell | Russell's paradox | Geometry | Alfred North Whitehead | Logicism | Euclid's theorem | Arithmetic | Analytic geometry | Finitism | Set-theoretic definition of natural numbers