September 27, 2017 by Aaron Thomas-Bolduc
Comments Off on The Further Adventures of Hero and Hera.
Those familiar with the neo-logicism literature, may also be familiar with the characters Hero and Hera. Hero was introduced by Crispin Wright in the late `90s, and the story Hero and his sister Hera was fleshed out by Philip Ebert and Marcus Rossberg in 2007*. In that paper, we learn that Hero and Hera both […]
February 28, 2017 by Aaron Thomas-Bolduc
Comments Off on Goldilocks, Bad Company and some Slippery Fish
No this isn’t a terrible (amazing?) fairy tale. And no, the title isn’t (just) badly thought out clickbait. The Bad Company problem, the Goldilocks problem and the Problem of Fishiness are all problems I’m writing about in my dissertation. More specifically, the overarching idea is to look at ways of solving the Bad Company problem. […]
December 23, 2016 by Aaron Thomas-Bolduc
Comments Off on Call for Applications: Summer School on Mathematical Philosophy for Female Students
I was reminded by Alison’s post yesterday, that the Munich Center for Mathematical Philosophy (MCMP) has recently put out their call for applications for their summer school for women. It is the fourth iteration of this summer school, and this year’s lecturers are a veritable who’s who of mathematical philosophy. Applications are due March 5th, […]
November 5, 2015 by Aaron Thomas-Bolduc
Comments Off on Grinworthy Quotes (10)
Here’s other amusing line from Paul Benacerraf’s dissertation (Princeton, 1960, p. 182): It was in fact through [Cantor’s] interest in the infinite and in infinite numbers that he developed the theory of sets. The purpose was to make an honest woman of the infinite, a task held by most mathematicians of his time to be […]
October 8, 2015 by Aaron Thomas-Bolduc
Comments Off on Grinworthy Quotes (9)
I know it’s been a while since I’ve posted one of these — I’ve been reading some fairly dry material recently. The following quote is at the very beginning of Paul Benacerraf’s unpublished PhD dissertation (Princeton, 1960) which I’m reading as part of my dissertation research. The quote is attributed to an unnamed undergraduate student. […]
June 5, 2015 by Aaron Thomas-Bolduc
Comments Off on Grinworthy Quotes (8)
Here is another quote from John Burgess, this time from his book Fixing Frege (Princeton University Press: 2005). Anyone who reads logic/mathematics/philosophy of mathematics will have come across the phenomenon he’s talking about. Now it is a common mathematical practice, called “abuse of language,” to omit to distinguish notationally between items that are distinct notionally, […]
April 26, 2015 by Aaron Thomas-Bolduc
Comments Off on Hashtag_Octothorpe
A while back I was reading a paper by Bob Hale and Crispin Wright, first published in 2000 [1], in which they use the symbol “#” to denote an arbitrary matrix sentence. That was over half a decade before twitter went live. That symbol, variously known as the hash sign/symbol, the number sign, or octothorpe […]
March 14, 2015 by Aaron Thomas-Bolduc
Comments Off on Grinworthy Quotes (7)
Here is John Burgess’s amusing description of Quine’s view of mathematical ontology as motivated by the indispensability argument, from “Mathematics and the Bleak House” (Phil. Math. 12, 2004). Quine…urged a very different sort of reason for accepting the existence of numbers (or other abstract mathematical entities to which numbers could be “reduced”). According to Quine, […]
June 23, 2014 by Aaron Thomas-Bolduc
I work primarily in the philosophy and history of mathematics which has naturally led to discussion about the philosophy of mathematics with people outside my field, and outside of philosophy. In this post I will try to address, in a loose and (mostly) non-technical way, some of the questions that often arise in such discussions. […]
December 6, 2018 by Aaron Thomas-Bolduc
3