David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 34 (5/6):581 - 605 (2005)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Horacio 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):295-310.
R. E. Jennings & P. K. Schotch (1984). The Preservation of Coherence. Studia Logica 43 (1-2):89 - 106.
Horacio Arló Costa (2005). Non-Adjunctive Inference and Classical Modalities. Journal of Philosophical Logic 34 (5-6):581-605.
Added to index2009-01-28
Total downloads10 ( #152,266 of 1,100,079 )
Recent downloads (6 months)5 ( #66,994 of 1,100,079 )
How can I increase my downloads?