Pumpkin Spice Logicism
September 27, 2026 at 1:51 AM
Pumpkin Spice Logicism
Logicism is the thesis that mathematics is reducible to logic and analytic truths. It has a long history, going back to Frege, Russell, and Whitehead, but it was subsequently rejected by others. In this recent paper, Hannes Leitgeb, Uri Nodelman, and Edward Zalta offer a new defence of logicism.
A DEFENSE OF LOGICISM | Bulletin of Symbolic Logic | Cambridge Core
A DEFENSE OF LOGICISM - Volume 31 Issue 1
doi.org
September 9, 2025 at 11:34 AM
Logicism is the thesis that mathematics is reducible to logic and analytic truths. It has a long history, going back to Frege, Russell, and Whitehead, but it was subsequently rejected by others. In this recent paper, Hannes Leitgeb, Uri Nodelman, and Edward Zalta offer a new defence of logicism.
Newly published: “A Defense of Logicism", by Hannes Leitgeb, Uri Nodelman, and Edward N. Zalta, Bulletin of Symbolic Logic, 2025, doi.org/10.1017/bsl....
A DEFENSE OF LOGICISM | Bulletin of Symbolic Logic | Cambridge Core
A DEFENSE OF LOGICISM - Volume 31 Issue 1
doi.org
April 25, 2025 at 1:04 PM
Newly published: “A Defense of Logicism", by Hannes Leitgeb, Uri Nodelman, and Edward N. Zalta, Bulletin of Symbolic Logic, 2025, doi.org/10.1017/bsl....
That’s not what incompleteness means but it is relevant to the project of logicism
December 20, 2024 at 9:11 PM
That’s not what incompleteness means but it is relevant to the project of logicism
What if governance wasn’t about Left or Right, but about what actually works? Logicism is a model for efficiency, reason, and economic sustainability. Read the full article here =>
Logicism: Governance by Reason, Not Ideology
Introduction: The Failure of Ideology-Based Governance
medium.com
February 23, 2025 at 8:56 PM
What if governance wasn’t about Left or Right, but about what actually works? Logicism is a model for efficiency, reason, and economic sustainability. Read the full article here =>
It’s really in the name. All the decent groups of philosophers have names like “Coffee Enjoyers of Southern Holland” or “Suicidal Tendencies”, and all the bad ones are called “Logicism” or “Life’s Toughest Warriors”.
The throughline in this guy’s life is that he needs to calm down
here we find Eliezer Yudkowsky engaging in the classic 90s and 2000s genre of “insecure straight guy getting really defensive about liking Buffy the Vampire Slayer”
September 26, 2026 at 9:09 PM
It’s really in the name. All the decent groups of philosophers have names like “Coffee Enjoyers of Southern Holland” or “Suicidal Tendencies”, and all the bad ones are called “Logicism” or “Life’s Toughest Warriors”.
From MacFarlane's "Frege, Kant and the Logic in Logicism"
The algebra of the logic of unsupervised evaluation is universal because it is semantic free. It is also formally verifiable because it is complete for any fixed size ensemble of noisy experts. #philsci
johnmacfarlane.net/FKL-offprint...
The algebra of the logic of unsupervised evaluation is universal because it is semantic free. It is also formally verifiable because it is complete for any fixed size ensemble of noisy experts. #philsci
johnmacfarlane.net/FKL-offprint...
March 10, 2025 at 10:08 PM
From MacFarlane's "Frege, Kant and the Logic in Logicism"
The algebra of the logic of unsupervised evaluation is universal because it is semantic free. It is also formally verifiable because it is complete for any fixed size ensemble of noisy experts. #philsci
johnmacfarlane.net/FKL-offprint...
The algebra of the logic of unsupervised evaluation is universal because it is semantic free. It is also formally verifiable because it is complete for any fixed size ensemble of noisy experts. #philsci
johnmacfarlane.net/FKL-offprint...
One of the modern analytic philosophy projects I find most convincing is Sharon Berry's project of reviving logicism about mathematics but with a notion of logical possibility distinct from 1st order logic: sharonberry.org/full-book-fi...
sharonberry.org
July 17, 2025 at 11:22 PM
One of the modern analytic philosophy projects I find most convincing is Sharon Berry's project of reviving logicism about mathematics but with a notion of logical possibility distinct from 1st order logic: sharonberry.org/full-book-fi...
What's the best all-rounder comparative summary of Logicism, Formalism and Intuitionism (in Mathematics) for non-philosophers that you know of? Would really appreciate your recommendations.
#Philosophy #PhilSci #PhilSky #MathSky
#Philosophy #PhilSci #PhilSky #MathSky
November 22, 2024 at 2:55 PM
What's the best all-rounder comparative summary of Logicism, Formalism and Intuitionism (in Mathematics) for non-philosophers that you know of? Would really appreciate your recommendations.
#Philosophy #PhilSci #PhilSky #MathSky
#Philosophy #PhilSci #PhilSky #MathSky
I agree, and would say this was already a major point of Frege’s version of logicism - that all the truths of arithmetic are merely “logical truths”
November 14, 2024 at 1:45 AM
I agree, and would say this was already a major point of Frege’s version of logicism - that all the truths of arithmetic are merely “logical truths”
The Stanford Encyclopedia of Philosophy entry on Imre Lakatos by Alan Musgrave and Charles Pigden has been updated.
#PhilSci
plato.stanford.edu/entries/laka...
#PhilSci
plato.stanford.edu/entries/laka...
June 20, 2026 at 7:20 PM
The Stanford Encyclopedia of Philosophy entry on Imre Lakatos by Alan Musgrave and Charles Pigden has been updated.
#PhilSci
plato.stanford.edu/entries/laka...
#PhilSci
plato.stanford.edu/entries/laka...
Logicism ≈ Social Democracy 2.0
Not ideology System logic
Markets are good if society is strong Public health, education, transit, AI policy optimized, not politicized
It’s not left. It’s not right
But evidence+math-based governance
#Logicism #SocialDemocracy #SystemLogic #MyrdalNotMarx #Mamdani
Not ideology System logic
Markets are good if society is strong Public health, education, transit, AI policy optimized, not politicized
It’s not left. It’s not right
But evidence+math-based governance
#Logicism #SocialDemocracy #SystemLogic #MyrdalNotMarx #Mamdani
June 28, 2025 at 7:28 AM
Logicism ≈ Social Democracy 2.0
Not ideology System logic
Markets are good if society is strong Public health, education, transit, AI policy optimized, not politicized
It’s not left. It’s not right
But evidence+math-based governance
#Logicism #SocialDemocracy #SystemLogic #MyrdalNotMarx #Mamdani
Not ideology System logic
Markets are good if society is strong Public health, education, transit, AI policy optimized, not politicized
It’s not left. It’s not right
But evidence+math-based governance
#Logicism #SocialDemocracy #SystemLogic #MyrdalNotMarx #Mamdani
Philosophy of set theory on MathOverflow!
I posted a philosophical answer to a question about Poincaré and the dispute with logicism, regarding an observation about the use of induction in certain metatheoretic arguments in set theory.
mathoverflow.net/a/485371/1946
I posted a philosophical answer to a question about Poincaré and the dispute with logicism, regarding an observation about the use of induction in certain metatheoretic arguments in set theory.
mathoverflow.net/a/485371/1946
Poincaré and the principle of induction
In his popularization book "Science and Hypothesis" (1905),
Henri Poincaré argues that
mathematics cannot be reduced to logic or set theory
and that there is always the need to appeal to
mathoverflow.net
January 5, 2025 at 12:20 AM
Philosophy of set theory on MathOverflow!
I posted a philosophical answer to a question about Poincaré and the dispute with logicism, regarding an observation about the use of induction in certain metatheoretic arguments in set theory.
mathoverflow.net/a/485371/1946
I posted a philosophical answer to a question about Poincaré and the dispute with logicism, regarding an observation about the use of induction in certain metatheoretic arguments in set theory.
mathoverflow.net/a/485371/1946
After the success of Wicked, I’m happy to announce that my book will be adapted into a musical! It’s a revisionist exploration of the real background behind Russell’s sabotaging of Frege’s logicism.
November 27, 2024 at 3:26 PM
After the success of Wicked, I’m happy to announce that my book will be adapted into a musical! It’s a revisionist exploration of the real background behind Russell’s sabotaging of Frege’s logicism.
December 3, 2023 at 8:04 AM
Autobiographical account (from 1979) of a mathematical logician who over the course of the 1970s lost faith in symbolic-logic knowledge representation and moved towards the procedural representations of knowledge then coming out of computer science and artificial intelligence.
From logicism to proceduralism (an autobiographical account)
doi.org
December 28, 2024 at 9:28 PM
Autobiographical account (from 1979) of a mathematical logician who over the course of the 1970s lost faith in symbolic-logic knowledge representation and moved towards the procedural representations of knowledge then coming out of computer science and artificial intelligence.
"Did you know that logicism is a programme in the philosophy of mathematics? (Q845691)" #philosophy #mathematics
January 12, 2025 at 7:01 AM
"Did you know that logicism is a programme in the philosophy of mathematics? (Q845691)" #philosophy #mathematics
New on the Archive:
Colomina-Alminana, Juan (2026) Extensionalism without Logicism: Ambrose and Extensional Logic. [Preprint]
https://philsci-archive.pitt.edu/29708/
Colomina-Alminana, Juan (2026) Extensionalism without Logicism: Ambrose and Extensional Logic. [Preprint]
https://philsci-archive.pitt.edu/29708/
June 6, 2026 at 5:21 PM
New on the Archive:
Colomina-Alminana, Juan (2026) Extensionalism without Logicism: Ambrose and Extensional Logic. [Preprint]
https://philsci-archive.pitt.edu/29708/
Colomina-Alminana, Juan (2026) Extensionalism without Logicism: Ambrose and Extensional Logic. [Preprint]
https://philsci-archive.pitt.edu/29708/
Did you know logicism sought to reduce mathematics to logic? Pioneered by Frege and Russell (Principia Mathematica), it sparked a foundational debate in philosophy of mathematics, challenging thinkers like Brouwer and Hilbert. (Q845691) #FoundationalDebates #PhilosophyOfMath
January 30, 2025 at 1:00 AM
Did you know logicism sought to reduce mathematics to logic? Pioneered by Frege and Russell (Principia Mathematica), it sparked a foundational debate in philosophy of mathematics, challenging thinkers like Brouwer and Hilbert. (Q845691) #FoundationalDebates #PhilosophyOfMath
Did you know logicism sparked a century-long math philosophy feud? Bertrand Russell (Principia Mathematica) and Frege pioneered this radical idea: math is just fancy logic. Critics like Brouwer called it "formalist nonsense"! (Q845691) #MathWars #AnalyticPhilosophy
November 28, 2025 at 8:00 PM
Did you know logicism sparked a century-long math philosophy feud? Bertrand Russell (Principia Mathematica) and Frege pioneered this radical idea: math is just fancy logic. Critics like Brouwer called it "formalist nonsense"! (Q845691) #MathWars #AnalyticPhilosophy
It's wonderful that you're diving deep into Frege and analytic philosophy! Frege was a true pioneer, essentially reconceiving logic by creating the first predicate calculus and laying the groundwork for modern logic. His work on the philosophy of mathematics, particularly his logicism, has had a
March 29, 2026 at 8:44 AM
It's wonderful that you're diving deep into Frege and analytic philosophy! Frege was a true pioneer, essentially reconceiving logic by creating the first predicate calculus and laying the groundwork for modern logic. His work on the philosophy of mathematics, particularly his logicism, has had a
🇪🇺💸 EU to invest $600B in the U.S. is BS, and the U.S. keeps a 15% import tariff on EU goods.
This isn’t a trade deal. It’s stupid!
“We tax your exports You build our factories”
Logic? None. No deal be better than this
#Logicism #Geopolitics #Tariffs #BS
This isn’t a trade deal. It’s stupid!
“We tax your exports You build our factories”
Logic? None. No deal be better than this
#Logicism #Geopolitics #Tariffs #BS
July 28, 2025 at 6:04 AM
🇪🇺💸 EU to invest $600B in the U.S. is BS, and the U.S. keeps a 15% import tariff on EU goods.
This isn’t a trade deal. It’s stupid!
“We tax your exports You build our factories”
Logic? None. No deal be better than this
#Logicism #Geopolitics #Tariffs #BS
This isn’t a trade deal. It’s stupid!
“We tax your exports You build our factories”
Logic? None. No deal be better than this
#Logicism #Geopolitics #Tariffs #BS
The Big Fat Bill is a Trojan Horse, hiding a path to feudalism, it will create King Trump of USA.
There will be no more => For the People, by the People
By passing Schedule F, Trump has been given his crown. 50,000 loyalists in, democracy out.
#Project2025 #ScheduleF #Logicism #Trump
There will be no more => For the People, by the People
By passing Schedule F, Trump has been given his crown. 50,000 loyalists in, democracy out.
#Project2025 #ScheduleF #Logicism #Trump
May 26, 2025 at 9:10 AM
The Big Fat Bill is a Trojan Horse, hiding a path to feudalism, it will create King Trump of USA.
There will be no more => For the People, by the People
By passing Schedule F, Trump has been given his crown. 50,000 loyalists in, democracy out.
#Project2025 #ScheduleF #Logicism #Trump
There will be no more => For the People, by the People
By passing Schedule F, Trump has been given his crown. 50,000 loyalists in, democracy out.
#Project2025 #ScheduleF #Logicism #Trump