November 18, 2015

In between wrapping up teaching for the end of Semester 2, and getting ready for a short trip to Scotland, I’m spending some time thinking about free logic and quantified modal logic and identity. This is difficult but exciting terrain to cover. There is no obvious way to tie together the logic of quantifiers, the modalities and identity in a way that commands broad appeal—there is no default quantified modal logic that has the same ‘market reach’ as classical first order logic.

This is a shame, because many important arguments involve quantification, identity and possibility and necessity—and claims about existence and nonexistence. Understanding the logic of these arguments better would help us gain some kind of systematic understanding of the positions in play. In the absence of a clear picture of the logic implicit in our concepts, we’re playing the dialectical game in ignorance of the rules.

Not that there’s anything wrong with that.

You can engage in a practice without an explicit understanding of the rules of that practice. (For many kinds of practice, that is the only way to start. Think of learning your first language.) Nonetheless, making the practice explicit, and reflecting on the rules of that practice gives the participant a kind of skill that she might not have had before—an ability to comprehend the possibilities, and the boundary between what is allowed and what is not.

These thoughts came to mind when I read Alexander Pruss’s thoughts on free logic and modal logic in his blog post “Existential commitments of first order Logic”. There he considers the fact that names in first order logic are existentially committing, and which seems undesirable, since objects so named need not exist necessarily. He comes to terms with this tension by concluding that languages involve presuppositions, and there is no issue in granting a language with contingent presuppositions—including classical first order logic when the names are applied to contingently existing things. He concludes:

“We could search for a logic without presuppositions. That’s a worthwhile quest, and leads to exploring various free logics. But we shouldn’t go overboard in worrying about the metaphysical consequences if we don’t find a good one. Likewise, we shouldn’t worry too much if we can’t find a satisfactory quantified modal logic. These are just tools. Nice to have, but people have done just fine with modal and other arguments for centuries without much of a formal logic.”

— Alexander Pruss on Existential commitments of First Order Logic

This is a sensible conclusion. There is nothing wrong, per se, in reasoning about possibility and necessity and existence and nonexistence and identity, etc., without a clear picture of consequences of the claims you are making. Insofar as you have a clear understanding of what follows from what is said, you have a logic. Insofar as you don’t have a logic, you don’t have a clear understanding of what positions are consistent and which are not. Speaking a language with significant contingent presuppositions is not invariably a problem—but when you’re engaged in an argument about those very presuppositions, there comes a time when you have to get as clear about them as you can. That’s when you find yourself doing some logic.

It’s not an easy task, but it’s worthwhile. That’s what I’m spending some time on over the next few weeks.

HUGOMORE42


← Logic at Melbourne finally has a presence on the web | News Archive | On Priest on nonmonotonic and inductive logic →

about

I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.

elsewhere

subscribe

To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.

search