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: 18 January 2018

Aristotle’s thesis

A Dictionary of Logic

Thomas Macaulay Ferguson,

Graham Priest

Aristotle’s thesis 

The non-classical thesis concerning entailment that a proposition can never entail its own negation. In systems with a negation connective Aristotle’s thesis and conditional connective Aristotle’s thesis, this is made formal by accepting the axiomAristotle’s thesis

The thesis is named after Aristotle (384–322 bce), who asserts in the Prior Analytics that it is impossible that the non-greatness of an object entails its greatness. Aristotle’s thesis is one of the hallmarks of connexive logics.