Classical Logic Is Connexive

Australasian Journal of Logic (2):91-99 (2024)
  Copy   BIBTEX

Abstract

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in part about (a property related to) the soundness of arguments.

Author's Profile

Analytics

Added to PP
2024-01-11

Downloads
582 (#39,811)

6 months
279 (#6,326)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?