Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC

Australasian Journal of Logic 15 (3):609-628 (2018)
  Copy   BIBTEX

Abstract

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v15i3.4780

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Counterfactuals in Temporal Alethic-Deontic Logic.Rönnedal Daniel - 2016 - South American Journal of Logic 2 (1):57-81.
Possible Worlds Semantics for Indicative and Counterfactual Conditionals?: A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics.Matthias Unterhuber - 2013 - Ontos (Now de Gruyter).
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
A Lewisian Logic of Causal Counterfactuals.Jiji Zhang - 2013 - Minds and Machines 23 (1):77-93.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Folk Judgments About Conditional Excluded Middle.Michael J. Shaffer & James Beebe - 2019 - In Andrew Aberdein & Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury Academic. pp. 251-276.
Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
A conditional logic for abduction.Mathieu Beirlaen & Atocha Aliseda - 2014 - Synthese 191 (15):3733-3758.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic.Marilynn Johnson - 2015 - Australasian Journal of Logic 12 (2):97-120.
Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
Some Strong Conditionals for Sentential Logics.Jason Zarri - manuscript
Semantics for Counterpossibles.Yale Weiss - 2017 - Australasian Journal of Logic 14 (4):383-407.

Analytics

Added to PP
2018-06-04

Downloads
496 (#37,952)

6 months
83 (#57,048)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Zach
University of Calgary

Citations of this work

Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New York

Add more citations

References found in this work

An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.
Proof analysis for Lewis counterfactuals.Sara Negri & Giorgio Sbardolini - 2016 - Review of Symbolic Logic 9 (1):44-75.

View all 6 references / Add more references