Non-adjunctive inference and classical modalities

Journal of Philosophical Logic 34 (5/6):581 - 605 (2004)
The article focuses on representing different forms of non-adjunctive inference as sub-Kripkean systems of classical modal logic, where the inference from □A and □B to □A ∧ B fails. In particular we prove a completeness result showing that the modal system that Schotch and Jennings derive from a form of non-adjunctive inference in (Schotch and Jennings, 1980) is a classical system strictly stronger than EMN and weaker than K (following the notation for classical modalities presented in Chellas, 1980). The unified semantical characterization in terms of neighborhoods permits comparisons between different forms of non-adjunctive inference. For example, we show that the non-adjunctive logic proposed in (Schotch and Jennings, 1980) is not adequate in general for representing the logic of high probability operators. An alternative interpretation of the forcing relation of Schotch and Jennings is derived from the proposed unified semantics and utilized in order to propose a more fine-grained measure of epistemic coherence than the one presented in (Schotch and Jennings, 1980). Finally we propose a syntactic translation of the purely implicative part of Jaśkowski's system D₂ into a classical system preserving all the theorems (and non-theorems) explicilty mentioned in (Jaśkowski, 1969). The translation method can be used in order to develop epistemic semantics for a larger class of non-adjunctive (discursive) logics than the ones historically investigated by Jaśkowski
Keywords classical modal logic  epistemic logic  high probability operators  paraconsistent logic  non-adjunctive logic
Categories (categorize this paper)
Reprint years 2005
DOI 10.1007/s10992-004-8539-5
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,781
Through your library
References found in this work BETA
Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Universal Grammar.R. Montague - 1970 - Theoria 36 (3):373--398.
The Rule of Adjunction and Reasonable Inference.Henry E. Kyburg Jr - 1997 - Journal of Philosophy 94 (3):109-125.

View all 9 references / Add more references

Citations of this work BETA
First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Deductive Closure.Isaac Levi - 2012 - Synthese 186 (2):493-499.
When Adjunction Fails.Choh Man Teng - 2012 - Synthese 186 (2):501-510.

Add more citations

Similar books and articles
Probabilistic Considerations on Modal Semantics.P. K. Schotch & R. E. Jennings - 1981 - Notre Dame Journal of Formal Logic 22 (3):227-238.
Skepticism and Epistemic Logic.Peter K. Schotch - 2000 - Studia Logica 66 (1):187-198.
Inference and Necessity.P. K. Schotch & R. E. Jennings - 1980 - Journal of Philosophical Logic 9 (3):327-340.
First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
On Preserving.Gillman Payette & Peter K. Schotch - 2007 - Logica Universalis 1 (2):295-310.
The Preservation of Coherence.R. E. Jennings & P. K. Schotch - 1984 - Studia Logica 43 (1-2):89 - 106.
Added to PP index

Total downloads
30 ( #177,018 of 2,199,428 )

Recent downloads (6 months)
1 ( #299,438 of 2,199,428 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature