Conditional Logic Cb and Its Tableau System
Conditional logic is a kind of modal logic for analyzing the truth conditions and inferences of conditional sentences in natural language. However, it has been pointed out in the literature that empirical problems plague all of the previously proposed conditional logics. Moreover, C 1 and C 2 are defined by imposing certain restrictions on their Kripke frames, and there exist no corresponding proof systems.
In order to solve these problems, we propose a new system of conditional logic, which we call C b . C b is an extension of C + through the addition of new rules on accessibility, and it has a corresponding tableau system. We show that C b has empirical advantages over C 1 and C 2 as a model of inference in natural language, and compare it with other proof systems of conditional logic.
KeywordsNatural Language Modal Logic Classical Logic Logic System Proof System
Unable to display preview. Download preview PDF.
- 2.Harper, W.L., Stalnaker, R., Pearce, G.: Ifs. Reidel, Dordrecht (1981)Google Scholar
- 4.Lewis, D.K.: Counterfactuals and comparative possibility. Journal of Philosophical Logic 2 (1973)Google Scholar
- 5.Muskens, R.: A compositional discourse representation theory. In: The 9th Amsterdam Colloquium, pp. 467–486 (1993)Google Scholar
- 7.Read, S.: Thinking About Logic: An Introduction to the Philosopy of Logic. Oxford University Press, Oxford (1994)Google Scholar
- 8.Stalnaker, R.: A Theory of Conditionals, in Studies in Logical Theory. American Philosophical Quanterly Monograph Series, vol. 2. Basil Blackwell, Oxford (1968)Google Scholar