Journal of Logic, Language and Information 18 (4):515-539 (2009)
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||Counterfactual logic David Lewis Contextually definite description Hybrid logic Arthur Prior The limit assumption Strong completeness Decidability Bisimulation Pure completeness|
|Categories||categorize this paper)|
References found in this work BETA
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.
Citations of this work BETA
Proof Analysis for Lewis Counterfactuals.Sara Negri & Giorgio Sbardolini - forthcoming - Review of Symbolic Logic:1-32.
Similar books and articles
Completeness and Decidability of Three Logics of Counterfactual Conditionals.David Lewis - 1971 - Theoria 37 (1):74-85.
Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (03):442-466.
Justification Logics and Hybrid Logics.Melvin Fitting - 2010 - Journal of Applied Logic 8 (4):356-370.
Hybrid Logics with Infinitary Proof Systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
Hybrid Counterfactual Logics David Lewis Meets Arthur Prior Again.Katsuhiko Sano - 2009 - Journal of Logic, Language and Information 18 (4):515-539.
Added to index2009-05-18
Total downloads58 ( #90,965 of 2,172,658 )
Recent downloads (6 months)2 ( #172,670 of 2,172,658 )
How can I increase my downloads?