Mortensen logics

Electronic Proceedings in Theoretical Computer Science 358:189-201 (2022)
  Copy   BIBTEX

Abstract

Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is obtained by adding a special conditional to LP. Among its most notable features, besides its being connexive, M3V is negation-inconsistent and it validates the negation of every conditional. But Mortensen has also studied and applied extensively other non-connexive logics, for example, closed set logic, CSL, and a variant of Sette's logic, identified and called 'P2' by Marcos. In this paper, we analyze and compare systematically the connexive variants of CSL and P2, obtained by adding the M3V conditional to them. Our main observations are two. First, that the inconsistency of M3V is exacerbated in the connexive variant of closed set logic, while it is attenuated in the connexive variant of the Sette-like P2. Second, that the M3V conditional is, unlike other conditionals, "connexively stable", meaning that it remains connexive when combined with the main paraconsistent negations.

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Connexive Restricted Quantification.Nissim Francez - 2020 - Notre Dame Journal of Formal Logic 61 (3):383-402.
Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - 2019 - Logic and Logical Philosophy 28 (3):567-610.
On Relevant Acceptable Strictly Connexive Logics.Gemma Robles - forthcoming - Journal of Logic, Language and Information:1-23.
Stalnakerian Connexive Logics.Xuefeng Wen - 2023 - Studia Logica 112 (1):365-403.
Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
A Poly-Connexive Logic.Nissim Francez - 2020 - Logic and Logical Philosophy 29 (1):143-157.
Connexive logics. An overview and current trends.Hitoshi Omori & Heinrich Wansing - 2019 - Logic and Logical Philosophy 28 (3):371-387.
Inferential-connexive mixed logics.Federico Pailos - 2025 - Logic Journal of the IGPL 33 (6).
Situation-Based Connexive Logic.Alessandro Giordani - 2023 - Studia Logica 112 (1):295-323.

Analytics

Added to PP
2025-12-10

Downloads
162 (#256,783)

6 months
113 (#112,804)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Luis Estrada-González
National Autonomous University of Mexico
Fernando Cano-Jorge
University of Otago

References found in this work

Entailment: The Logic of Relevance and Necessity. - 1975 - Studia Logica 54 (2):261-266.
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.
A propositional logic with subjunctive conditionals.R. B. Angell - 1962 - Journal of Symbolic Logic 27 (3):327-343.

View all 16 references / Add more references