Abstract
Traditional epistemic and doxastic logics cannot deal with inconsistent beliefs nor do they represent the evidence an agent possesses. So-called ‘evidence logics’ have been introduced to deal with both of those issues. The semantics of these logics are based on neighbourhood or hypergraph frames. The neighbourhoods of a world represent the basic evidence available to an agent. On one view, beliefs supported by evidence are propositions derived from all maximally consistent collections evidence. An alternative concept of beliefs takes them to be propositions derivable from consistent partitions of one’s inconsistent evidence; this is known as Schotch-Jennings Forcing. This paper develops a modal logic based on the hypergraph semantics to represent Schotch-Jennings Forcing. The modal language includes an operator \(U(\varphi _1, \ldots , \varphi _n;\psi )\) which is similar to one introduced in Instantial Neighbourhood Logic. It is of variable arity and the input formulas enjoy distinct roles. The U operator expresses that all evidence at a particular world that supports \(\psi \) can be supported by at least one of the \(\varphi _i\)s. U can then be used to express that all the evidence available can be unified by the finite set of formulas \(\varphi _1,\ldots , \varphi _n\) if \(\psi \) is taken to be \(\top \). Future developments will then use that semantics as the basis for a doxastic logic akin to evidence logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Usually, they are presented with Es (\(\square \)s) in the place of all the \(\left\langle E\right\rangle \) (\(\lozenge \)s) which makes the connection to the modal logic K clearer in which \(K_1=K\). But we are choosing to remain consistent with the notation in the literature on evidence logic.
- 2.
This is the name of the axiom as presented in [6].
- 3.
A more appropriate name would be ‘fixed-width forcing’.
- 4.
We could define a cover of \({\mathcal X}\) as a subset of \(\mathcal {P}(\mathcal {P}(W))\), \(\varPi \) such that for each \(\pi \in \varPi \), \(\cap \pi \ne \varnothing \) and for each \(X\in {\mathcal X}\) there is \(\pi \in \varPi \) such that \(\cap \pi \subseteq X\) and if \(\varPi \) is a partition of \({\mathcal X}\) we say that \(\varPi \) would be a partition cover. However, the definition on offer is slightly more economical.
- 5.
Of course, it is also a property that can be trivially satisfied by taking \(\varGamma \) to be large enough—assuming that each \(X\in {\mathcal E}(x)\) can be represented by a formula. Of course, if \(\varGamma \) has other properties, e.g., finiteness, that makes a better case for a non-trivial unification.
- 6.
\(X^c\) is the relative complement of X with respect to W.
- 7.
The operator in [3] is \(\square (\varphi _1,\ldots ,\varphi _n;\psi )\) which is true at \({\mathcal M},x\) iff there is \(X\in {\mathcal E}(x)\) such that \(X\subseteq \llbracket \psi \rrbracket \) and \(X\cap \llbracket \varphi _i\rrbracket \ne \varnothing \) for each \(i\le n\). Its dual would be true, then, iff for all \(X\in {\mathcal E}(x)\) if \(X\subseteq \llbracket \psi \rrbracket \), then \(X\subseteq \llbracket \varphi _i\rrbracket \) for some \(i\le n\). Whereas that operator says that all of the evidence is sufficient for at least one of \(\varphi _i\)s—when it is sufficient for \(\psi \), our U operator says that any piece of evidence is necessary for at least one of the \(\varphi _i\)s, when it is sufficient for \(\psi \).
- 8.
As abbreviations, we will write \(\overline{\varphi }\) to mean \(\varphi _1,\ldots , \varphi _n\), and \((\overline{\varphi }/\psi )_i\) to mean
$$\varphi _1, \ldots , \varphi _{i-1}, \psi , \varphi _{i+1}, \ldots , \varphi _n$$for \(i\le n\).
- 9.
We are using a ‘hypergraph model’ in the sense found in [9] rather than in [6]. Our hypergraph models are what they call neighbourhood models and what [5] calls ‘Minimal Models’. Topologically speaking, it would make more sense to call neighbourhood models those minimal models \(\left\langle W,{\mathcal E}\right\rangle \) in which for each \(x\in W\), \(x\in \bigcap {\mathcal E}(x)\) since a neighbourhood of x would usually contain x.
- 10.
A syntactic derivation of this equivalence proceeds as follows: Suppose \(U(\lnot \varphi ;\varphi )\wedge E\varphi \). An instance of UV is \((U(\lnot \varphi ;\varphi )\wedge E\varphi )\rightarrow \square (\lnot \varphi \rightarrow \varphi )\), so we can infer \(\square (\lnot \varphi \rightarrow \varphi )\) which is equivalent to \(\square \varphi \) in any normal modal logic. Conversely, suppose \(\square \varphi \). Thus, in any normal modal logic \(\square \varphi \rightarrow \square (\lnot \varphi \rightarrow \bot )\) is a theorem. By U\(\bot \), \(U(\bot ;\varphi )\) is a theorem of U, and by U\(\square \)L, \(\square (\lnot \varphi \rightarrow \bot )\rightarrow (U(\bot ;\varphi )\rightarrow U(\lnot \varphi ;\varphi ))\) is a theorem and thus, \(U(\lnot \varphi ;\varphi )\) follows. Since \(\square \varphi \rightarrow \square (\top \rightarrow \varphi )\) is a theorem of any normal modal logic, using N, and E\(\square \), we can derive \(E\varphi \).
References
Apostoli, P., Brown, B.: A solution to the completeness problem for weakly aggregative modal logic. J. Symbolic Logic 60(3), 832–842 (1995). https://doi.org/10.2307/2275759
Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S.: Justified belief and the topology of evidence. In: Väänänen, J., Hirvonen, Å., de Queiroz, R. (eds.) WoLLIC 2016. Lecture Notes in Computer Science, vol. 9803, pp. 83–103. Springer, Berlin (2016). https://doi.org/10.1007/978-3-662-52921-8_6
van Benthem, J., Bezhanishvili, N., Enqvist, S., Yu, J.: Instantial neighbourhood logic. Rev. Symbolic Logic 10(1), 116–144 (2017). https://doi.org/10.1017/s1755020316000447
van Benthem, J., Pacuit, E., Fernández-Duque, D.: Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Logic 165, 106–133 (2014)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Ding, Y., Liu, J., Wang, Y.: Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic. Synthese 201(2), 1–27 (2023). https://doi.org/10.1007/s11229-022-04032-y
Jennings, R.E., Schotch, P.K.: The preservation of coherence. Stud. Logica. 43, 89–106 (1984). https://doi.org/10.1007/bf00935743
Jennings, R.E., Brown, B., Schotch, P.: On Preserving: Essays on Preservationism and Paraconsistency. Toronto Studies in Philosophy, University of Toronto Press, Toronto (2009)
Nicholson, D.: A dualization of neighbourhood structures. In: Jennings, R., Brown, B., Schotch, P. (eds.) On Preserving: Essays on Preservationism and Paraconsistent Logic, pp. 49–60. University of Toronto Press (2009)
Pacuit, E.: Neighborhood Semantics for Modal Logic. Springer, Cham, Switzerland (2017). https://doi.org/10.1007/978-3-319-67149-9
Payette, G.: Getting the most out of inconsistency. J. Philos. Logic 44(5), 573–592 (2015). https://doi.org/10.1007/s10992-014-9343-5
Rescher, N., Manor, R.: On inferences from inconsistent premises. Theor. Decis. 1(2), 179–217 (1970). https://doi.org/10.1007/bf00154005
Schotch, P.K., Jennings, R.E.: Inference and necessity. J. Philos. Logic 9(3), 327–340 (1980). https://doi.org/10.1007/bf00248398
Schotch, P.K., Jennings, R.E.: On detonating. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic: Essays On The Inconsistent, pp. 306–327 (1989)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Brunet, T.D.P., Payette, G. (2023). An Evidence Logic Perspective on Schotch-Jennings Forcing. In: Hansen, H.H., Scedrov, A., de Queiroz, R.J. (eds) Logic, Language, Information, and Computation. WoLLIC 2023. Lecture Notes in Computer Science, vol 13923. Springer, Cham. https://doi.org/10.1007/978-3-031-39784-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-031-39784-4_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-39783-7
Online ISBN: 978-3-031-39784-4
eBook Packages: Computer ScienceComputer Science (R0)