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 (for details see Privacy Policy and Legal Notice).

date: 21 April 2018

connexive logic

A Dictionary of Logic

Thomas Macaulay Ferguson,

Graham Priest

connexive logic 

Describes a collection of related deductive systems that intend to capture the position that no proposition should entail its own negation. Frequently, logics described as connexive enjoy theorems such as Aristotle’s thesis:

  • connexive logic

or Boethius’ thesis:

  • connexive logic

Formal accounts of these theses have generally been accompanied by severe restrictions. For example, because axiomatic representations of the inference rule of simplification entail that both connexive logic and connexive logic, systems containing Boethius’ thesis are inconsistent with axiomatic forms of this rule. Likewise, contraposition is not admissible in many connexive logics.