Browsing All posts tagged under »Logicism«

Frege and Hume at Thanksgiving

October 2, 2018 by

0

It’s almost Thanksgiving here in Canada, so here’s a thanksgiving themed post about concepts from Frege and Neo-logicism. In his Grundlagen (1884), Frege proposes that the number that belongs to two concepts is the same just in case the objects falling under those concepts can be correlated one-to-one (i.e. they’re equinumerous). The formalization of that claim is […]

It’s a Small World: The Leśniewski-Sobociński Theorem.

February 21, 2018 by

4

The other day I was reading M. Resnik’s Frege and the Philosophy of Mathematics (1980). In discussing `Frege’s way out’, he mentions a proof by Leśniewski showing that Frege’s attempted fix to the system of the Grundgesetze is inconsistent, but gives a reference to a paper published by Sobociński in 1949. This intrigued me, as […]

Teaching as a Grad Student: Guest Lecturing on Logicism

April 26, 2017 by

Comments Off on Teaching as a Grad Student: Guest Lecturing on Logicism

I was recently given the opportunity to give a lecture on Frege’s logicism and related topics for our Logic III course (cross-listed as an undergraduate and a graduate course). That class had gotten up to the point of looking at second-order Peano Arithmetic, which is a natural jumping off point for looking at the logic […]

Grinworthy Quotes (12)

July 24, 2016 by

Comments Off on Grinworthy Quotes (12)

Here’s W. V. O. Quine discussing the fact that Frege didn’t adopt a type theoretic approach (like Russell and Whitehead’s) when faced with Russell’s paradox. Actually, it is not to be wondered that Frege did not think of this course, or, thinking of it, adopt it. It was by having all his classes at ground […]