0
$\begingroup$

In Lindröm and Segerberg (2007) exposition of a Kripke model, with frame $F= \langle W,D,R,E,w_0\rangle$, they define an interpretation $I$ as

a family of functions $I_w$, where $w$ ranges over $W$, such that $I_w$ assigns a subset $I_w$$(P)$ of $D^n$ to each n-ary predicate constant $P$ of $L$ and an element $I_w$$(c)∈D$ to each individual constant $c$ of $L$.

Intuitively, $I$ should give us for every world the set of elements of $D$ that satisfies $P$ in that world. In this sense, I would have expected $I_w$(P) to be a set of ordered subsets of $D$ that satisfy $P$ in $w$. Now, my intuition of what $I$ should do does not correspond to how $I$ is defined. Shouldn't $I$ be defined as something along the lines of:

a family of functions $I_w$, where $w$ ranges over $W$, such that $I_w$ assigns a set $I_w$$(P)$ of ordered subsets $D^n$ to each n-ary predicate constant $P$ of $L$ etc.etc.?

Is my intuition of what $I$ should do wrong?

$\endgroup$
  • $\begingroup$ What I do not understand is why in the original definition is implied that only one set of elements satisfies P (if P is n-ary, then, it is said, P only identifies one subset with n elements). I would expect there to be a set of subsets, each subset being one of the set of elements of D that satisfy P. $\endgroup$ – fct Mar 29 '14 at 19:17
  • $\begingroup$ Sorry, I do not have the book you are referring to. Please, note that the subset $I_w(P)$ of $D^n$ is not a set with $n$ elements; it is a set of $n$-uple, because (in general) the predicate $P$ is an $n$-ary relation. In standard f-o semantics, we have a function $I$ such taht $I(P) \subseteq D^n$. With Kripke semantics we have a family of functions $I_w$ "indexed" by the "possible worlds" such that in each $w \in W$ : $I_w(P) \subseteq D^n$. $\endgroup$ – Mauro ALLEGRANZA Mar 29 '14 at 20:01
  • $\begingroup$ I've found a reference: I'll expand the answer. $\endgroup$ – Mauro ALLEGRANZA Mar 29 '14 at 20:14
  • $\begingroup$ On last comment : the function $I_w$ assign at $P$ a subset of $D$ that is not necessarily the same for each $w$: this is the reason why we need a family of functions $I_w$. We need a subset of $D^n$ in each $w$, in order to interpret the $n$-ary predicate $P$, but the associated set may be different from one "world" to another. The same for $c$: in every "world" we have a denotation, but the object $I_w(c)$ may be different fronm one $w$ to another. $\endgroup$ – Mauro ALLEGRANZA Mar 29 '14 at 20:31
2
$\begingroup$

The $w$ indexes elements in $W$, where the elements of $W$ are traditionally called possible worlds.

In each world $w \in W$ you have an "interpretation function" $I_w$ which interpret the constant $c$ of the language with an "object" $I_w(c) \in D$ and each ($n$-ary) predicate constant $P$ with a $n$-ary relation in $D$.

Please, notice that, being $P$ an $n$-ary predicate, its interpretation must be an $n$-ary relation in $D$, i.e. a subset of $D^n$.

There are no "deviations" from the standard semantics for f-o languages; the only addition is that there is no more a single domain (a "world") but a whole family of worlds.

From : Alan Berger (editor), Saul Kripke (2011), Chapter 5 : Kripke Models by John Burgess, page 119-on. See page 134:

Now a Kripke model for modal predicate logic will consist of five components, $\mathcal M = ( X , a , R , D , I )$. Here, as with modal sentential logic, $X$ will be a set of indices [your $W$], $a$ a designated index [your $w_0$], and $R$ a relation on indices [the "accessibility" relation]. As for $D$ and $I$ , the former will be a function assigning each $x \in X$ and set $D_x$ , the domain at index $x$ , while the latter will be a function assigning to each $x \in X$ and each predicate $F$ a relation $F_x^I$ , the interpretation of $F$ at $x$, of the appropriate number of places [emphasis mine].

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.