Aristotle's cubes and consequential implication

DOI10.1007/S11787-007-0020-0MaRDI QIDQ2427072zbMATH OpenOpenAlexFDO

Authors Claudio E. A. Pizzi

Publication date 7 May 2008

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-007-0020-0

zbMATH Keywords

Aristotelian cubesconnexive logicconsequential implicationsquare of opposition

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Review text

The author's systems of `consequential implication' belong to the broad family of connexive logics. Such systems are compatible with Boethius' Thesis (BT) \((A\to B)\supset\neg(A\to\neg B)\) or, equivalently, Aristotle's Thesis (AT) \(\neg(A\to\neg A)\). The logic CI contains (BT) as an axiom; it is translationally equivalent to the normal modal logic KD [cf., e.g., the author and \textit{T. Williamson}, J. Philos. Log. 26, No. 5, 569--588 (1997; Zbl 0882.03012)]. The present paper demonstrates how to construct various Aristotelian squares of opposition relating formulas in \(\to\) and \(\neg\), or with a related implication \(\Rightarrow\), and furthermore how such squares can be combined to form Aristotelian cubes. There are a plurality of such cubes within this framework.

Recommendations

• scientific article; zbMATH DE number 761280
• Aristotle's thesis in consistent and inconsistent logics
• scientific article; zbMATH DE number 1361531
• Strong Boethius' thesis and consequential implication
• Contenability and the Logic of Consequential Implication

Cited in

(11)

• XIV Latin American Symposium on Mathematical Logic (SLALM)
• Generalization and composition of modal squares of oppositions
• scientific article; zbMATH DE number 2149467 (Why is no real title available?)
• scientific article; zbMATH DE number 1361531 (Why is no real title available?)
• scientific article; zbMATH DE number 761280 (Why is no real title available?)
• scientific article; zbMATH DE number 937392 (Why is no real title available?)
• Normatively determined propositions
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Varieties of cubes of opposition
• Inferentialism and connexivity
• Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation

This page was built for publication: Aristotle's cubes and consequential implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2427072)