Abstract
Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect to a class of neighborhood frames called i-frames. Rosenkranz designed a specific i-frame able to invalidate a series of undesired formulas, proving that these are not theorems of the idealized logic. Nonetheless, an unwanted formula and an unwanted rule of inference are not invalidated. Invalidating the former guarantees the distinction between the two modal operators characteristic of the logic, while invalidating the latter is crucial in order to deal with the problem of logical omniscience. In this paper, I present an i-frame able to invalidate all the undesired formulas already invalidated by Rosenkranz, together with the missing formula and rule of inference.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Rosenkranz (2021) proposed two logics for epistemic justification, one called idealized and the other called realistic. I am going to focus only on the former, which Rosenkranz showed to be sound with respect to an appropriate class of neighborhood frames, called idealized frames (i-frames). We deal with a bimodal propositional logic where Kφ and kφ stands for “one is in a position to know that φ”, and “one knows that φ” respectively. The distinction between the two concepts is crucial in Rosenkranz’s proposal and constitutes the first motivation behind the present paper, the second being related to the problem of logical omniscience. Before making this point more explicit, some technical background is required. Let us start defining an i-frame.
Let W be a non-empty set of states and \(N, R: W \mapsto \mathscr P(\mathscr P (W))\) be two neighborhood functions. A neighborhood frame \(\mathcal {F}=(W, N, R)\) is an i-frame when it respects the following conditions for all \(X, Y\subseteq W\) and all u,v,w ∈ W:
-
(tK ) if X ∈ N(w), then w ∈ X
-
(o) if X ∈ R(w), then X ∈ N(w)
-
(l) if {v ∈ W : X∉N(v)}∉N(w),
-
then {u ∈ W : {v ∈ W : X∉N(v)}∉N(u)}∈ N(w)
-
(z) if X ∈ R(w),
-
then {u ∈ W : {v ∈ W : X∉R(v)}∉N(u)}∈ N(w)
-
(a0 ) X ∩{v ∈ W : X∉R(v)}∉N(w)
-
(mK ) if \(X\subseteq Y\) and X ∈ N(w), then Y ∈ N(w)
-
(mk ) if \(X\subseteq Y\) and X ∈ R(w), then Y ∈ R(w)
Rosenkranz (2021, 98–99) associates five different valuations V to the same underlying i-frame \(\mathcal {F}\). \(V: \textsf {Prop}\mapsto \mathscr P(W)\) is a valuation function, where Prop is a set of countably many propositional variables.Footnote 1 In this way, Rosenkranz produces five i-models \({\mathscr{M}}=(\mathcal {F}, V)\) working as countermodels for a series of undesired formulas.Footnote 2 By soundness, this shows that those are not theorems of the idealized logic. The result is even more relevant since it is achieved exploiting the same i-frame. This means that the formulas can all be invalidated in the same i-model. In fact notice that, given different countermodels based on the same underling frame, it is always possible to construct a single countermodel simply having enough propositional variables. Therefore Rosenkranz’s countermodels can be easily merged into a single one.
Nonetheless, the i-frame Rosenkranz designed faces a couple of limitations. Firstly, it makes K and k collapse into one another for any V. Let us see why. The semantic clauses for the two modal operators are the following:
Where \(\llbracket \varphi \rrbracket ^{{\mathscr{M}}}=\{x\in W: {\mathscr{M}}, x \vDash \varphi \}\). For the sake of simplicity, I drop the superscript and write ⟦φ⟧ for \(\llbracket \varphi \rrbracket ^{{\mathscr{M}}}\). The modal semantic clauses can therefore be restated in the following way:
The non-modal operators are defined in the usual way, assuming classical logic.
Let us now describe the i-frame devised by Rosenkranz (2021, 97) in order to construct his countermodels. It is a neighborhood frame \(\mathcal {F}=(W, N, R)\) where W = {w1,w2,w3,w4} and N,R are such that
The i-frame equates N and R, since for each w ∈ W we have N(w) = R(w). It immediately follows that ⟦Kφ⟧ = ⟦kφ⟧ for any φ. ⟦Kφ⟧ = ⟦kφ⟧ holds iff both \(\llbracket K\varphi \rrbracket \supseteq \llbracket k\varphi \rrbracket \) and \(\llbracket K\varphi \rrbracket \subseteq \llbracket k\varphi \rrbracket \) hold. On the one hand, \(\llbracket K\varphi \rrbracket \supseteq \llbracket k\varphi \rrbracket \) must be the case, corresponding to condition (o). On the other hand, \(\llbracket K\varphi \rrbracket \subseteq \llbracket k\varphi \rrbracket \) cannot always be the case. In fact this would amount to accepting the formula Kφ → kφ, which is false every time one is in a position to know a certain proposition φ without knowing φ. Moreover, as anticipated, accepting \(\llbracket K\varphi \rrbracket \subseteq \llbracket k\varphi \rrbracket \) would make the two modal operators collapse into one another, entailing ⟦Kφ⟧ = ⟦kφ⟧. The concepts of “being in a position to know” and “knowing” are distinct and in this resides the interest of Rosenkranz’s proposal. The devised i-frame is not able to express this distinction though.
The second limitation faced by the devised i-frame is related to the problem of logical omniscience, which is scrupulously taken into consideration by Rosenkranz. Opposing logical omniscience roughly means trying to devise an epistemic logic for agents with bounded computational capabilities. Rosenkranz refuses to take the rule RNk as part of his logic for this very reason. RNk says that if φ is a theorem, then kφ is likewise a theorem: if ⊩ φ, then ⊩ kφ. This is a strong idealization, requiring that one knows any logical truth, even the most convoluted. Nonetheless, the i-frame Rosenkranz designed validates RNk since W ∈ R(w) for all w ∈ W. It is easy to check that RNk holds iff this is the case. In fact W = ⟦⊤⟧, where ⊤ is an abbreviation for any theorem of the logic. Notice that this entails that the rule RNk and the formula k⊤ are equivalent. Given that all the other undesired schemas are formulas and not rules, for the rest of the paper I shall refer to k⊤ instead of RNk for the sake of uniformity.
The aim of this paper is to present an i-frame able to overcome the limitations faced by the one devised by Rosenkranz, so as to invalidate Kφ → kφ and k⊤. The structure is the following. Firstly, I shall construct a neighborhood frame and show that it is indeed an i-frame (Section 2). This amounts to proving that the new frame meets each of the seven conditions listed at the beginning of this Introduction. Then, I will design a countermodel starting from that i-frame given an appropriate valuation V (Section 3). This i-model will invalidate all the formulas already invalidated by Rosenkranz, together with the additional Kφ → kφ and k⊤.
2 The new i-frame
Let us consider the following neighborhood frame \(\mathcal {F}=(W, N, R)\) where W = {w1,w2,w3,w4,w5,w6} and N,R are such that
Before showing that this is an i-frame, I shall spend a few words on some feature of the frame.
The first consideration concerns the fact that R(w) = ∅ for some w ∈ W. This can be regarded as an undesirable property, since it corresponds to total ignorance of the agent in state w. However, this is a necessary feature of any i-frame invalidating k⊤. Let us see why. As already seen, invalidating k⊤ amounts to having some w ∈ W such that W∉R(w). Let us remember that (mk) holds in every i-frame, i.e., R must be superset-closed. But in case R(w)≠∅, superset-closure immediately entails W ∈ R(w). We conclude that in order to invalidate k⊤, we need to have at least one w ∈ W such that R(w) = ∅.
The second consideration is twofold and concerns the choice of R(w5). Notice that both R(w1) = R(w2) = R(w3) = R(w5) = ∅ and R(w5) = {W} would have generated perfectly working i-frames with the additional quality of being simpler than the one provided (the interested reader can verify this, by tweaking the proofs in the next paragraph until the end of the paper). Nonetheless, I believe that both constitutes undesirable idealizations, which are not required in order to invalidate neither Kφ → kφ nor k⊤.
Let us start considering R(w1) = R(w2) = R(w3) = R(w5) = ∅. In this case Kφ → kφ would be false only in those states with an empty neighborhood for R. In fact in those states, what one is in a position to know trivially exceeds what one knows since N(w)≠∅ for any w ∈ W such that R(w) = ∅.Footnote 3 But total ignorance is a limit epistemic state, which cannot be the only reason why Kφ → kφ fails. We need R(w) = ∅ for some w, in order to invalidate k⊤, but Kφ → kφ should not be false only in such w. The designed frame avoids the problem since something is known in w5 given R(w5)≠∅.
Let us consider R(w5) = {W} now. In this case, Kφ → kφ would be false also in a state with a non-empty neighborhood; nonetheless, the only element of this neighborhood would be W. This corresponds to a state in which only ⊤ is known. In other words, one only knows theorems of the logic and no contingently true propositions. The designed frame avoids this idealization since something that is not ⊤ is known in w5, i.e., the proposition corresponding to {w1,w3,w4,w5,w6}.
Let us now verify whether the designed frame is indeed an i-frame. Since ∅⊂ X for any set X≠∅, it follows R(w1) ⊂ N(w1), R(w2) ⊂ N(w2) and R(w3) ⊂ N(w3). Additionally, R(w4) = N(w4) and R(w6) = N(w6). Finally, R(w5) ⊂ N(w5). We conclude \(R(w) \subseteq N(w)\) is the case for any w ∈ W, and so (o) holds. Since w ∈ X for any w ∈ W and any X ∈ N(w), (tK) holds. Since R and N are superset-closed, (mk) and (mK) both hold.
In order to show that (l), (z) and (a0) do hold, some observations, given an arbitrary formula φ, are needed:
-
If ⟦φ⟧ = W, then ⟦kφ⟧ = {w4,w5,w6} and ⟦Kφ⟧ = W. So, ⟦¬kφ⟧ = {w1,w2,w3} and ⟦¬Kφ⟧ = ∅ = ⟦K¬kφ⟧ = ⟦K¬Kφ⟧. Hence, ⟦¬K¬kφ⟧ = ⟦K¬K¬kφ⟧ = W = ⟦¬K¬Kφ⟧ = ⟦K¬K¬Kφ⟧.
-
If ⟦φ⟧ contains exactly five states, then there are six possible combinations to consider:
-
(1)
⟦φ⟧ = {w1,w2,w3,w4,w5}. Then ⟦kφ⟧ = ∅ = ⟦Kφ⟧. So, ⟦¬Kφ⟧ = ⟦K¬Kφ⟧ = W and ⟦¬K¬Kφ⟧ = ∅.
-
(2)
⟦φ⟧ = {w1,w2,w3,w4,w6}. Then ⟦kφ⟧ = {w4} and ⟦Kφ⟧ = {w3,w4}. So, ⟦¬kφ⟧ = {w1,w2,w3,w5,w6} and ⟦¬Kφ⟧ = {w1,w2,w5,w6}. Hence, ⟦K¬kφ⟧ = ∅ = ⟦K¬Kφ⟧ and ⟦¬K¬kφ⟧ = ⟦K¬K¬kφ⟧ = W = ⟦¬K¬Kφ⟧ = ⟦K¬K¬Kφ⟧.
-
(3)
⟦φ⟧ = {w1,w2,w3,w5,w6}. Then ⟦kφ⟧ = ∅ = ⟦Kφ⟧. Follow case (1).
-
(4)
⟦φ⟧ = {w1,w2,w4,w5,w6}. Then ⟦kφ⟧ = {w6} and ⟦Kφ⟧ = {w5,w6}. So, ⟦¬kφ⟧ = {w1,w2,w3,w4,w5} and ⟦¬Kφ⟧ = {w1,w2,w3,w4}. Hence, ⟦K¬kφ⟧ = ∅ = ⟦K¬Kφ⟧ and ⟦¬K¬kφ⟧ = ⟦K¬K¬kφ⟧ = W = ⟦¬K¬Kφ⟧ = ⟦K¬K¬Kφ⟧.
-
(5)
⟦φ⟧ = {w1,w3,w4,w5,w6}. Then ⟦kφ⟧ = {w4,w5,w6} and ⟦Kφ⟧ = {w3,w4,w5,w6}. So, ⟦¬kφ⟧ = {w1,w2,w3} and ⟦¬Kφ⟧ = {w1,w2}. Hence, ⟦K¬kφ⟧ = ∅ = ⟦K¬Kφ⟧ and ⟦¬K¬kφ⟧ = ⟦K¬K¬kφ⟧ = W = ⟦¬K¬Kφ⟧ = ⟦K¬K¬Kφ⟧.
-
(6)
⟦φ⟧ = {w2,w3,w4,w5,w6}. Then ⟦kφ⟧ = {w4} and ⟦Kφ⟧ = {w3,w4}. Follow case (2).
-
(1)
-
If ⟦φ⟧ contains exactly four states, we have fifteen possible combinations, but we can gather them in three cases:
-
(7)
For ⟦φ⟧ = {w1,w3,w4,w6} and ⟦φ⟧ = {w2,w3,w4,w6}, we have the same result: ⟦kφ⟧ = {w4} and ⟦Kφ⟧ = {w3,w4}. Follow case (2).
-
(8)
⟦φ⟧ = {w1,w4,w5,w6}. Then ⟦kφ⟧ = {w6} and ⟦Kφ⟧ = {w5,w6}. Follow case (4).
-
(9)
For the remaining combinations we have the same result: ⟦kφ⟧ = ∅ = ⟦Kφ⟧. Follow case (1).
-
(7)
-
If ⟦φ⟧ contains at most three states, then ⟦kφ⟧ = ∅ = ⟦Kφ⟧. Follow case (1).
Considering that, given an arbitrary φ, it is always the case that \(\llbracket \neg K \neg K \varphi \rrbracket \subseteq \llbracket K \neg K \neg K \varphi \rrbracket \) and \(\llbracket k \varphi \rrbracket \subseteq \llbracket K \neg K \neg k \varphi \rrbracket \), we conclude that (l) and (z) hold.
What about (a0)? There are only nine cases to consider given an arbitrary φ.
-
(a)
⟦φ⟧ = {w1,w3,w4,w6} and ⟦kφ⟧ = {w4}. So, ⟦φ ∧¬kφ⟧ = {w1,w3,w6} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(b)
⟦φ⟧ = {w1,w4,w5,w6} and ⟦kφ⟧ = {w6}. So, ⟦φ ∧¬kφ⟧ = {w1,w4,w5} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(c)
⟦φ⟧ = {w2,w3,w4,w6} and ⟦kφ⟧ = {w4}. So, ⟦φ ∧¬kφ⟧ = {w2,w3,w6} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(d)
⟦φ⟧ = {w1,w2,w3,w4,w6} and ⟦kφ⟧ = {w4}. So, ⟦φ ∧¬kφ⟧ = {w1,w2,w3,w6} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(e)
⟦φ⟧ = {w1,w2,w4,w5,w6} and ⟦kφ⟧ = {w6}. So, ⟦φ ∧¬kφ⟧ = {w1,w2,w4,w5} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(f)
⟦φ⟧ = {w1,w3,w4,w5,w6} and ⟦kφ⟧ = {w4,w5,w6}. So, ⟦φ ∧¬kφ⟧ = {w1,w3} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(g)
⟦φ⟧ = {w2,w3,w4,w5,w6} and ⟦kφ⟧ = {w4}. So, ⟦φ ∧¬kφ⟧ = {w2,w3,w5,w6} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(h)
⟦φ⟧ = W and ⟦kφ⟧ = {w4,w5,w6}. So, ⟦φ ∧¬kφ⟧ = {w1,w2,w3} and ⟦¬K(φ ∧¬kφ)⟧ = W.
-
(i)
For all other ⟦φ⟧, ⟦kφ⟧ = ∅. So, ⟦φ ∧¬kφ⟧ = ⟦φ⟧ and ⟦¬K(φ ∧¬kφ)⟧ = W.
We conclude that (a0) holds.
3 Undesired formulas
Now that we have proved that the designed frame is indeed an i-frame, let us show that it can invalidate the following undesired formulas. Apart from the first two, the others were already invalidated by the i-frame devised in Rosenkranz (2021). I refer to the book for a detailed explanation of why these formulas are undesirable in the idealized logic.
-
(K-k) Kφ → kφ
-
(Nk) k⊤
-
(AggK) Kφ ∧ Kψ → K(φ ∧ ψ)
-
(Aggk) kφ ∧ kψ → k(φ ∧ ψ)
-
(4K) Kφ → KKφ
-
(4k ) kφ → kkφ
-
(5K ) ¬Kφ → K¬Kφ
-
(5k ) ¬kφ → k¬kφ
-
(TJ ) ¬K¬Kφ → φ
-
(TD ) ¬K¬kφ → φ
-
(BK ) φ → K¬K¬φ
-
(Bk ) φ → k¬k¬φ
-
(KK ) K(φ → ψ) → (Kφ → Kψ)
-
(Kk ) k(φ → ψ) → (kφ → kψ)
-
(AggJ) ¬K¬Kφ ∧¬K¬Kψ →¬K¬K(φ ∧ ψ)
-
(AggD) ¬K¬kφ ∧¬K¬kψ →¬K¬k(φ ∧ ψ)
In order to make the proofs easier to follow, I describe the i-frame once again. \(\mathcal {F}=(W, N, R)\) where W = {w1,w2,w3,w4,w5,w6} and N,R are such that
The first four formulas are invalidated for any possible valuation, therefore we don’t need to assign a particular V.
-
(K-k) Since ∅⊂ X for all X≠∅, we have R(w1) = R(w2) = R(w3) = ∅⊂ N(w) for any w ∈ W. Moreover R(w5) ⊂ N(w5). In both cases \(N(w)\nsubseteq R(w)\) and therefore \(\llbracket K \varphi \rrbracket \nsubseteq \llbracket k \varphi \rrbracket \).
-
(Nk) Its failure follows from the fact that W∉R(w1) = R(w2) = R(w3).
-
(AggK) Its failure follows from the fact that N is not closed under intersection.Footnote 4
-
(Aggk) Its failure follows from the fact that R is not closed under intersection.
For the remaining undesired formulas, I shall provide a particular countermodel. We need to show that, given the appropriate valuation V, each formula is false in at least one state of the i-model \((\mathcal {F}, V)\). Remember that for some arbitrary φ and ψ the implication φ → ψ is true in each state iff \(\llbracket \varphi \rrbracket \subseteq \llbracket \psi \rrbracket \). Let us assign V to five different propositional variables p1,p2,p3,p4,p5.
Let V (p1) = {w1,w2,w3,w4,w6}.
-
(4K) Then ⟦Kp1⟧ = {w3,w4} and ⟦KKp1⟧ = ∅. So, \(\llbracket K p_{1} \rrbracket \nsubseteq \llbracket KK p_{1} \rrbracket \).
-
(4k) Then ⟦kp1⟧ = {w4} and ⟦kkp1⟧ = ∅. So, \(\llbracket k p_{1} \rrbracket \nsubseteq \llbracket kk p_{1} \rrbracket \).
-
(5K) Then ⟦¬Kp1⟧ = {w1,w2,w5,w6} and ⟦K¬Kp1⟧ = ∅. So, \(\llbracket \neg K p_{1} \rrbracket \nsubseteq \llbracket K \neg K p_{1} \rrbracket \).
-
(5k) Then ⟦¬kp1⟧ = {w1,w2,w3,w5,w6} and ⟦k¬kp1⟧ = ∅. So, \(\llbracket \neg k p_{1} \rrbracket \nsubseteq \llbracket k \neg k p_{1} \rrbracket \).
-
(TJ) Then ⟦¬K¬Kp1⟧ = W. So, \(\llbracket \neg K \neg K p_{1} \rrbracket \nsubseteq \llbracket p_{1} \rrbracket \).
-
(TD) Then ⟦K¬kp1⟧ = ∅ and ⟦¬K¬kp1⟧ = W. So, \(\llbracket \neg K \neg k p_{1} \rrbracket \nsubseteq \llbracket p_{1} \rrbracket \).
Let V (p2) = {w5}.
-
(BK) Then ⟦¬p2⟧ = {w1,w2,w3,w4,w6} and ⟦K¬p2⟧ = {w3,w4}. Accordingly, ⟦¬K¬p2⟧ = {w1,w2,w5,w6} and ⟦K¬K¬p2⟧ = ∅. So, \(\llbracket p_{2}\rrbracket \nsubseteq \llbracket K \neg K \neg p_{2} \rrbracket \).
-
(Bk) Then ⟦k¬p2⟧ = {w4}. Accordingly, ⟦¬k¬p2⟧ = {w1,w2,w3,w5,w6} and ⟦k¬k¬p2⟧ = ∅. So, \(\llbracket p_{2}\rrbracket \nsubseteq \llbracket k \neg k \neg p_{2} \rrbracket \).
Let V (p3) = {w1,w3,w4,w5,w6} and V (p4) = {w3,w4,w5,w6}.
-
(KK) Then ⟦p3 → p4⟧ = {w2,w3,w4,w5,w6} and ⟦K(p3 → p4)⟧ = {w3,w4}. Moreover ⟦Kp3⟧ = {w3,w4,w5,w6} and ⟦Kp4⟧ = ∅ give ⟦Kp3 → Kp4⟧ = {w1,w2}. So, \(\llbracket K(p_{3}\to p_{4}) \rrbracket \nsubseteq \llbracket K p_{3} \to K p_{4}\rrbracket \).
-
(Kk) Then ⟦k(p3 → p4)⟧ = {w4}. Moreover ⟦kp3⟧ = {w4,w5,w6} and ⟦kp4⟧ = ∅ give ⟦kp3 → kp4⟧ = {w1,w2,w3}. So, \(\llbracket k(p_{3}\to p_{4}) \rrbracket \nsubseteq \llbracket k p_{3} \to k p_{4}\rrbracket \).
Let V (p5) = {w2,w3,w4,w5,w6}.
-
(AggJ) Then ⟦Kp3⟧ = {w3,w4,w5,w6} and ⟦Kp5⟧ = {w3,w4}. Hence, ⟦¬Kp3⟧ = {w1,w2} and ⟦¬Kp5⟧ = {w1,w2,w5,w6}. Accordingly, ⟦K¬Kp3⟧ = ⟦K¬Kp5⟧ = ∅ and then ⟦¬K¬Kp3⟧ = ⟦¬K¬Kp5⟧ = W. From which, ⟦¬K¬Kp3⟧∩⟦¬K¬Kp5⟧ = W and therefore ⟦¬K¬Kp3 ∧¬K¬Kp5⟧ = W. Moreover ⟦p3 ∧ p5⟧ = {w3,w4,w5,w6} and therefore ⟦K(p3 ∧ p5)⟧ = ∅. It follows that ⟦¬K(p3 ∧ p5)⟧ = W = ⟦K¬K(p3 ∧ p5)⟧. Accordingly ⟦¬K¬K(p3 ∧ p5)⟧ = ∅. We conclude that \(\llbracket \neg K \neg K p_{3} \land \neg K \neg K p_{5} \rrbracket \nsubseteq \llbracket \neg K \neg K (p_{3} \land p_{5})\rrbracket \).
-
(AggD) Then ⟦kp3⟧ = {w4,w5,w6} and ⟦kp5⟧ = {w4}. Hence, ⟦¬kp3⟧ = {w1,w2,w3} and ⟦¬kp5⟧ = {w1,w2,w3,w5,w6}. Accordingly, ⟦K¬kp3⟧ = ⟦K¬kp5⟧ = ∅. Following the analogous steps of the previous case, we obtain ⟦¬K¬kp3 ∧¬K¬kp5⟧ = W. Moreover ⟦k(p3 ∧ p5)⟧ = ∅. Following again the analogous steps of the previous case, we obtain ⟦¬K¬k(p3 ∧ p5)⟧ = ∅. We conclude that \(\llbracket \neg K \neg k p_{3} \land \neg K \neg k p_{5} \rrbracket \nsubseteq \llbracket \neg K \neg k (p_{3} \land p_{5})\rrbracket \).
4 Conclusion
I showed that it is possible to build an i-model invalidating all the formulas that Rosenkranz (2021) considers undesirable for his idealized logic: all the ones he has already invalidated, with the addition of Kφ → kφ and k⊤ (equivalent to RNk). The collapse of K and k into one another and an unwelcome idealization related to logical omniscience are thus avoided. Constructing a series of countermodels would have been sufficient in order to show that those formulas are not theorems of the logic. Nonetheless, having provided a single countermodel shows a stronger result, namely that they can all be invalidated at once: we don’t need to assume one to invalidate another. An additional positive feature of the new i-frame is that it avoids two idealized solutions discussed in Section 2, i.e., invalidating Kφ → kφ only because the formula is false in some w ∈ W such that R(w) = ∅ or R(w) = {W}. While the former corresponds to total ignorance in w, the latter corresponds to the circumstance in which only theorems are known in w. Both solutions, albeit available, were avoided in order to provide an i-frame corresponding to a more realistic epistemic scenario.
Availability of data and material
Not applicable
Code Availability
Not applicable
Notes
Rosenkranz uses a bivalent interpretation function I : Prop × W↦{1, 0} instead of V. Anyway the resulting models are isomorphic.
For the sake of simplicity, I shall call “i-models” what Rosenkranz calls “target i-models”. Moreover, the term “frame” is not used by Rosenkranz, who refers indirectly to frames talking about classes of models (Rosenkranz 2021, 97–99).
Notice that in an i-frame no w ∈ W can be such that N(w) = ∅. In fact (l) can be restated in the following way: either {v ∈ W : X∉N(v)}∈ N(w) or {u ∈ W : {v ∈ W : X∉N(v)}∉N(u)}∈ N(w).
In fact AggK is valid in a neighborhood frame iff N is closed under intersection. This is a known result, but I sketch here a proof of the relevant direction of the biconditional, for the sake of clarity. An analogous proof can be carried out for Aggk. Take a neighborhood frame \(\mathcal {F}=(W, N)\) such that AggK is valid, i.e., is true at every state for every valuation. Let us suppose, for the sake of contradiction, that for some \(X, Y\subseteq W\) we have X ∈ N(w) and Y ∈ N(w), but X ∩ Y ∉N(w), i.e., N is not closed under intersection. Let us take a valuation V such that V (p) = X and V (q) = Y. It follows ⟦p⟧∈ N(w) and ⟦q⟧∈ N(w), but ⟦p ∧ q⟧∉N(w). But then AggK is not valid. We showed by contradiction that, if AggK is valid in a neighborhood frame, then N must be closed under intersection. By contraposition: if N is not closed under intersection, then AggK is not valid.
References
Rosenkranz, S. (2021). Justification as ignorance: An essay in epistemology. New York: Oxford University Press.
Acknowledgements
I am grateful to Sven Rosenkranz for detailed discussions of the material in this paper and to José Martinez for his helpful comments. I am also grateful to Nikolaj Pedersen and the participants to the Asian Philosophy Network symposium on Justification as Ignorance that took place online on July 19, 2021. Work on this paper has received support from the research project Justification, its Structure and Grounds (PGC2018-099889-B-I00), financed by the Ministerio de Ciencia, Innovación y Universidades (MICIU).
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. Work on this paper has received support from the research project Justification, its Structure and Grounds, financed by the Spanish Ministerio de Ciencia, Innovación y Universidades (MICIU) [grant number PGC2018-099889-B-I00].
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares no competing interests.
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rossi, N. An enhanced model for Rosenkranz’s logic of justification. AJPH 1, 12 (2022). https://doi.org/10.1007/s44204-021-00003-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s44204-021-00003-1