Strong Boethius' thesis and consequential implication

Journal of Philosophical Logic 26 (5):569-588 (1997)
Abstract
The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying "Aristotle's Thesis" (p does not imply not p) and "Weak Boethius' Thesis" (if p implies q, then p does not imply not q). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of "Strong Boethius' Thesis" (that p implies q implies that p does not imply not q) is identified
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004, 2005
DOI 10.1023/A:1004230028063
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,495
Through your library
References found in this work BETA
The Development of Logic.W. C. Kneale - 1962 - Oxford University Press.
Verification, Falsification, and Cancellation in ${\Rm KT}$.Timothy Williamson - 1990 - Notre Dame Journal of Formal Logic 31 (2):286-290.
Decision Procedures for Logics of Consequential Implication.Claudio Pizzi - 1991 - Notre Dame Journal of Formal Logic 32 (4):618-636.

View all 7 references / Add more references

Citations of this work BETA
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Contra-Classical Logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.

Add more citations

Similar books and articles
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.
Physicalism and Strict Implication.Robert Kirk - 2006 - Synthese 151 (3):523-536.
Natural Deduction Based Upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Physicalism and Strict Implication.Jurgen Schroder - 2006 - Synthese 151 (3):537-545.
Physicalism and Strict Implication.Jürgen Schröder - 2006 - Synthese 151 (3):537 - 545.
Added to PP index
2009-01-28

Total downloads
30 ( #182,549 of 2,210,569 )

Recent downloads (6 months)
1 ( #356,847 of 2,210,569 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature