Abstract
The aim of this paper is to present a system of modal connexive logic based on a situation semantics. In general, modal connexive logics are extensions of standard modal logics that incorporate Aristotle’s and Boethius’ theses, that is the thesis that a sentence cannot imply its negation and the thesis that a sentence cannot imply a pair of contradictory sentences. A key problem in devising a connexive logic is to come up with a system that is both sufficiently strong to fulfill some specific connexive theses and sufficiently well-motivated from a semantical point of view. The approach proposed here tries to address this problem by defining an appropriate connexive relation in terms of more basic notions. The result is a well-motivated system of modal connexive logic that nicely fits in both with the traditional ideas concerning the connexive conditional and with the current developments in connexive logic.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Data sharing
Not applicable to this article.
References
Austin, J., Truth, Proceedings of the Aristotelian Society, Supplementary Volume 24:111–128, 1950.
Barwise, J., The Situation in Logic, Center for the Study of Language (CSLI), Stanford, 1989.
Barwise, J., and J. Seligman, Information Flow. The Logic of Distributed Systems, Cambridge University Press, 1997.
Cantwell, J., The logic of conditional negation, Notre Dame Journal of Formal Logic 49:245–260, 2008.
Chellas, B.F., Modal Logic. An Introduction, Cambridge University Press, 1980.
Epstein, R.L., The Semantic Foundations of Logic. Volume 1: Propositional Logic, vol. 35 of Nijhoff International Philosophy Series, Springer, 1990.
Fine, K., A theory of truth-maker content I: Conjunction, disjunction and negation, Journal of Philosophical Logic 46:625–674, 2017a.
Fine, K., A theory of truth-maker content II: Subject-matter, common content, remainder and ground, Journal of Philosophical Logic 46:675–702, 2017b.
Jarmużek, T., and J. Malinowski, Boolean connexive logics. Semantic and Tableau approach, Logic and Logical Philosophy 28:427–448, 2019.
Jarmużek, T., and J. Malinowski, Modal Boolean connexive logics. Semantic and Tableau approach, Bulletin of the Section of Logic 48:213–243, 2019.
Kapsner, A., Strong connexivity, Thought 1:141–145, 2012.
Kapsner, A., Humble Connexivity, Logic and Logical Philosophy 28:513–536, 2019.
Klonowski, M., Axiomatization of some basic and modal Boolean connexive Logics, Logica Universalis 15:517–536, 2021.
Lenzen, W., A critical examination of the historical origins of connexive logic, History and Philosophy of Logic 41:16–35, 2020.
Lenzen, W., Leibniz’s laws of consistency and the philosophical foundations of connexive logic, Logic and Logical Philosophy 28:537–551, 2019.
Lenzen, W., Rewriting the history of connexive logic, Journal of Philosophical Logic 51:525–553, 2022.
Nelson, E.J., Intensional relations, Mind 39:440–453, 1930.
Omori, H., and H. Wansing, An overview and current trends, Logic and Logical Philosophy 28:371–387, 2019.
Pizzi, C., Aristotle’s thesis between paraconsistency and modalization, Journal of Applied Logic 3:119–131, 2005.
Pizzi, C., Two kinds of consequential implication, Studia Logica 106:453–480, 2018.
Pizzi, C., and T. Williamson, ‘Strong Boethius’ thesis and consequential implication, Journal of Philosophical Logic 26:569–588, 1997.
Priest, G., Negation as cancellation, and connexive logic, Topoi 18:141–148, 1999.
Wansing, H., Connexive modal logic, in R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing, (eds.), Advances in Modal Logic, vol. 5. King’s Colledge Publications, 2005, pp. 367–383.
Wansing, H., Connexive logic, in The Stanford Encyclopedia of Philosophy, Summer Edition, 2022.
Wansing, H., and D. Skurt, Negation as cancellation, connexive logic and qLPm, Australasian Journal of Logic 15:476–488, 2018.
Wansing, H. and M. Unterhuber, Connexive Conditional Logic. Part I, Logic and Logical Philosophy 28:567–610, 2019.
Acknowledgements
I would like to thank Hitoshi Omori and two anonymous referees of this journal for their highly valuable comments on a previous version of this work.
Funding
Open access funding provided by Universitá Cattolica del Sacro Cuore within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Special Issue: Frontiers of Connexive Logic Edited by: Hitoshi Omori and Heinrich Wansing.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Giordani, A. Situation-Based Connexive Logic. Stud Logica 112, 295–323 (2024). https://doi.org/10.1007/s11225-023-10051-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-023-10051-8