Strong Boethius' thesis and consequential implication

Journal of Philosophical Logic 26 (5):569-588 (1997)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 107,141

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

Contenability and the Logic of Consequential Implication.Claudio Pizzi - 2004 - Logic Journal of the IGPL 12 (6):561-579.
Two Kinds of Consequential Implication.Claudio E. A. Pizzi - 2018 - Studia Logica 106 (3):453-480.
The Implicative Conditional.Eric Raidl & Gilberto Gomes - 2024 - Journal of Philosophical Logic 53 (1):1-47.
Material implication and general indicative conditionals.Stephen Barker - 1997 - Philosophical Quarterly 47 (187):195-211.
The inadequacy of the neighbourhood semantics for modal logic.Martin Gerson - 1975 - Journal of Symbolic Logic 40 (2):141-148.

Analytics

Added to PP
2009-01-28

Downloads
103 (#224,065)

6 months
16 (#227,462)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Timothy Williamson
University of Oxford

Citations of this work

Rewriting the History of Connexive Logic.Wolfgang Lenzen - 2022 - Journal of Philosophical Logic 51 (3):525-553.
Strictness and connexivity.Andrea Iacona - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (10):1024-1037.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
The Implicative Conditional.Eric Raidl & Gilberto Gomes - 2024 - Journal of Philosophical Logic 53 (1):1-47.
Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.

View all 28 citations / Add more citations

References found in this work

The Development of Logic.William Calvert Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Studia Logica 15:308-310.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Philosophy 40 (151):79-83.
Mathematics of Modality.Robert Goldblatt - 1993 - Center for the Study of Language and Information Publications.

View all 9 references / Add more references