Contenability and the Logic of Consequential Implication

Logic Journal of the IGPL 12 (6):561-579 (2004)
  Copy   BIBTEX


The aim of the paper is to outline a treatment of cotenability inspired by a perspective which had strong roots in ancient logic since Chrysippus and was partially recovered in the XX Century by E. Nelson and the exponents of so-called connexive logic. Consequential implication is a modal reinterpretation of connexive implication which permits a simple reconstruction of Aristotle's square of conditionals, in which proper place is given not only to ordinary cotenability between A and B, represented by ¬, but to its “secondary” variant ¬ . After showing that logics of strict implication, of Stalnaker-Lewis conditionals and of relevant implication do not satisfy the intuitive properties required for cotenability , it is proved that such conditions are satisfied by consequential cotenability and by its secondary variant . The notions of strong cotenability and of bilateral cotenability are then introduced: the latter stands to standard cotenabilty as contingency stands to possibility, and in Section 9 it is shown to be a useful tool in the reconstruction of Boethius' theory of adjuncta



    Upload a copy of this work     Papers currently archived: 92,150

External links

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

Through your library

Similar books and articles

Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.
Aristotle’s Cubes and Consequential Implication.Claudio Pizzi - 2008 - Logica Universalis 2 (1):143-153.
Decision procedures for logics of consequential implication.Claudio Pizzi - 1991 - Notre Dame Journal of Formal Logic 32 (4):618-636.
Meanings of Implication.John Corcoran - 1973 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 9 (24):59-76.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Strict conditionals: A negative result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
O implikacji kauzalnej.Anna Modrzejewska - 2004 - Roczniki Filozoficzne 52 (1):215-224.
Conditionals in reasoning.John Cantwell - 2009 - Synthese 171 (1):47 - 75.
Ockham’s Calculus of Strict Implication.Wolfgang Lenzen - 2015 - Logica Universalis 9 (2):181-191.


Added to PP

30 (#534,905)

6 months
8 (#366,578)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Claudio Pizzi
Università degli Studi di Siena

Citations of this work

Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
Connexive Negation.Luis Estrada-González & Ricardo Arturo Nicolás-Francisco - 2023 - Studia Logica (Special Issue: Frontiers of Conn):1-29.
Counterfactuals and modus tollens in abductive arguments.C. Pizzi - 2013 - Logic Journal of the IGPL 21 (6):962-979.
Axioms for a Logic of Consequential Counterfactuals.Claudio E. A. Pizzi - 2023 - Logic Journal of the IGPL 31 (5):907-925.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references