Hybrid counterfactual logics
Journal of Logic, Language and Information 18 (4) (2009)
| Abstract | The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption. | |||||||||
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesYde Venema (1995). Meeting Strength in Substructural Logics. Studia Logica 54 (1):3 - 32.
David Lewis (1971). Completeness and Decidability of Three Logics of Counterfactual Conditionals. Theoria 37 (1):74-85.
Dmitry Sustretov (2009). Hybrid Logics of Separation Axioms. Journal of Logic, Language and Information 18 (4).
Gemma Robles & José M. Méndez (2010). Paraconsistent Logics Included in Lewis’ S4. Review of Symbolic Logic 3 (03):442-466.
Gemma Robles & José M. Méndez (2010). Paraconsistent Logics Included in Lewis’ S4. Review of Symbolic Logic 3 (03):442-466.
Torben Braüner (2005). Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81 (2):191 - 226.
Katsuhiko Sano (2009). Hybrid Counterfactual Logics David Lewis Meets Arthur Prior Again. Journal of Logic, Language and Information 18 (4):515-539.
Analytics
Monthly downloads |
Added to index2009-05-18Total downloads48 ( #22,433 of 549,171 )Recent downloads (6 months)1 ( #63,397 of 549,171 )How can I increase my downloads? |
My notes
Discussion
