Author Archives: Peter Smith

Chiaroscuro: in dark times, some light

Dark times, in many too ways. Words can fail us. But Haydn’s inexhaustible humanity can be a comfort and inspiration, no? So let me recommend a recent CD of his music that I have so very much enjoyed, the Chiaroscuro … Continue reading

Posted in Music | Leave a comment

OUP philosophy book sale

In case you missed an announcement, OUP has a sale offer on philosophy books with 30% off across the board. (Go to the OUP site, click on the left at the top of the menu “Academical and Professional”). Neil Tennant’s … Continue reading

Posted in Books | 5 Comments

Core Logic

The revised, surely-more-natural, disjunction elimination rule mentioned in the last post is, of course, Neil Tennant’s long-standing proposal — and the quote about the undesirability of using explosion in justifying an inference like disjunctive syllogism is from him. This revision has, … Continue reading

Posted in Logic | 1 Comment

A more natural Disjunction Elimination rule?

We work in a natural deduction setting, and choose a Gentzen-style layout rather than a Fitch-style presentation (this choice is quite irrelevant to the point at issue). The standard Gentzen-style disjunction elimination rule encodes the uncontroversially valid mode of reasoning, … Continue reading

Posted in Logic | 6 Comments

MA Scholarship in Logic/Phil Math (Montreal)

Ulf Hlobil writes: “At Concordia University (Montreal), we want to do something about the gender imbalance in philosophy.  We offer specialized scholarships for female international students who are working ancient philosophy or logic and philosophy of mathematics.  Each scholarship is … Continue reading

Posted in This and that | Leave a comment

The Great Formal Machinery Works

I’d like to have had the time now to carefully read Jan von Plato’s new book and comment on it here, as the bits I’ve dipped into are very interesting. But, after a holiday break, I must get my nose … Continue reading

Posted in Books, This and that | Leave a comment

Postcard from the Lake District

After a week in the Lakes, here’s a photo taken walking back from Howtown to Pooley Bridge above Ullswater. Beautiful. Worries about Trump, Brexit, and even Begriffsschrift seem happily remote.

Posted in This and that | Leave a comment

Begriffsschrift and absolutely unrestricted quantification

We owe to Frege in Begriffsschrift our modern practice of taking unrestricted quantification (in one sense)  as basic. I mean, he taught us how to rephrase restricted quantifications by using unrestricted quantifiers plus connectives in the now familiar way, so that … Continue reading

Posted in Logic | 9 Comments

Jeanne Moreau, 23.i.1928 – 31.vii.2017

Posted in This and that | 1 Comment

Which is the quantifier?

A note on another of those bits of really elementary logic you don’t (re)think about from one year to the next – except when you are (re)writing an introductory text! This time, the question is which is the quantifier, ‘’ or ‘’, ‘’ or ‘’? Really exciting, … Continue reading

Posted in Logic | 4 Comments