Lexicon of Arguments

 

I 146
Model/Stalnaker: a model is a pair consisting of an object domain D and a valuation function V.
>Valuation function, >Domains.
I 149
Model: For our modal predicate logic is then a quadruple ‹W,R,D,v›.
D is the range function of W on the sets of individuals. For w ε W, Dw is the range of the world w.
Valuation function: the valuation function attributes intensions to descriptive expressions.
Intension: the intension here is a function of possible worlds on extensions.
>Intensions, >Extensions.
Necessity operator: The semantic rule of the necessity operator remains unchanged.
>Operators.
I 150
The rules for predicate logic are generalizations of the extensional rules. We only add an index for the worlds. E.g. rule for
Universal quantification/universal quantifier/Stalnaker:
IF Φ has the form ∀F, then is νs w (Φ) = 1 gdw. νs w(F) = D w. otherwise = 0.
>Quantification, >Universal quantification.