Two Kinds of Consequential Implication

Studia Logica 106 (3):453-480 (2018)
  Copy   BIBTEX


The first section of the paper establishes the minimal properties of so-called consequential implication and shows that they are satisfied by at least two different operators of decreasing strength and \). Only the former has been analyzed in recent literature, so the paper focuses essentially on the latter. Both operators may be axiomatized in systems which are shown to be translatable into standard systems of normal modal logic. The central result of the paper is that the minimal consequential system for \, CI\, is definitionally equivalent to the deontic system KD and is intertranslatable with the minimal consequential system for \, CI. The main drawback ot the weaker operator \ is that it lacks unrestricted contraposition, but the final section of the paper argues that \ has some properties which make it a valuable alternative to \, turning out especially plausible as a basis for the definition of operators representing synthetic conditionals.



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

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.
Contenability and the Logic of Consequential Implication.Claudio Pizzi - 2004 - Logic Journal of the IGPL 12 (6):561-579.
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.
Basic deviance reconsidered.Markus E. Schlosser - 2007 - Analysis 67 (3):186–194.
Implicit Assertions in Literary Fiction.Jukka Mikkonen - 2010 - Proceedings of the European Society for Aesthetics, Vol. 2.
O implikacji kauzalnej.Anna Modrzejewska - 2004 - Roczniki Filozoficzne 52 (1):215-224.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.


Added to PP

28 (#572,733)

6 months
8 (#370,225)

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.
Axioms for a Logic of Consequential Counterfactuals.Claudio E. A. Pizzi - 2023 - Logic Journal of the IGPL 31 (5):907-925.
Situation-Based Connexive Logic.Alessandro Giordani - 2023 - Studia Logica 112 (1):295-323.

Add more citations

References found in this work

Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
A propositional logic with subjunctive conditionals.R. B. Angell - 1962 - Journal of Symbolic Logic 27 (3):327-343.
Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.
On systems containing Aristotle's thesis.R. Routley & H. Montgomery - 1968 - Journal of Symbolic Logic 33 (1):82-96.

View all 11 references / Add more references