Connexive logics. An overview and current trends

Hitoshi Omori, Heinrich Wansing

DOI: http://dx.doi.org/10.12775/LLP.2019.026

Abstract


In this introduction, we offer an overview of main systems developed in the growing literature on connexive logic, and also point to a few topics that seem to be collecting attention of many of those interested in connexive logic. We will also make clear the context to which the papers in this special issue belong and contribute.


Keywords


connexive logic; principle of conjunctive contrariety; consequential implication; cancellation account of negation; contra-classical logics

Full Text:

PDF

References


Richard B. Angell, “A propositional logic with subjunctive conditionals”, Journal of Symbolic Logic 27, 3 (1962): 327–343. DOI: http://dx.doi.org/10.2307/2964651

Ross Brady, “A Routley-Meyer affixing style semantics for logics containing Aristotle’s thesis”, Studia Logica 48, 2 (1989): 235–241. DOI: http://dx.doi.org/10.1007/BF02770514

John Cantwell, “The logic of conditional negation”, Notre Dame Journal of Formal Logic 49, 3 (2008): 245–260. DOI: http://dx.doi.org/10.1215/00294527-2008-010

Michael De and Hitoshi Omori, “Classical negation and expansions of Belnap-Dunn logic”, Studia Logica 103, 4 (2015): 825–851. DOI: http://dx.doi.org/10.1007/s11225-014-9595-7

Paul Egré and Guy Politzer, “On the negation of indicative conditionals”, pages 10–18 in M. Franke M. Aloni and F. Roelofsen (eds.), Proceedings of the Amsterdam Colloquium, 2013.

Luis Estrada-González and Elisángela Ramírez-Cámara, “A comparison of connexive logics”, IfCoLog Journal of Logics and their Applications 3, 3 (2016): 341–355.

Lloyd Humberstone, “Contra-classical logics”, Australasian Journal of Philosophy 78, 4 (2000): 438–474. DOI: http://dx.doi.org/10.1080/00048400012349741

Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics, vol. 54 of Studies in Logic, College Publications, London, 2015.

Andreas Kapsner, “Strong connexivity”, Thought 1, 2 (2012): 141–145. DOI: http://dx.doi.org/10.1002/tht3.19

Storrs McCall, “Connexive implication”, Journal of Symbolic Logic 31, 3 (1966): 415–433. DOI: http://dx.doi.org/10.2307/2270458

Storrs McCall, “Connexive implication and the syllogism”, Mind 76, 303 (1967): 346–356. DOI: http://dx.doi.org/10.1093/mind/LXXVI.303.346

Storrs McCall, “Connexive Gentzen”, Logic Journal of the IGPL 22, 6 (2014): 964–981. DOI: http://dx.doi.org/10.1093/jigpal/jzu019

Chris Mortensen, “Aristotle’s thesis in consistent and inconsistent logics”, Studia Logica 43, 1/2 (1984): 107–116. DOI: http://dx.doi.org/10.1007/BF00935744

Everett Nelson, “Intensional relations”, Mind 39 (1930): 440–453.

Sergei Odintsov, Constructive Negations and Paraconsistency, vol. 26 of Trends in Logic, Springer, 2008. DOI: http://dx.doi.org/10.1007/978-1-4020-6867-6

Grigory Olkhovikov, “On a new three-valued paraconsistent logic” (in Russian), pages 96–113 in Logic of Law and Tolerance, Ural State University Press, Yekaterinburg, 2001.

Hitoshi Omori, “A simple connexive extension of the basic relevant logic BD”, IfCoLog Journal of Logics and their Applications 3, 3 (2016): 467–478.

Hitoshi Omori, “From paraconsistent logic to dialetheic logic”, pages 111–134 in Holger Andreas and Peter Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Springer, 2016. DOI: http://dx.doi.org/10.1007/978-3-319-40220-8_8

Hitoshi Omori and Katsuhiko Sano, “Generalizing functional completeness in Belnap-Dunn logic”, Studia Logica 103, 5 (2015): 883–917. DOI: http://dx.doi.org/10.1007/s11225-014-9597-5

Hitoshi Omori and Heinrich Wansing, “40 years of FDE: An introductory overview”, Studia Logica 105, 6 (2017): 1021–1049. DOI: http://dx.doi.org/10.1007/s11225-017-9748-6

Hitoshi Omori and Heinrich Wansing, “On contra-classical variants of Nelson logic N4 and its classical extension”, Review of Symbolic Logic 11, 4 (2018): 805–820. DOI: http://dx.doi.org/10.1017/S1755020318000308

Niki Pfeifer, “Experiments on Aristotle’s thesis: Towards an experimental philosophy of conditionals”, The Monist 95, 2 (2012): 223–240. DOI: http://dx.doi.org/10.5840/monist201295213

Claudio Pizzi, “Boethius’ thesis and conditional logic”, Journal of Philosophical Logic 6, 1 (1977): 283–302. DOI: http://dx.doi.org/10.1007/BF00262063

Claudio Pizzi, “Aristotle’s thesis between paraconsistency and modalization”, Journal of Applied Logic 3, 1 (2005): 119–131. DOI: http://dx.doi.org/10.1016/j.jal.2004.07.014

Claudio Pizzi and Timothy Williamson, “Strong Boethius’ thesis and consequential implication”, Journal of Philosophical Logic 26, 5 (1997): 569–588. DOI: http://dx.doi.org/10.1023/A:1004230028063

Graham Priest, “Negation as cancellation and connexive logic”, Topoi 18, 2 (1999): 141–148.

Shahid Rahman and Helge Rückert, “Dialogical connexive logic”, Synthese 127 (2001): 105–139.

Richard Routley, “Semantics for connexive logics I”, Studia Logica 37, 4 (1978): 393–412. DOI: http://dx.doi.org/10.1007/BF02176171

Richard Routley and Hugh Montgomery, “On systems containing Aristotle’s thesis”, Journal of Symbolic Logic 33, 1 (1968): 82–96. DOI: http://dx.doi.org/10.2307/2270055

Richard Routley and Valerie Routley, “Negation and contradiction”, Revista Colombiana de Matemáticas 19, 4 (1985): 201–230.

Heinrich Wansing, “Connexive modal logic”, pages 367–383 in Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, and Heinrich Wansing (eds.), Advances in Modal Logic. Volume 5, King’s College Publications, 2005.

Heinrich Wansing, “A note on negation in categorial grammar” Logic Journal of the IGPL 15 (2007): 271–286. DOI: http://dx.doi.org/10.1093/jigpal/jzm012

Heinrich Wansing, “Connexive logic”, in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Fall 2014 edition, 2014. http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/

Heinrich Wansing and Daniel Skurt, “Negation as cancellation, connexive logic, and qLPm”, Australasian Journal of Logic 15 (2018): 476–488. DOI: http://dx.doi.org/10.26686/ajl.v15i2.4869

Heinrich Wansing, Hitoshi Omori, and Thomas Ferguson (eds.), Connexive Logics, special issue of IfCoLog Journal of Logics and their Applications, 2016.

John Woods, “Two objections to system CC1 of connexive implication”, Dialogue 7, 3 (1968): 473–475. DOI: http://dx.doi.org/10.1017/S0012217300031279








ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism