Top News, Articles, and Interviews in Philosophy

Natural deduction for quantifier logic

Philosophy News image
It’s very late in the day, as I hope to get IFL2 finally off to the Press within the next fortnight or so. But since the natural deduction chapters are new to the second edition it is understandable (I hope!) that I am still worrying away at them, tinkering here and there. Here then is the latest version of the three main chapters on QL proofs. Any last minute corrections and/or helpful comments (other than, perhaps, “use a different proof system”!) will still be most welcome! One feature of the handling of QL proofs here is the sharp distinction made between dummy names (parameters) and fixed-interpretation proper names. As background, the reader will already be familiar with a Fitch-style system for propositional logic (pretty similar to The Logic Book‘s system, but with an absurdity constant and EFQ). The reader will also have done a lot of prior work on the language of QL, at least in an initial way,  hopefully coming to these chapters with a decent understanding of the quantifier/variable notation, and a lot of practice at translations. They won’t, however have met yet the identity predicate, and QL= proofs will come later. The post Natural deduction for quantifier logic appeared first on Logic Matters.

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus