Non-adjunctive inference and classical modalities
Journal of Philosophical Logic 34 (5-6):581 - 605 (2005)
| Abstract | 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 D2 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesHoracio Arló Costa (2002). First Order Extensions of Classical Systems of Modal Logic; the Role of the Barcan Schemas. Studia Logica 71 (1):87-118.
P. K. Schotch & R. E. Jennings (1981). Probabilistic Considerations on Modal Semantics. Notre Dame Journal of Formal Logic 22 (3):227-238.
P. K. Schotch & R. E. Jennings (1981). Epistemic Logic, Skepticism, and Non-Normal Modal Logic. Philosophical Studies 40 (1):47 - 67.
Peter K. Schotch (2000). Skepticism and Epistemic Logic. Studia Logica 66 (1):187-198.
P. K. Schotch & R. E. Jennings (1980). Inference and Necessity. Journal of Philosophical Logic 9 (3):327-340.
Horacio Arló-Costa & Eric Pacuit (2006). First-Order Classical Modal Logic. Studia Logica 84 (2):171 - 210.
Gillman Payette & Peter K. Schotch (2007). On Preserving. Logica Universalis 1 (2).
R. E. Jennings & P. K. Schotch (1984). The Preservation of Coherence. Studia Logica 43 (1-2):89 - 106.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #161,910 of 556,837 )Recent downloads (6 months)2 ( #39,010 of 556,837 )How can I increase my downloads? |
My notes
Discussion
