Browsing All posts tagged under »Logic«

Teaching as a Grad Student: Logic mid-Semester

March 13, 2017 by

2

This is the third installment of our occasional series: Teaching as a Grad Student. In the first installment, I discussed preparing to teach for the first time, as well as my first couple of weeks teaching logic. In the second installment, Alison discussed her experiences teaching philosophy of science. We’re just past the half-way point […]

Goldilocks, Bad Company and some Slippery Fish

February 28, 2017 by

0

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

Teaching as a Grad Student: Logic Week One

January 22, 2017 by

1

I have just started teaching my first course as instructor of record (i.e. I’m lecturing, not TAing), and I thought that this would be a good opportunity to start an occasional series on teaching as a graduate student. What follows are my thoughts after finishing my first (and now second) week of teaching. I plan […]

More About Forallx: Calgary Remix

January 18, 2017 by

0

The Winter 2017 edition of Forallx: Calgary remix has been out for a few weeks. Indeed, I’ve started teaching from it. Richard Zach has blogged about our progress here. Later this week I’ll be posting about my experience getting ready to teach “Logic I” for the first time, so stay tuned!   (Photo credit: Richard […]

Call for Applications: Summer School on Mathematical Philosophy for Female Students

December 23, 2016 by

0

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

An Open Source Logic Text

October 18, 2016 by

Comments Off on An Open Source Logic Text

The Open Logic Project, initiated by my supervisor, Richard Zach, is a project to produce a comprehensive free and open source intermediate logic text. More recently, Richard and I have been putting together a Calgary remix of forallx, a free and open source text for introductory logic, originally written by PD Magnus. Below is the […]

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