# Re: modal logic and possible worlds

From: Wei Dai <weidai.domain.name.hidden>
Date: Wed, 14 Aug 2002 10:11:25 -0700

On Wed, Aug 14, 2002 at 04:38:45PM +0200, Bruno Marchal wrote:
> Your general question was "Why using modal logic when
> quantifying on worlds is enough". My basic answer was
> that Kripke's possible world semantics works only on a
> subset of the possible modal logics.

Let me generalize my question then. Is it true that for any modal logic
that has a semantics, any sentence in that logic has a corresponding
sentence in non-modal quantificational logic with the same meaning? In
other words, are there any modal sentences whose meaning cannot be
expressed by quantifying directly on the appropriate objects?

> You can do modal logics without semantics. In fact modal
> logic appeared because of apparent existence of modalities.
> The main one is "possible" and "necessary". But others
> occurred like "permitted" and "obligatory"; "provable" and
> consistent", "believable" and "imaginable", etc.
> The fundamental motivation of a logician is to give purely
> syntactical formula and rules for manipulating formula so that
> we can reason and communicating reasoning *without* any
> meaning. The traditional joke is that a logician does not
> want understand what he talk about!

Before the invention of possible world semantics, people had to reason
about modalities on a purely syntactical basis. Are there still modal
logics for which no semantics is known?

We know that in general syntactical formulas and rules are not powerful
enough to always let us reason without meaning, because the set of
mathematical truths that are derivable syntactically from a fixed set of
axioms is just a subset of all mathematical truths. The rest can only be
obtained by considering the semantic consequences of the axioms. I think
the point of syntax is just to give us a way to obtain at least some of
the truths through syntactical manipulation - a way to grab the
low-hanging fruit.
Received on Wed Aug 14 2002 - 10:15:33 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST