Show Summary Details

Page of

PRINTED FROM OXFORD REFERENCE ( (c) Copyright Oxford University Press, 2013. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single entry from a reference work in OR for personal use.

date: 20 November 2017

Boethius’ thesis

A Dictionary of Logic

Thomas Macaulay Ferguson,

Graham Priest

Boethius’ thesis 

In systems with a negation Boethius’ thesis and conditional connective Boethius’ thesis, the non-classical axiom scheme:

  • Boethius’ thesis

i.e., the principle that no proposition entails both a formula and its negation. In systems with a conjunction, the term is sometimes used to denote the similar axiom scheme:

  • Boethius’ thesis

which is also called Abelard’s thesis and Strawson’s thesis, as the scheme captures intuitions concerning entailment expressed by philosophers Peter Abelard (1079–1142) and P. F. Strawson (1919–2006).

Boethius’ thesis is taken to be one of the hallmarks of connexive logic and with modest presumptions (such as the validity of self-implication Boethius’ thesis), Boethius’ thesis entails the related connexive principle of Aristotle’s thesis:

  • Boethius’ thesis

Was This Useful?