Browsing All posts tagged under »Lesniewski«

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

February 21, 2018 by


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 […]