Connexive logic

Connexive logic names one class of alternative, or non-classical, logics designed to exclude the so-called paradoxes of material implication. (Other logical theories with the same agenda include relevance logic, also known as relevant logic.) The characteristic that separates connexive logic from other non-classical logics is its acceptance of Aristotle's Thesis, i.e. the formula,It is impossible that the same thing should be necessitated by the being and the not-being of the same thing. I mean, for example, that it is impossible that B should necessarily be great if A is white, and that B should necessarily be great if A is not white. For if B is not great A cannot be white. But if, when A is not white, it is necessary that B should be great, it necessarily results that if B is not great, B itself is great. But this is impossible. An. Pr. ii 4.57b3.And those who introduce the notion of connexion say that a conditional is sound when the contradictory of its consequent is incompatible with its antecedent. Connexive logic names one class of alternative, or non-classical, logics designed to exclude the so-called paradoxes of material implication. (Other logical theories with the same agenda include relevance logic, also known as relevant logic.) 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,