Monthly Archives: July 2017

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

Ivana Gavrić, Chopin

I’ve very much admired Ivana Gavrić previous rightly praised discs (I wrote about the first two here in an earlier post, and you can find more about  them here). So I was really  looking forward to hearing her play in the intimate surroundings of the Fitzwilliam Museum in … Continue reading

Posted in Music | 1 Comment

Why mandatory reiteration in Fitch-style proofs?

Digressing from issues about the choice of language(s), another post about principles for selecting among natural deduction systems — another choice point, and (though I suppose relatively minor) one not considered by Pelletier and Hazen. Take the most trite of examples. It’s … Continue reading

Posted in IFL, Logic | 7 Comments

The language(s) of first-order logic #3

Back to those choice-points noted in the first of these three posts: one formal language for FOL or many? Tarski or quasi-substitutional semantics? use of symbols as parameters as opposed to names or variables to be syntactically marked? In the second … Continue reading

Posted in Logic | Leave a comment

The language(s) of first-order logic #2

One theme touched on the last post is whether the language for our preferred natural deduction system syntactically distinguishes symbols used as parameters in (UI) and/or (EE) proofs. Of the nine books I mentioned, two use distinct symbols for parameters, … Continue reading

Posted in Logic | 2 Comments

The language(s) of first-order logic #1

In presenting a formal theory of first-order logic for an introductory course — or, in my case, an introductory book — there are a lot of choices to be made, even once we’ve fixed on using a natural deduction proof system. (This paper by … Continue reading

Posted in Logic | 6 Comments

Truth trees for propositional logic

I’ve revised (and of course revised again, and re-revised!) the chapters on truth-trees for propositional logic for the second edition of my intro logic text. What took four chapters and forty pages has now become two chapters and twenty-eight pages, … Continue reading

Posted in IFL | 1 Comment