Journal article

### Strong Boethius' thesis and consequential implication

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 q does not imply not q) is identified.
Publication status:
Published
Peer review status:
Peer reviewed

### Access Document

Publisher copy:
10.1023/A:1004230028063

### Authors

More by this author
Institution:
Università di Siena
Department:
Dipartimento di Filosofia e Scienze Sociali
More by this author
Institution:
University of Edinburgh
Department:
Philosophy Department
Publisher:
Springer Publisher's website
Journal:
Journal of Philosophical Logic Journal website
Volume:
26
Issue:
5
Pages:
569-588
Publication date:
1997
DOI:
EISSN:
1573-0433
ISSN:
0022-3611
URN:
uuid:9fd0a144-ed84-4d30-a8d2-50cfb7e5e0ff
Local pid:
ora:5680
Language:
English
Keywords:
Subjects: