![]() | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (June 2016) |
Connexive logic is a class of non-classical logics designed to exclude the paradoxes of material implication. The characteristic that separates connexive logic from other non-classical logics is its acceptance of Aristotle's thesis, i.e. the formula, as a logical truth. Aristotle's thesis asserts that no statement follows from its own denial. Stronger connexive logics also accept Boethius' thesis, which states that if a statement implies one thing, it does not imply its opposite.
Relevance logic is another logical theory that tries to avoid the paradoxes of material implication.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search