Blogs about: Philosophy Of Mathematics
Featured Blog
Two Questions Regarding Hume's Account of Relations of Ideas
I have always had two interpretational questions about Hume’s account of relations of ideas. These issues come up in my into class all the time and I am constantly foiled in my attempt to locate… more →
Philosophy Sucks!
Mach on the value of history and philosophy of science.
jrshipley wrote 1 week ago: Hat tip to Ralf Krömer’s “Tool and Object: a history and philosophy of category theory … more →
Multiple reductions and ontic structural realism.
jrshipley wrote 1 week ago: Ladyman and Ross argue that only structure is real and that it is ontologically basic. They make no … more →
I don't trust uncountable sets
— 17 comments
Qiaochu Yuan wrote 3 weeks ago: I have a mathematical confession: I don’t trust uncountable sets. Some time ago on MathOverflo … more →
A Note on the Semantics of First-Degree Entailment
— 7 comments
Aaron wrote 1 month ago: Do I contradict myself? Very well, then I contradict myself, I am large, I contain multitudes- Walt … more →
Gregory Lavers - Frege the Conventionalist and Carnap the Fregean
j. wrote 2 months ago: The Montreal Inter-University Workshop on the History and Philosophy of Mathematics presents: Frege … more →
Halmos on writing and education
— 8 comments
Qiaochu Yuan wrote 3 months ago: John Ewing wrote up a nice collection of quotes from Paul Halmos for the Notices of the AMS; let … more →
Does Conservativeness suffice for Ontological Innocence?
— 2 comments
jnne wrote 4 months ago: A theory T* being conservative over T, does this suffice for T*’s ontological commitment not t … more →
IMO 2009 and proof systems
— 3 comments
Qiaochu Yuan wrote 4 months ago: The problems from IMO 2009 are now available. I haven’t had much time to work on them, though. … more →
Exceptional structures
— 4 comments
Qiaochu Yuan wrote 4 months ago: Recently Isabel Lugo asked about problems that are hard for intermediate values of some parameter, a … more →
Mathematical historical fiction
— 4 comments
Qiaochu Yuan wrote 4 months ago: Bill Gasarch is right – writing technical posts is tiring! (I’ve been trying to finish t … more →
I hate axioms
— 4 comments
Qiaochu Yuan wrote 5 months ago: (A more appropriate title for this post would probably be “I hate Bourbaki,” but I like … more →
Reading Feferman 1991: Introduction
— 2 comments
jnne wrote 5 months ago: Feferman’s paper starts from the use of reflection principles. They would allow, notwithstandi … more →
Two Questions Regarding Hume's Account of Relations of Ideas
— 7 comments
Richard Brown wrote 7 months ago: I have always had two interpretational questions about Hume’s account of relations of ideas. T … more →
How to judge second order logic
jnne wrote 7 months ago: The examination of the categoricity theorem reveals a crucial presupposition. Omega-structures, the … more →
Why eliminative structuralism?
— 1 comment
jnne wrote 7 months ago: What is mathematics about? If `1+2=3′ is true and `3+2=1′ false, is it because there are … more →
Computer software as a philosophical pathology
— 4 comments
spinoza1111 wrote 8 months ago: I like words to live in familial groups because in differences there is meaning (this is an antiPlat … more →
"Infinity and Beyond"
Rico Vitz wrote 8 months ago: … a Philosophy Slam, featuring Mike Gagliardo (Jacksonville University) will take place tomorr … more →
amyranvary wrote 8 months ago: Mathematicians want to believe in unity, universality, certainty, and objectivity, as Americans want … more →
Sarcasm
— 1 comment
amyranvary wrote 9 months ago: Modern Mathematics has been sarcastically described as “answers to questions that nobody asked … more →
