Abstract
We define intuitionistic subatomic natural deduction systems for reasoning with elementary would-counterfactuals and causal since-subordinator sentences. The former kind of sentence is analysed in terms of counterfactual implication, the latter in terms of factual implication. Derivations in these modal proof systems make use of modes of assumptions which are sensitive to the factuality status of the formula that is to be assumed. This status is determined by means of the reference proof system on top of which a modal proof system is defined. The introduction and elimination rules for counterfactual (resp. factual) implication draw on this status. It is shown that derivations in the systems normalize and that normal derivations have the subexpression/subformula property. An intuitionistically acceptable proof-theoretic semantics is formulated in terms of canonical derivations. The systems are applied to so-called counterpossibles and to related constructions.
Chapter PDF
Similar content being viewed by others
Keywords
References
Berto, F., R. French, G. Priest, and D. Ripley (2018).Williamson on counterpossibles. Journal of Philosophical Logic 47, 693–713.
Ciardelli, I. and X. Liu (2020). Intuitionistic conditional logics. Journal of Philosophical Logic 49, 807–832. doi: https://doi.org/10.1007/s10992-019-09538-4.
Dalen, D. van (2002). Intuitionistic logic. In: Handbook of Philosophical Logic. Ed. by D. M. Gabbay and F. Guenthner. 2nd ed. Dordrecht: Springer, 1–114.
Dancygier, B. and E. Sweetser (2000). Constructions with if, since, and because: causality, epistemic stance, and clause order. In: ed. by E. Couper-Kuhlen and B. Kortmann. Berlin: Mouton de Gruyter, 111–142.
Dummett, M. (1991). The Logical Basis of Metaphysics. Cambridge/MA: Harvard University Press.
Duží, M. and B. Jespersen (2015). Hyperintensionality. Special section of Synthese 192, 525–677.
Francez, N. (2015). Proof-Theoretic Semantics. London: College Publications.
Gentzen, G. (1934). Untersuchungen über das logische schließen i, ii. Mathematische Zeitschrift 39, 176–210, 405–431.
Girlando, M. (2019). On the Proof Theory of Conditional Logics. PhD thesis. University of Helsinki.
Girlando, M., S. Negri, and N. Olivetti (2018). Counterfactual logic: labelled and internal calculi, two sides of the same coin? In: Advances in Modal Logic 2018. Ed. by G. Bezhanishvili, G. D’Agostino, G. Metcalfe, and T. Studer. London: College Publications, 291–310.
Guillaume, B. (2013). Clause order in sentences containing a since-subordinate. e-Rea. doi: https://doi.org/10.4000/erea.3476.
Jaśkowski, S. (1934). On the rules of suppositions in formal logic. Studia Logica 1, 5–32.
Kahle, R. and P. Schroeder-Heister (2006). Proof-Theoretic Semantics. Special issue of Synthese 148, 503–743.
Kripke, S. (1980). Naming and Necessity. Cambridge/MA: Harvard University Press.
Lellmann, B. and D. Pattinson (2012). Sequent systems for lewis’ conditional logics. In: Logics in Artificial Intelligence, 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Ed. by L. Fariñas del Cerro, A. Herzig, and J. Mengin. Berlin: Springer, 320–332.
Lewis, D. (2011). Counterfactuals. First published in 1973. Blackwell Publishers.
Marcus, R. B. (1961). Modalities and intensional languages. Synthese 13, 303–322.
Negri, S. and N. Olivetti (2015). A sequent calculus for preferential conditional logic based on neighbourhood semantics. In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Ed. by H. D. Nivelle. Springer, 115–134.
Negri, S. and G. Sbardolini (2016). Proof analysis for lewis counterfactuals. The Review of Symbolic Logic 9, 44–75.
Nute, D. and C. B. Cross (2001). Conditional logic. In: Handbook of Philosophical Logic, Vol. 4. Ed. by D. M. Gabbay and F. Guenthner. 2nd ed. Kluwer Academic Publishers, 1–98.
Olivetti, N. and G. L. Pozzato (2015). A standard internal calculus for lewis’ counterfactual logics. In: TABLEAUX 2015, LNAI 9323. Ed. by H. D. Nivelle. Springer, 266–282.
Pezlar, I. (2018). Proof-theoretic semantics and hyperintensionality. Logique et Analyse 242, 163–182.
Piecha, T. and P. Schroeder-Heister, eds. (2016). Advances in Proof-Theoretic Semantics. Cham: Springer.
Poggiolesi, F. (2016). Natural deduction calculi and sequent calculi for counterfactual logics. Studia Logica 104, 1003–1036.
Prawitz, D. (1965). Natural deduction: a proof-theoretical study. Reprint: Mineola/NY, Dover Publications, 2006.
Prawitz, D. (2006). Meaning approached via proofs. Synthese 148, 507–524.
Prawitz, D. (2012). Truth and proof in intuitionism. In: Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Ed. by P. Dybjer, S. Lindström, E. Palmgren, and G. Sundholm. Dordrecht: Springer, 45–67.
Schnieder, B. (2011). A logic for ‘because’. The Review of Symbolic Logic 4, 445–465.
Schroeder-Heister, P. (2004). On the notion of assumption in logical systems. In: Selected Papers Contributed to the Sections of GAP5 (Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22-26 September 2003). Ed. by R. Bluhm and C. Nimtz. Paderborn: Mentis, 27–48.
Schroeder-Heister, P. (2018). Proof-theoretic semantics. In: The Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. Spring 2018 edition. url: https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/.
Stalnaker, R. C. (1968). A theory of conditionals. In: Studies in Logical Theory. Ed. by N. Rescher. Oxford: Basil Blackwell, 98–112.
Stalnaker, R. C. and R. H. Thomason (1970). A semantic analysis of conditional logic. Theoria 36, 23–42.
Thomason, R. H. (1970). A fitch-style formulation of conditional logic. Logique et Analyse 13, 397–412.
Troelstra, A. S. and H. Schwichtenberg (2000). Basic Proof Theory. 2nd ed. Cambridge: Cambridge University Press.
Wansing, H. (2001). The idea of a proof-theoretic semantics and the meaning of the logical operations. Studia Logica 64, 3–20.
Weiss, Y. (2018). Basic intuitionistic conditional logic. Journal of Philosophical Logic 48, 447–469.
Więckowski, B. (2011). Rules for subatomic derivation. The Review of Symbolic Logic 4, 219–236.
Więckowski, B. (2016). Subatomic natural deduction for a naturalistic first-order language with non-primitive identity. Journal of Logic, Language and Information 25, 215–268.
Więckowski, B. (2021a). Intuitionistic multi-agent subatomic natural deduction for belief and knowledge. Journal of Logic and Computation 31 (3). Special issue on External and Internal Calculi forNon-Classical Logics,edited by A. Ciabattoni,D. Galmiche, N. Olivetti, and R. Ramanayake, 704–770. doi: https://doi.org/10.1093/logcom/exab013.
Więckowski, B. (2021b). Subatomic negation. Journal of Logic, Language and Information 30, 207–262.
Więckowski, B. (2023). Negative predication and distinctness. Logica Universalis 17, 103–138.
Williamson, T. (2007). The Philosophy of Philosophy. Blackwell Publishing.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-ShareAlike 4.0 International License (http://creativecommons.org/licenses/by-sa/4.0/), which permits use, sharing, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. If you remix, transform, or build upon this chapter or a part thereof, you must distribute your contributions under the same license as the original.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Więckowski, B. (2024). Counterfactual Assumptions and Counterfactual Implications. In: Piecha, T., Wehmeier, K.F. (eds) Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, vol 29. Springer, Cham. https://doi.org/10.1007/978-3-031-50981-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-031-50981-0_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-50980-3
Online ISBN: 978-3-031-50981-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)