Journal of Philosophical Logic

, Volume 26, Issue 5, pp 569–588

Strong Boethius’ Thesis and Consequential Implication

  • Claudio Pizzi
  • Timothy Williamson
Article

DOI: 10.1023/A:1004230028063

Cite this article as:
Pizzi, C. & Williamson, T. Journal of Philosophical Logic (1997) 26: 569. doi:10.1023/A:1004230028063

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.

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Claudio Pizzi
    • 1
  • Timothy Williamson
    • 2
  1. 1.Dipartimento di Filosofia e Scienze SocialiUniversità di SienaSienaItaly
  2. 2.Philosophy DepartmentThe University of EdinburghEdinburghU.K