Angell and McCall Meet Wansing

Studia Logica 112 (1):141-165 (2024)
  Copy   BIBTEX

Abstract

In this paper, we introduce a new logic, which we call AM3. It is a connexive logic that has several interesting properties, among them being strongly connexive and validating the Converse Boethius Thesis. These two properties are rather characteristic of the difference between, on the one hand, Angell and McCall’s CC1 and, on the other, Wansing’s C. We will show that in other aspects, as well, AM3 combines what are, arguably, the strengths of both CC1 and C. It also allows us an interesting look at how connexivity and the intuitionistic understanding of negation relate to each other. However, some problems remain, and we end by pointing to a large family of weaker logics that AM3 invites us to further explore.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2024-02-19

Downloads
20 (#1,042,475)

6 months
7 (#715,360)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
Negation as Cancellation, Connexive Logic, and qLPm.Heinrich Wansing - 2018 - Australasian Journal of Logic 15 (2):476-488.
A propositional logic with subjunctive conditionals.R. B. Angell - 1962 - Journal of Symbolic Logic 27 (3):327-343.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.

View all 14 references / Add more references