Abstract
Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it comes to the terminology used in connexive logic, it seems to be not without problems. In this introduction, we aim at making a contribution towards both unifying and reducing the terminology. We hope that this can help making it easier to survey and access the field from outside the community of connexive logicians. Along the way, we will make clear the context to which the papers in this special issue on Frontiers of Connexive Logic belong and contribute.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Angell, R. B., A propositional logic with subjunctive conditionals, Journal of Symbolic Logic 27(3):327–343, 1962.
Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5:25–63, 1996.
Bocheński, J. M., Formale Logik, Alber, Freiburg, 1956 (Revised translation A History of Formal Logic, University of Notre Dame Press, Indiana 1961).
Bonevac, D., and J. Dever., A history of the connectives, in D. Gabbay, F.J. Pelletier, and J. Woods, (eds.), Handbook of the History of Logic, vol. 11, Elsevier, 2012, pp. 175–233.
Cantwell, J., The Logic of Conditional Negation, Notre Dame Journal of Formal Logic 49(3):245–260, 2008.
Crupi, V., and A. Iacona, The evidential conditional, Erkenntnis 87(6):2897–2921, 2022.
Estrada-González, L., The Bochum Plan and the foundations of contra-classical logics, CLE e-Prints, 19(1), 2020.
Estrada-González, L., An analysis of poly-connexivity, Studia Logica 110:925–947, 2022.
Estrada-González, L., and E. Ramírez-Cámara, A comparison of connexive logics, IfCoLog Journal of Logics and their Applications 3(3):341—355, 2016.
Fazio, D., and G. St. John, Connexive implications in substructural logics. arXiv:2209.02830, 2022.
Ferenz, N., Conditional FDE logics, in K. Bimbó, (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honour of Michael Dunn, College Publications, 2022, pp. 182–214.
Fitting, M., Bilattices in logic programming, in G. Epstein, (ed.), Proceedings of The International Symposium on Multiple-Valued Logic, IEEE, New York, 1990, pp. 238–246.
Francez, N., Natural-deduction for two connexive logics, IfCoLog Journal of Logics and their Applications 3:479–504, 2016.
Francez, N., A poly-connexive logic, Logic and Logical Philosophy 29:143–57, 2020.
Francez, N., A View of Connexive Logics, College Publications, London, 2021.
Gabbay, D., What is negation in a system?, in F. Drake, and J. Truss, (eds.), Logic Colloquium’ 86, Elsevier, Amsterdam, 1988, pp. 95–112.
Gabbay, D., and H. Wansing, (eds.), What is Negation?, Kluwer, Dordrecht, 1999.
Gherardi, G., and E. Orlandelli, Super-strict implications, Bulletin of the Section of Logic 50(1):1–34, 2021.
Gherardi, G., and E. Orlandelli, Non-normal super-strict implications, Electronic Proceedings in Theoretical Computer Science 358:1–11, 2022.
Günther, M., A connexive conditional, Logos & Episteme 13(1):55–63, 2022.
Humberstone, L., Contra-classical logics, Australasian Journal of Philosophy 78(4):438–474, 2000.
Jamrużek, O., and J. Malinowski, Boolean connexive logics: Semantics and tableau approach, Logic and Logical Philosophy 28(3):427–448, 2019.
Kamide, N., Kripke-Completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion, Journal of Philosophical Logic 49:1185–1212, 2020.
Kamide, N., and H. Wansing, Completeness of connexive Heyting–Brouwer logic, The IfColog Journal of Logics and their Applications 3:441–466, 2016.
Kapsner, A., Strong connexivity, Thought 1(2):141–145, 2012.
Kapsner, A., Humble connexivity, Logic and Logical Philosophy 28:513–536, 2019.
Kapsner, A., and H. Omori, Superconnexivity reconsidered, in Proceedings of NCL 2022, EPTCS 358, 2022, pp. 160–173.
König, E., Conditionals, concessive conditionals and concessives: Areas of contrast overlap and neutralization, in E.C. Traugott, A. ter Meulen, J.S. Reilly, and Ch.A. Ferguson, (eds.), On Conditionals, Cambridge University Press, 1986, pp. 229–246.
König, E., Constraints on the form and meaning of the protasis, in E.C. Traugott, A. ter Meulen, J.S. Reilly, and Ch.A. Ferguson, (eds.), On Conditionals, Cambridge University Press, 1986, pp. 215–227.
Lenzen, W., Rewriting the history of connexive logic, Journal of Philosophical Logic 51(1):525–553, 2022.
Malinowski, J., and R. Palczewski, Connexive Modal Logic, in A. Giordani, and J. Malinowski, (eds.), Logic in High Definition, Springer, Cham, 2021, pp. 49–65.
Marcos, J., On negation: Pure local rules, Journal of Applied Logic 3:185–219, 2005.
Martin, C., Logic, in The Cambridge Companion to Abelard, Cambridge University Press, 2004, pp. 158–199.
McCall, S., Non-classical Propositional Calculi, Ph.D. thesis, Oxford University, 1963.
McCall, S., A new variety of implication (abstract), Journal of Symbolic Logic 29:151–152, 1964.
McCall, S., Connexive implication, Journal of Symbolic Logic 31(3):415–433, 1966.
McCall, S., Connexive implication and the syllogism, Mind 76(303):346–356, 1967.
McCall, S., A history of connexivity, in D. Gabbay, F.J. Pelletier, and J. Woods, (eds.), Handbook of the History of Logic, vol. 11, Elsevier, 2012, pp. 415–449.
Niki, S., Improving strong negation, The Review of Symbolic Logic 16:951–977, 2023.
Niki, S., and H. Wansing, On the provable contradictions of the connexive logics C and C3, Journal of Philosophical Logic published online 29 July 2023.
Olkhovikov, G., On a new three-valued paraconsistent logic (in Russian), in Logic of Law and Tolerance, Ural State University Press, Yekaterinburg, 2001, pp. 96–113.
Olkhovikov, G. K., On the completeness of some first-order extensions of C, Journal of Applied Logics - IfCoLog Journal 10(1):57–114, 2023.
Omori, H., From paraconsistent logic to dialetheic logic, in H. Andreas, and P. Verdée, (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Springer, 2016, pp. 111–134.
Omori, H., A note on Francezc’ half-connexive formula, IfCoLog Journal of Logics and their Applications 3:505–512, 2016.
Omori, H., Towards a bridge over two approaches in connexive logic, Logic and Logical Philosophy 28:553–566, 2019.
Omori, H., and H. Wansing, Connexive logics. An overview and current trends, Logic and Logical Philosophy 28:371–387, 2019.
Omori, H., and H. Wansing, An extension of connexive logic C, in N. Olivetti, R. Verbrugge, S. Negri, and G. Sandu, (eds.), Advances in Modal Logic, vol. 13, College Publications, London, 2020, pp. 503–522.
Omori, H., and H. Wansing, Varieties of negation and contra-classicality in view of Dunn semantics, in K. Bimbó, (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honour of Michael Dunn, College Publications, 2022, pp. 309–337.
Pfeifer, N., and L. Schöppl, Experimental philosophy of connexivity, in H. Wansing, and H. Omori, (eds.), 60 Years of Connexive Logic, Springer, 202+. (22 pp.).
Pizzi, C., Boethius’ thesis and conditional logic, Journal of Philosophical Logic 6(1):283–302, 1977.
Pizzi, C., Weak vs. Strong Boethius’ Thesis: A Problem in the Analysis of Consequential Implication, in A. Ursini, and P. Aglinano, (eds.), Logic and Algebra, New York: Marcel Dekker, 1996, pp. 647–654.
Pizzi, P., Aristotle’s Thesis between paraconsistency and modalization, Journal of Applied Logic 3(1):119–131, 2005.
Pizzi, C., Aristotle’ Cubes and Consequential Implication, Logica Universalis 2:143–153, 2008.
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(5):569–588, 1997.
Pizzi, C., and T. Williamson, Conditional Excluded Middle in Systems of Consequential Implication, Journal of Philosophical Logic 34(5):333–362, 2005.
Priest, G., Negation as cancellation and connexive logic, Topoi 18(2):141–148, 1999.
Priest, G., An Introduction to Non-Classical Logic: From If to Is, Cambridge University Press, 2 edition, 2008.
Rahman, S., NO-ARGUMENTS: Denials, refutations, negations and the constitution of arguments, Characteristica Universalis Journal 1:135–160, 2020.
Raidl, E., Neutralization, Lewis’ doctored conditional, or another note on “A connexive conditional”, Logos & Episteme 14(1):101–118, 2023.
Rott, H., Difference-making conditionals and the relevant Ramsey test, Review of Symbolic Logic 15:133–164, 2022.
Routley, R., Semantics for connexive logics. I, Studia Logica 37(4):393–412, 1978.
Routley, R., and V. Routley, Negation and contradiction, Revista Colombiana de Matemáticas 19(4):201–230, 1985.
Seuren, P., A logic-based approach to problems in pragmatics, Poznań Studies in Contemporary Linguistics 46:519–532, 2010.
Stalnaker, R. C., A theory of conditionals, in N. Rescher, (ed.), Studies in Logical Theory, Oxford, 1968, pp. 98–112.
Sylvan, R., A preliminary western history of sociative logics, chapter 4 in Bystanders’ Guide to Sociative Logics, Research Series in Logic and Metaphysics\(\#9\), Australian National University, Canberra, 1989 (Reprinted in: D. Hyde, and G. Priest, (eds.), chapter 5 of Sociative Logics and their Applications. Essays by the Late Richard Sylvan, Aldershot, Ashgate Publishing, 2000).
Wansing, H., (ed.), Negation. A Notion in Focus, de Gryuter, Berlin, 1996.
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 College Publications, London, 2005, pp. 367–383.
Wansing, H., A Note on Negation in Categorial Grammar, Logic Journal of the IGPL 15:271–286, 2007.
Wansing, H., Natural deduction for bi-connexive logic and a two-sorted typed \(\lambda \)-calculus, IfCoLog Journal of Logics and their Applications 3:413–439, 2016.
Wansing, H., Connexive logic, in E.N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/archives/sum2023/entries/logic-connexive/, summer 2023 edition, 2023.
Wansing, H., Beyond paraconsistency. A plea for a radical breach with the Aristotelean orthodoxy logic, in A. Rodrigues, H. Antunes, and A. Freire, (eds.), Outstanding Contributions to Logic volume for Walter Carnielli, Springer, 2023, forthcoming.
Wansing, H., and H. Omori, A note on “a connexive conditional”, Logos & Episteme 13(3):325–328, 2022.
Wansing, H., H. Omori, and T. Ferguson, The tenacity of connexive logic: Preface to the special issue, IfCoLog Journal of Logics and their Applications 28(3):279–296, 2016.
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(3):567–610, 2019.
Wansing, H., and Z. Weber, Quantifiers in connexive logic (in general and in particular), Submitted for publication, 2023.
Weiss, Y., Connexive extensions of regular conditional logic, Logic and Logical Philosophy 28(3):611–627, 2019.
Weiss, Y., Semantics for pure theories of connexive implication, Review of Symbolic Logic 15(3):611–627, 2022.
Wu, H., and M. Ma, An Infinity of Intuitionistic Connexive Logics, in M. Banerjee, and A.V. Sreejith, (eds.), Logic and Its Applications. 10th Indian Conference, ICLA 2023, vol 13963 of Lecture Notes in Computer Science, Springer, Cham, 2023, pp. 189–206.
Acknowledgements
We would like to thank the members of the programme and organization committees (different from ourselves) of the Trends in Logic conference at Ruhr University Bochum, Germany, December 6–8, 2021, and all the referees who helped us to edit the present special issue of Studia Logica. Heinrich Wansing has been supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant agreement ERC-2020-ADG, 101018280, ConLog, and Hitoshi Omori has been supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research. Moreover, we are grateful to Sara Ayhan, Norihiro Kamide, Nils Kürbis, Satoru Niki, Grigory Olkhovikov, Yaroslav Shramko and those contributors to this special issue (different from ourselves) who gave us feedback on this introductory note, especially Hans Rott and Luis Estrada-González. Needless to say that we take sole responsibility for the views presented and the suggestions made in this paper.
Funding
Open Access funding enabled and organized by Projekt DEAL.
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
Wansing, H., Omori, H. Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology. Stud Logica 112, 1–35 (2024). https://doi.org/10.1007/s11225-023-10082-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-023-10082-1