Abstract
When it comes to Kripke-style semantics for quantified modal logic, there’s a choice to be made concerning the interpretation of the quantifiers. The simple approach is to let quantifiers range over all possible objects, not just objects existing in the world of evaluation, and use a special predicate to make claims about existence (an existence predicate). This is the constant domain approach. The more complicated approach is to assign a domain of objects to each world. This is the varying domain approach. Assuming that all terms denote, the semantics of predication on the constant domain approach is obvious: either the denoted object has the denoted property in the world of evaluation, or it hasn’t. On the varying domain approach, there’s a third possibility: the object in question doesn’t exist. Terms may denote objects not included in the domain of the world of evaluation. The question is whether an atomic formula then should be evaluated as true or false, or if its truth value should be undefined. This question, however, cannot be answered in isolation. The consequences of one’s choice depends on the interpretation of molecular formulas. Should the negation of a formula whose truth value is undefined also be undefined? What about conjunction, universal quantification and necessitation? The main contribution of this paper is to identify two partial semantics for logical operators, a weak and a strong one, which uniquely satisfy a list of reasonable constraints (Theorem 2.1). I also show that, provided that the point of using varying domains is to be able to make certain true claims about existence without using any existence predicate, this result yields two possible partial semantics for quantified modal logic with varying domains.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
When it comes to the semantics for quantified modal logic, there’s a choice to be made concerning the interpretation of the quantifiers. The simple approach is to let quantifiers range over all possible objects, not just objects existing in the world of evaluation, and use a special predicate to make claims about existence (an existence predicate). This is the constant domain approach. The more complicated approach is to assign a domain of objects to each world. That is the varying domain approach.
Allegedly, the problem with the simple approach is that it makes for an unnatural interpretation of the quantifiers, allowing us to truthfully say things like
-
(1)
There are things that don’t exist.
which, on the face of it, seems contradictory. On the other hand, one might want to distinguish between there is and exists. To take an example borrowed from E. N. Zalta, it seems we can truthfully say things like
-
(2)
There are literary characters that, although they don’t exist, continue to inspire many readers.
Assuming that all terms denote, the semantics of predication on the constant domain approach is obvious: either the denoted object has the denoted property in the world of evaluation, or it hasn’t. On the varying domain approach, there’s a third possibility: the object in question doesn’t exist. Terms may denote objects not included in the domain of the world of evaluation. The question is whether an atomic formula then should be evaluated as true or false, or if its truth value should be undefined. Leaving it undefined will have ramifications for the interpretation of various operators. Should the negation of a formula whose truth value is undefined also be undefined? What about conjunction, universal quantification and necessitation? The same questions arise for non-denoting terms (e.g. definite descriptions such as the present King of France). Unfortunately, it’s common to lump these two phenomena together under the label empty terms, i.e. terms that either denote something outside the domain of quantification, or don’t denote anything at all.Footnote 1 I can see no obvious reason why these should be treated in a unified fashion, so I will not. For my purposes, I will assume that the truth value of an atomic formula containing a non-denoting term is undefined. Under that assumption, I will investigate what the value of an atomic formula containing terms denoting something outside the domain of the world of evaluation should be.
2 Quantified Modal Logic
We begin by introducing some standard notions. Let \(\mathcal {L}_{\Box }\) be a language of first order logic extended by a sentence-forming operator □ (box), where the intended interpretation of □φ is something like It’s necessarily the case that φ. Furthermore, let \(\mathcal {L}_{\Box \displaystyle \iota }\) be \(\mathcal {L}_{\Box }\) extended by a term-forming quantifier ι (inverted iota), where the intended interpretation of ιφ is something like the object such that φ. So, for instance, the denotation of the present king of France shall be undefined. We shall take the operators ¬, ∧, ∀ and □ as primitive, and treat other operators such as ∨, ∃ and ♢ as abbreviations in the usual way. We introduce the notion of a frame, and define the notion of a model or interpretation of \(\mathcal {L}_{\Box \displaystyle \iota }\) (and its fragment \(\mathcal {L}_{\Box }\)) in terms of it:
Definition 2.1 (Frame)
A frame is a quadruple \(\mathcal {F}=\langle W,D,\mathit {Dom},R \rangle \), where W is a non-empty set (a set of possible worlds), R is a binary relation on W (an accessibility relation), D is a non-empty set (a domain of possible objects) and \(\mathit {Dom}:W \to \mathcal {P}(D)\) is a function assigning a set of objects to each world (the set of objects existing in that world). A constant frame is a frame \(\mathcal {F}=\langle W,D,\mathit {Dom},R \rangle \) such that \(\mathit {Dom}(w)=\mathit {Dom}(w^{\prime })=D\) for all \(w,w^{\prime } \in W\).
Definition 2.2 (Model)
A model of \(\mathcal {L}_{\Box \displaystyle \iota }\) is a tuple \(\mathcal {M}=\langle \mathcal {F},I \rangle \), where \(\mathcal {F}=\langle W,D,\mathit {Dom},R \rangle \) is a frame and I is a function taking names and predicates as arguments (an interpretation function). If a is a name, then I(a) ∈ D. If P is an n-place predicate, then \(I(P):W \to \mathcal {P}(D^{n})\). In particular, if P is the identity predicate, then I(P)(w) = {〈a, a〉 : a ∈ D} for all w ∈ W. A constant model of \(\mathcal {L}_{\Box }\) is a model \(\mathcal {M}=\langle \mathcal {F},I \rangle \) such that \(\mathcal {F}\) is a constant frame.
The semantics for \(\mathcal {L}_{\Box }\) with respect to constant models is straightforward:
Definition 2.3 (Constant semantics)
We say that, for any constant model \(\mathcal {M}\,=\,\langle W,D,\) Dom, R, I〉, world w ∈ W and assignment function g from the set of variables to D,
-
1.
If t is a name, then \(\llbracket t \rrbracket _{\mathcal {M},w,g}=I(t)\).
-
2.
If t is a variable, then \(\llbracket t \rrbracket _{\mathcal {M},w,g}=g(t)\).
-
3.
If t1, ... , tn are terms and P is an n-place predicate, then we have \(\llbracket Pt_{1}...t_{n} \rrbracket _{\mathcal {M},w,g}\) = 1 iff \(\langle \llbracket t_{1} \rrbracket _{\mathcal {M},w,g},...,\llbracket t_{n} \rrbracket _{\mathcal {M},w,g} \rangle \in I(P)(w)\).
-
4.
\(\llbracket \neg \varphi \rrbracket _{\mathcal {M},w,g}= 1\) iff \(\llbracket \varphi \rrbracket _{\mathcal {M},w,g}= 0\).
-
5.
\(\llbracket \varphi \wedge \psi \rrbracket _{\mathcal {M},w,g}= 1\) iff \(\llbracket \varphi \rrbracket _{\mathcal {M},w,g}= 1\) and \(\llbracket \psi \rrbracket _{\mathcal {M},w,g}= 1\).
-
6.
\(\llbracket \forall x \varphi \rrbracket _{\mathcal {M},w,g}= 1\) iff, for all d ∈ D, \(\llbracket \varphi \rrbracket _{\mathcal {M},w,g[d/x]}= 1\).
-
7.
\(\llbracket \Box \varphi \rrbracket _{\mathcal {M},w,g}= 1\) iff, for all \(w^{\prime } \in W\) s.t. \(wRw^{\prime }\), \(\llbracket \varphi \rrbracket _{\mathcal {M},w^{\prime },g}= 1\).
where g[d/x] is just like g except that g[d/x](x) = d. For sentences, we say that \(\llbracket \varphi \rrbracket _{\mathcal {M},w}= 1\) iff, for any assignment g, \(\llbracket \varphi \rrbracket _{\mathcal {M},w,g}= 1\).
When it comes to non-constant models, we have to take account of cases where terms denote something outside the domain of the world of evaluation. How should we do that, assuming a classical approach? To answer this question, it’s helpful to consider three-valued logic. Apart from the usual truth values 0 and 1, we introduce a third value u, to be thought of as undefined. It will be assumed throughout that u does not belong to any domain of any model. We then introduce the following notions:
Definition 2.4 (Logical interpretations)
A logical interpretation is a tuple \(\mathsf {i}=\langle \mathsf {i}_{\neg },\mathsf {i}_{\wedge },\mathsf {i}_{\forall },\mathsf {i}_{\Box }\ \rangle \), where
-
1.
i¬ : {0, 1, u} → {0, 1, u}.
-
2.
i∧ : {0, 1, u} × {0, 1, u} → {0, 1, u}.
-
3
\(\mathsf {i}_{\forall }: \mathcal {P}(\{0,1,\mathsf {u}\}) \to \{0,1,\mathsf {u}\}\).
-
4
\(\mathsf {i}_{\Box }: \mathcal {P}(\{0,1,\mathsf {u}\}) \to \{0,1,\mathsf {u}\}\).
Definition 2.5 (General semantics)
Let i be a logical interpretation, and let q, r ∈ {0, 1, u}. For any model \({\mathcal {M}=\langle W,R,D,\mathit {Dom},I \rangle }\), world w ∈ W and assignment g,
-
1.
If t is a name, then \(\llbracket t \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=I(t)\).
-
2.
If t is a variable, then \(\llbracket t \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=g(t)\).
-
3.
If x is a variable and φ is a formula, then
-
(a)
\(\llbracket \displaystyle \iota x \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=d\) if
-
i.
d ∈ Dom(w) and \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d/x]}= 1\), and
-
ii.
for all \(d^{\prime } \in \mathit {Dom}(w)-\{d\}\), \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d^{\prime }/x]} \neq 1\).
-
i.
-
(b)
\(\llbracket \displaystyle \iota x \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\mathsf {u}\) otherwise.
-
(a)
-
4.
If t1, ... , tn are terms, P is an n-place predicate and \(X\,=\,\langle \llbracket t_{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g},...,\) \(\llbracket t_{n} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \rangle \), then
-
(a)
If X ∈ Dn, then
-
i.
\(\llbracket Pt_{1}...t_{n} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 1\) if X ∈ Dom(w)n and X ∈ I(P)(w).
-
ii.
\(\llbracket Pt_{1}...t_{n} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 0\) if X ∈ Dom(w)n and X ∉ I(P)(w).
-
iii.
\(\llbracket Pt_{1}...t_{n} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=p\) if X ∉ Dom(w)n and X ∈ I(P)(w).
-
iv.
\(\llbracket Pt_{1}...t_{n} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=q\) if X ∉ Dom(w)n and X ∉ I(P)(w).
-
i.
-
(b)
If X ∉ Dn, then \(\llbracket Pt_{1}...t_{n} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\mathsf {u}\).
-
(a)
-
5.
\(\llbracket \neg \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\mathsf {i}_{\neg } (\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g})\).
-
6.
\(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\mathsf {i}_{\wedge }(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g},\llbracket \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g})\)
-
7.
\(\llbracket \forall x \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\mathsf {i}_{\forall }(\{ \llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d/x]}:d \in \mathit {Dom} (w) \})\)
-
8.
\(\llbracket \Box \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\mathsf {i}_{\Box } (\{ \llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w^{\prime },g}:w^{\prime } \in W \text { s.t. } wRw^{\prime } \})\)
To see how this is supposed to work, consider the following example:
Example 2.1
Let \(\mathcal {M}\) be a constant domain model with worlds W = {w1, w2}, domain D = {d1, d2} and R universal, and let i be a logical interpretation. Suppose φ is a formula such that \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}\,=\,1\) and \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{2},g}\,=\,\mathsf {u}\), \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g[d_{1}/x]}\,=\,1\) and \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g[d_{2}/x]}\,=\,0\). Then \(\llbracket \Box \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}=\mathsf {i}_{\Box }(\{1,\mathsf {u}\})\) and \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}=\) i∀({1, 0})
For full generality, we should perhaps have assumed that i∀ and \(\mathsf {i}_{\Box }\) are functions from the set of sequences of 0, 1 and u to {0, 1, u}. Here, we make the simplifying assumption that the order and number of occurrences (above one) of a particular truth value doesn’t matter. This assumptions is motivated by the fact that the corresponding assumption is made in the bivalent case.
The question we’re most interested in is what the value of p and q should be. The route taken by for instance [1, p. 102] is to let p = 1 and q = 0, yielding a total semantics. The route taken by [2, pp. 53-54] is to let q = u.Footnote 2 There are, however, at least seven other options to consider. In order to rule any of them out, we will need to have some idea of what a logical interpretation should be like. First of all, if the general semantics is going to agree with the constant semantics on the class of constant models, we have to require that the logical interpretations are normal, in the following sense:
Definition 2.6 (Normal logical interpretations)
A logical interpretation i is normal iff the following obtains:
-
1.
i¬(1) = 0 and i¬(0) = 1.
-
2.
i∧(1, 1) = 1 and i∧(1,0) = i∧(0, 1) = i∧(0,0) = 0.
-
3.
i∀({1}) = 1 and i∀({0}) = i∀({0, 1}) = 0 and i∀(∅) = 1.
-
4.
\(\mathsf {i}_{\Box }(\{1\})= 1\) and \(\mathsf {i}_{\Box } (\{0\})=\mathsf {i}_{\Box } (\{0,1\})= 0\) and \(\mathsf {i}_{\Box }(\emptyset )= 1\).
To narrow down the list of logical interpretations further, it’s reasonable to require that they respect certain classical equivalences. Unfortunately, however, it can be shown that no partial semantics respects every classical equivalence:
Fact 2.1
If p = u or q = u, then there’s no normal logical interpretation i such that, for every classically equivalent formula φ and ψ and every model \(\mathcal {M}\) and world w, \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w}=\llbracket \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w}\).
Proof
Assume, toward contradiction, that i is normal and respects every classical equivalence. In particular, it satisfies principles 1 – 5. As in the proof of Lemma A.1 in the Appendix, it follows that i¬(u) = u, i∧(u, u) = u and i∧(1, u) = u. Hence, with \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w}= 1\) and \(\llbracket \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w}=\mathsf {u}\), we thus obtain \(\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w} \neq \llbracket \varphi \wedge \neg (\psi \wedge \neg \psi ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w}=\mathsf {u}\), contradicting our assumption. □
In view of this fact, we shall prioritize equivalences with essentially the same non-logical syntactic material present on both sides of the equation. Because intuitively, whatever syntactic input that gives rise to evaluation failure should also give rise to it in a classically equivalent configuration. We shall therefore require that logical interpretations are nice, in the following sense:
Definition 2.7 (Nice logical interpretations)
A logical interpretation i is nice iff it’s normal and, for every model \(\mathcal {M}\), world w, assignment g and formulas φ , ψ, θ, the following 9 principles are satisfied:
-
1.
\(\llbracket \neg \neg \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
2.
\(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket \psi \wedge \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
3.
\(\llbracket \varphi \wedge \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
4.
\(\llbracket \varphi \wedge (\psi \wedge \theta ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket (\varphi \wedge \psi ) \wedge \theta \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
5.
\(\llbracket (\varphi \wedge \theta ) \vee (\psi \wedge \theta ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket (\varphi \vee \psi ) \wedge \theta \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
6.
If Dom(w) ≠ ∅ and x isn’t free in φ, then \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
7.
\(\llbracket \forall x(\varphi \wedge \psi ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket \forall x\varphi \wedge \forall x \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
7
\(\llbracket \Box (\varphi \wedge \psi ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket \Box \varphi \wedge \Box \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
-
8.
If W = {w} and wRw, then \(\llbracket \Box \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\llbracket \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
We can now show the following:
Theorem 2.1
If p = u or q = u, then the only nice logical interpretations are w and s, defined as follows:
For a proof, see Appendix A.1. As indicated by the choice of letters, w is an extension of Kleene’s weak three-valued propositional logic, whereas s is an extension of the strong one.
Finally, we are in a position so say something about the value of q. For [3], the point of introducing varying domain semantics was to invalidate the so called Barcan formula:
-
(3)
\(\forall x \Box \varphi \to \Box \forall x \varphi \).
The Barcan formula, and its converse, are both valid on the constant domain semantics. But the validity of the Barcan formula and its converse is only problematic if one reads ∀ as for every existing object rather than for every possible object. In other words, if one believes that it’s possible to make claims about existence without using an existence predicate. Arguably, the point of using varying domains is to be able to do just that. In particular, to be able to truthfully say things like
-
(4)
Everything is such that it could have failed to exist, although it’s necessary that something exists.
if such be the case, using only quantifiers and the identity predicate, respectively:
-
(5)
\(\forall x \Diamond \neg \exists y(y=x) \wedge \Box \exists x(x=x)\).
But in order for this to be possible, we have to require that q = 0. Because if q ≠ 0 and i ∈ {w, s}, (5) will never be true (see Fact A.1 in the Appendix).
As for the value of p, this is only relevant if one has a model where the extension of a predicate in a world contain things not existing in that world. Presumably, the point of allowing such models is to to be able to truthfully say things like
-
(6)
Someone exists that could have been dead, although it’s necessary that everyone who exists isn’t dead.
i.e.
-
(7)
\(\exists x \Diamond Px \wedge \Box \forall x \neg Px\).
In order for this to be possible when q = 0 and i ∈ {w, s}, we have to require that p = 1 (see Fact A.2 in the Appendix). All in all, this leaves us with only two possible partial semantics for \(\mathcal {L}_{\Box \displaystyle \iota }\), namely the ones given in Definition 2.5 when p = 1, q = 0 and i ∈ {w, s}.
3 Conclusion
When it comes to partial semantics, there’s no way of preserving every classical equivalence between formulas (Fact 2.1). If one has to choose, it seems reasonable to prioritize equivalences where essentially the same syntactic material is present on both sides of the equation. Doing so yields two possible interpretations of the logical operators, which are extensions of Kleene’s weak and strong semantics for propositional logic, respectively (Theorem 2.1). This is our main result. Provided that the point of using varying domains is to be able to make certain true claims about existence, e.g. (4) and (6), without using any existence predicate, this yields a total of two possible partial semantics for quantified modal logic, a weak and a strong one.
Notes
See, for instance, [4].
Since they restrict the domain of interpretation to the domain of quantification for each world, the value of p is irrelevant in their case.
References
Fitting, M., & Mendelsohn, R.L. (1998). First-order modal logic. Dordrecht: Kluwer Academic.
Gamut, L.T.F. (1991). Logic, language, and meaning. Vol. 2, Intensional logic and logical grammar. Chicago: University of Chicago Press.
Kripke, S.A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16(1963), 83–94.
Nolt, J. (2014). Free logic. In Zalta, E.N. (Ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2014 edition.
Acknowledgments
I want to thank Graeme Forbes, Peter Pagin, Dag Westerståhl and the participants of the November 25 2016 CLLAM seminar at the Department of Philosophy at Stockholm University for comments on earlier versions of this paper. Especially, I want to thank an anonymous referee for comments and suggestions during the review process.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
1.1 A.1 Nice Logical Interpretations
We prove Theorem 2.1.
Lemma A.1
If i is nice and p = u or q = u, then i¬ = w¬ = s¬ and either i∧ = w∧ or i∧ = s∧.
Proof
Assume that i is nice. If q = u, let \({\mathcal {M}=\langle W,D,\mathit {Dom},R,I \rangle }\) be a model such that W = {w}, D = {d, e}, Dom(w) = {d} and I(P)(w) = {d}. If p = u, let I(P)(w) = D instead. Let g be an assignment such that g(x) = d and g(y) = e. In either case, we have \(\llbracket Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 1\), \(\llbracket \neg Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 0\) and \(\llbracket Py \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}=\mathsf {u}\).
Let φ be Px and ψ be Py. By principle 1, i¬ = w¬ = s¬. Otherwise we get \({\llbracket \neg \neg \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}}\). By principle 3, i∧(u, u) = u. Otherwise we get \({\llbracket \psi \wedge \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}}\). By principle 2, i∧(a, b) = i∧(b, a) for any a, b ∈ {0, 1, u}. Otherwise we either get \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \psi \wedge \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\) or \(\llbracket \neg \varphi \wedge \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \psi \wedge \neg \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). By principle 4, i∧(0, u) ≠ 1. Otherwise \(\llbracket \neg \varphi \wedge (\neg \varphi \wedge \psi ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket (\neg \varphi \wedge \neg \varphi ) \wedge \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). Also, by principle 4, if i∧(0, u) = u, it’s required that i∧(1, u) = u. Otherwise we get \(\llbracket \neg \varphi \wedge (\varphi \wedge \psi ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket (\neg \varphi \wedge \varphi ) \wedge \psi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). Finally, by principle 5, if i∧(0, u) = 0, then i∧(1, u) = u. Otherwise \(\llbracket (\neg \varphi \wedge \varphi ) \vee (\psi \wedge \varphi ) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket (\neg \varphi \vee \psi ) \wedge \varphi \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). Hence, i∧ = w∧ or i∧ = s∧. □
Lemma A.2
If i is nice, then
-
1.
if i∧ = w∧, then i∀ = w∀.
-
2.
if i∧ = s∧, then i∀ = s∀ and \(\mathsf {i}_{\Box }(\{\mathsf {u}\})=\mathsf {u}\).
Proof
Assume that i is nice. Let \({\mathcal {M}=\langle W,D,\mathit {Dom},R,I \rangle }\) be a model such that
-
W = {w}, D = {d1, d2, d3}, Dom(w) = D, R = W2.
-
I(A)(w) = ∅.
-
I(F)(w) = {d3}, I(G)(w) = {d2, d3} and I(H)(w) = D.
-
I(P)(w) = {〈d1, d1〉, 〈d2, d2〉} and I(Q)(w) = {〈d3, d3〉}.
Then, for any assignment g,
-
\(\llbracket Fx \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{1}/x]}= 0\), \(\llbracket Fx \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{2}/x]}= 0\), \(\llbracket Fx \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{3}/x]}= 1\).
-
\(\llbracket Gx \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{1}/x]}= 0\), \(\llbracket Gx \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{2}/x]}= 1\), \(\llbracket Gx \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{3}/x]}= 1\).
-
\(\llbracket H(\displaystyle \iota y Pxy) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{1}/x]}= 1\), \(\llbracket H(\displaystyle \iota y Pxy) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{2}/x]}= 1\),\(\llbracket H(\displaystyle \iota y Pxy) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{3}/x]}=\mathsf {u}\).
-
\(\llbracket H(\displaystyle \iota y Qxy) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{1}/x]}=\mathsf {u}\), \(\llbracket H(\displaystyle \iota y Qxy) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{2}/x]}=\mathsf {u}\),\(\llbracket H(\displaystyle \iota y Qxy) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{3}/x]}= 1\).
-
\(\llbracket H(\displaystyle \iota x Ax) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{1}/x]}=\mathsf {u}\), \(\llbracket H(\displaystyle \iota x Ax) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{2}/x]}=\mathsf {u}\),\(\llbracket H(\displaystyle \iota x Ax) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d_{3}/x]}=\mathsf {u}\).
Let
-
φ1 = Fx and ψ1 = H(ιyPxy).
-
φ2 = Gx and ψ2 = H(ιyPxy).
-
φ3 = H(ιyPxy) and ψ3 = H(ιyQxy).
-
θ = H(ιxAx).
By principle 6, i∀({u}) = u. Otherwise \(\llbracket \forall x \theta \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \theta \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). By principle 7, i∀({u}) = i∀({1, u}). Otherwise \(\llbracket \forall x(\varphi _{3} \wedge \psi _{3}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_,g} \neq \llbracket \forall x \varphi _{3} \wedge \forall x \psi _{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). By Lemma A.1, there are two cases to consider:
-
1.
i∧ = w∧. By principle 7, i∀({0, u}) = u and i∀({0, 1, u}) = u. Otherwise \(\llbracket \forall x(\varphi _{1} \wedge \psi _{1}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \forall x \varphi _{1} \wedge \forall x \psi _{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\) or \(\llbracket \forall x(\varphi _{2} \wedge \psi _{2}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \forall x \varphi _{2} \wedge \forall x \psi _{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). Hence, i∀ = w∀.
-
2.
i∧ = s∧. By principle 7, i∀({0, u}) = 0 and i∀({0, 1, u}) = 0. Otherwise \(\llbracket \forall x(\varphi _{1} \wedge \psi _{1}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \forall x \varphi _{1} \wedge \forall x \psi _{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\) or \(\llbracket \forall x(\varphi _{2} \wedge \psi _{2}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \forall x \varphi _{2} \wedge \forall x \psi _{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\). Hence, i∀ = s∀.
Finally, by principle 9, \(\mathsf {i}_{\Box }(\{\mathsf {u}\})=\mathsf {u}\). Otherwise \(\llbracket \Box \theta \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq \llbracket \theta \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}\).
□
Lemma A.3
If i is nice and p = u or q = u, then
-
1.
if i∧ = w∧, then \(\mathsf {i}_{\Box }=\mathsf {w}_{\Box }\).
-
2.
if i∧ = s∧, then \(\mathsf {i}_{\Box }=\mathsf {s}_{\Box }\).
Proof
Assume that i is nice and that i∧ = w∧ or i∧ = s∧. By Lemma A.1, i¬ = w¬ = s¬. By Lemma A.2, \(\mathsf {i}_{\Box }(\{1,\mathsf {u}\})=\mathsf {u}\). Now, if q = u, consider a model \({\mathcal {M}=\langle W,D,\mathit {Dom},R,I \rangle }\) such that
-
W = {w1, w2, w3}, D = {d1, d2, d3}, Dom(w1) = {d1, d2}, Dom(w2) = {d1, d2}, Dom(w3) = {d1, d3}, R = W2.
-
I(c1) = d1, I(c2) = d2, I(c3) = d3.
-
I(F)(w1) = ∅, I(F)(w2) = ∅, I(F)(w3) = Dom(w3).
-
I(G)(w1) = ∅, I(G)(w2) = Dom(w2), I(G)(w3) = Dom(w3).
-
I(H)(w1) = Dom(w1), I(H)(w2) = Dom(w2), I(H)(w3) = Dom(w3).
If p = u, let I(H)(w1) = I(H)(w2) = I(H)(w3) = D instead. In either case, for any assignment g, it follows by Lemma A.1 that
-
\(\llbracket Fc_{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}= 0\), \(\llbracket Fc_{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{2},g}= 0\), \(\llbracket Fc_{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{3},g}= 1\).
-
\(\llbracket Gc_{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}= 0\), \(\llbracket Gc_{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{2},g}= 1\), \(\llbracket Gc_{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{3},g}= 1\).
-
\(\llbracket Hc_{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}= 1\), \(\llbracket Hc_{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{2},g}= 1\), \(\llbracket Hc_{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{3},g}=\mathsf {u}\).
-
\(\llbracket Hc_{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}=\mathsf {u}\), \(\llbracket Hc_{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{2},g}=\mathsf {u}\), \(\llbracket Hc_{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{3},g}= 1\).
-
\(\llbracket \neg Hc_{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}= 0\), \(\llbracket \neg Hc_{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{2},g}= 0\), \(\llbracket \neg Hc_{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{3},g}=\mathsf {u}\).
-
\(\llbracket Hc_{2} \wedge Hc_{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}=\mathsf {u}\), \(\llbracket Hc_{2} \wedge Hc_{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{2},g}=\mathsf {u}\), \(\llbracket Hc_{2} \wedge Hc_{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{3},g}=\mathsf {u}\).
Let
-
φ1 = Fc1 and ψ1 = Hc2.
-
φ2 = Gc1 and ψ2 = Hc2.
-
φ3 = Hc2 and ψ3 = Hc3.
-
φ4 = ¬Hc2 and ψ4 = Hc2 ∧ Hc3.
First we observe that, by principle 8, \(\mathsf {i}_{\Box }(\{\mathsf {u}\})=\mathsf {i}_{\Box }(\{1,\mathsf {u}\})\). Otherwise we get \(\llbracket \Box (\varphi _{3} \wedge \psi _{3}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g} \neq \llbracket \Box \varphi _{3} \wedge \Box \psi _{3} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}\). Next, we consider each case in turn:
-
1.
Assume that i∧ = w∧. By principle 8, \(\mathsf {i}_{\Box }(\{0,\mathsf {u}\})=\mathsf {u}\) and \(\mathsf {i}_{\Box }(\{0,1,\mathsf {u}\})=\mathsf {u}\). Otherwise \(\llbracket \Box (\varphi _{1} \wedge \psi _{1}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g} \neq \llbracket \Box \varphi _{1} \wedge \Box \psi _{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}\) or \(\llbracket \Box (\varphi _{2} \wedge \psi _{2}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g} \neq \llbracket \Box \varphi _{2} \wedge \Box \psi _{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}\). From \(\mathsf {i}_{\Box }(\{0,\mathsf {u}\})=\mathsf {u}\), it follows by principle 8 that \(\mathsf {i}_{\Box }(\{ \mathsf {u} \})=\mathsf {u}\). Otherwise \(\llbracket \Box (\varphi _{4} \wedge \psi _{4}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g} \neq \llbracket \Box \varphi _{4} \wedge \Box \psi _{4} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}\). Hence, \(\mathsf {i}_{\Box }= \mathsf {w}_{\Box }\).
-
2.
Assume that i∧ = s∧. By Lemma A.2, \(\mathsf {i}_{\Box }(\{\mathsf {u}\})=\mathsf {u}\). By principle 8, \(\mathsf {i}_{\Box }(\{0,\mathsf {u}\})= 0\) and \(\mathsf {i}_{\Box }(\{0,1,\mathsf {u}\})= 0\). Otherwise \(\llbracket \Box (\varphi _{1} \wedge \psi _{1}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g} \neq \llbracket \Box \varphi _{1} \wedge \Box \psi _{1} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}\) or \(\llbracket \Box (\varphi _{2} \wedge \psi _{2}) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g} \neq \llbracket \Box \varphi _{2} \wedge \Box \psi _{2} \rrbracket ^{\mathsf {i}}_{\mathcal {M},w_{1},g}\). Hence, \(\mathsf {i}_{\Box }= \mathsf {s}_{\Box }\).
□
Lemma A.4
w and s are nice.
Proof
w and s obviously satisfy principles 1–3 and 9. As for principles 4 and 5, let w∨(a, b) = dfw¬(w∧(w¬(a), w¬(b))) and s∨(a, b) = dfs¬(s∧(s¬(a), s¬(b))). It’s then easy to verify that, for each a, b, c ∈ {0, 1, u},
-
1.
-
(a)
w∧(a, w∧(b, c)) = w∧(w∧(a, b), c).
-
(b)
s∧(a, s∧(b, c)) = s∧(s∧(a, b), c).
-
(a)
-
2.
-
(a)
w∨(w∧(a, c), w∧(b, c)) = w∧(w∨(a, b), c).
-
(b)
s∨(s∧(a, c), s∧(b, c)) = s∧(s∨(a, b), c).
-
(a)
As for principle 7, we consider each interpretation in turn:
-
1.
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\) and \(\llbracket \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\). Hence, we have \(\llbracket \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 1\) and \(\llbracket \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\) or \(\llbracket \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\). Hence, \(\llbracket \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}=\mathsf {u}\) for some d ∈ Dom(w) or \(\llbracket \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}=\mathsf {u}\) for some d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\) for some d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\) or \(\llbracket \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\). Hence, \(\llbracket \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 0\) for some d ∈ Dom(w) or \(\llbracket \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 0\) for some d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]} \neq 1\) for some d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\) or \(\llbracket \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\). Hence, \(\llbracket \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}=\mathsf {u}\) for some d ∈ Dom(w) or \(\llbracket \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}=\mathsf {u}\) for some d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]} = \mathsf {u}\) for some d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g} \neq \mathsf {u}\) and \(\llbracket \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g} \neq \mathsf {u}\). Hence, we have \(\llbracket \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]} \neq \mathsf {u}\) and \(\llbracket \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]} \neq \mathsf {u}\) for all d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]} \neq \mathsf {u}\) for all d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}=\mathsf {u}\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\) and \(\llbracket \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 1\). Hence, we have \(\llbracket \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 1\) and \(\llbracket \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w), contradicting (i).
-
2.
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 0\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\) and \(\llbracket \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\). Hence, we have \(\llbracket \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}= 1\) and \(\llbracket \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 0\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}=\mathsf {u}\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g} \neq 0\) and \(\llbracket \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g} \neq 0\). Hence, we have \(\llbracket \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]} \neq 0\) and \(\llbracket \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]} \neq 0\) for all d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g} \neq 0\) for all d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 0\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\) or \(\llbracket \forall x \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g}= 0\). Hence, \(\llbracket \varphi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 0\) for some d ∈ Dom(w) or \(\llbracket \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]}= 0\) for some d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {w}}_{\mathcal {M},w,g[d/x]} = 0\) for some d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}=\mathsf {u}\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}=\mathsf {u}\) or \(\llbracket \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}=\mathsf {u}\). Hence, \(\llbracket \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}=\mathsf {u}\) for some d ∈ Dom(w) or \(\llbracket \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}=\mathsf {u}\) for some d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]} \neq 1\) for some d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}=\mathsf {u}\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 0\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g} = 0\) or \(\llbracket \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g} = 0\). Hence, \(\llbracket \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]} = 0\) for some d ∈ Dom(w) or \(\llbracket \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}= 0\) for some d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]} = 0\) for some d ∈ Dom(w), contradicting (i).
Suppose (i) \(\llbracket \forall x (\varphi \wedge \psi ) \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}=\mathsf {u}\) but (ii) \(\llbracket \forall x \varphi \wedge \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\). By (ii), \(\llbracket \forall x \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\) and \(\llbracket \forall x \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g}= 1\). Hence, we have \(\llbracket \varphi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}= 1\) and \(\llbracket \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w). Hence, \(\llbracket \varphi \wedge \psi \rrbracket ^{\mathsf {s}}_{\mathcal {M},w,g[d/x]}= 1\) for all d ∈ Dom(w), contradicting (i).
As for principle 8, the proof is similar. □
Theorem 2.1 now follows from Lemmas A.1, A.3, A.2 and A.4.
1.2 A.2 Two Facts About Existence Claims
Fact A.1
If q ≠ 0 and i ∈ {w, s}, then for any model \(\mathcal {M}\), world w and assignment g, \(\llbracket \forall x \Diamond \neg \exists y(y=x) \wedge \Box \exists x(x=x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq 1\).
Proof
Suppose q ≠ 0 and i ∈ {w, s}. Then
-
\(\llbracket \forall x \Diamond \neg \exists y(y=x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 1\) iff \(\llbracket \forall x \neg \Box \neg \forall y(y \neq x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 1\) iff for all d ∈ Dom(w), \(\llbracket \neg \Box \neg \forall y(y \neq x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d/x]}= 1\) iff for all d ∈ Dom(w), \(\llbracket \Box \neg \forall y(y \neq x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d/x]}= 0\) only if for all d ∈ Dom(w), there’s \(w^{\prime } \in W\) such that \(wRw^{\prime }\) and \(\llbracket \neg \forall y(y \neq x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w^{\prime },g[d/x]}= 0\) iff for all d ∈ Dom(w), there’s \(w^{\prime } \in W\) such that \(wRw^{\prime }\) and \(\llbracket \forall y(y \neq x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w^{\prime },g[d/x]}= 1\) iff for all d ∈ Dom(w), there’s \(w^{\prime } \in W\) such that \(wRw^{\prime }\) and, for all \(d^{\prime } \in \mathit {Dom}(w^{\prime })\), \({\llbracket y \neq x \rrbracket ^{\mathsf {i}}_{\mathcal {M},w^{\prime },g[d/x][d^{\prime }/y]}= 1}\) iff for all d ∈ Dom(w), there’s \(w^{\prime } \in W\) such that \(wRw^{\prime }\) and, for all \(d^{\prime } \in \mathit {Dom}(w^{\prime })\), \({\llbracket y = x \rrbracket ^{\mathsf {i}}_{\mathcal {M},w^{\prime },g[d/x][d^{\prime }/y]}= 0}\) iff for all d ∈ Dom(w), there’s \(w^{\prime } \in W\) such that \(wRw^{\prime }\) and, for all \(d^{\prime } \in \mathit {Dom}(w^{\prime })\), \(\langle d,d^{\prime } \rangle \in \mathit {Dom}(w^{\prime })^{2}\) and \(\langle d,d^{\prime } \rangle \not \in I(=)(w^{\prime })\) or \(\langle d,d^{\prime } \rangle \not \in \mathit {Dom}(w^{\prime })^{2}\) and \(\langle d,d^{\prime } \rangle \in I(=)(w^{\prime })\),which entails that \(\mathit {Dom}(w^{\prime })=\emptyset \), in which case \(\llbracket \Box \exists x(x=x) \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq 1\).
□
Fact A.2
If q = 0, p ≠ 1 and i ∈ {w, s}, then for any model \(\mathcal {M}\), world w and assignment g, \(\llbracket \exists x \Diamond Px \wedge \Box \forall x \neg Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq 1\).
Proof
Suppose q = 0, p ≠ 1 and i ∈ {w, s}. Then
-
\(\llbracket \exists x \Diamond Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 1\) iff \(\llbracket \neg \forall x \neg \neg \Box \neg Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 1\) iff \(\llbracket \forall x \Box \neg Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g}= 0\), only if there’s d ∈ Dom(w) s.t. \(\llbracket \Box \neg Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g[d/x]}= 0\), only if there’s d ∈ Dom(w) and \(w^{\prime } \in W\) s.t. \(wRw^{\prime }\) and \(\llbracket \neg Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w^{\prime },g[d/x]}= 0\), iff there’s d ∈ Dom(w) and \(w^{\prime } \in W\) s.t. \(wRw^{\prime }\) and \(\llbracket Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w^{\prime },g[d/x]}= 1\), iff there’s d ∈ Dom(w) and \(w^{\prime } \in W\) s.t. \(wRw^{\prime }\) and \(d \in \mathit {Dom}(w^{\prime })\) and \(d \in I(P)(w^{\prime })\), in which case \(\llbracket \Box \forall x \neg Px \rrbracket ^{\mathsf {i}}_{\mathcal {M},w,g} \neq 1\).
□
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Johannesson, E. Partial Semantics for Quantified Modal Logic. J Philos Logic 47, 1049–1060 (2018). https://doi.org/10.1007/s10992-018-9461-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-018-9461-6