Browsing Archives of Author » «

Open Logic Update: OER Week

March 9, 2018

0

This week (March 5-9, 2018) is OER week (OER stands for Open Educational Resources). As many of you know, I’ve been working on a free and open logic textbook, forallx: Calgary Remix. You can find my last update, including plenty of links, here. For OER week, Richard Zach and I gave a one hour workshop […]

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

February 21, 2018

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

Grinworthy Quotes 15

February 16, 2018

0

Frege on Euclidean geometry and axioms, but also astrology and alchemy. From his Nachlass*. Now the question is whether to strike Euclidean or non-Euclidean geometry from the ranks of science and to put it alongside of Alchemy and Astrology as mummies. Where one only let himself toy with ideas, he need not take things so […]

Grinworthy Quotes 14

January 18, 2018

0

In discussing the possibility of adopting category theory as a (the) foundations for mathematics, Jean-Pierre Marquis has this to say in his Stanford Encyclopedia article (2015): To use a well-known metaphor: from a categorical point of view, Neurath’s ship has become a spaceship. I hope there is a literature developing about Neurath’s spaceship.

Teaching Logic and Forallx Update

December 7, 2017

0

As many of you might remember, I taught the Logic I course here at UCalgary for the first time, and blogged about the experience here, here and here. You might also remember that I was involved in remixing a version of PD Magnus’ and Tim Button’s forallx open textbook for that course (see here and […]

The Further Adventures of Hero and Hera.

September 27, 2017

0

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

Grinworthy Quotes 13

August 9, 2017

0

Avicenna and Gentile da Foligno, woodcut (extract), edition of the Canon and its commentary by Gentile da Foligno, Venice 1520. Public domain via Wikipedia Commons     This gem: At Physics II.8, however, Avicenna had undertaken a detailed analysis and critique of the idea of void and found it empty… is on page 19 of Jon […]