Abstract
A typical theorem of conaexive logics is Aristotle's Thesis(A), ∼(A→∼A).A cannot be added to classical logic without producing a trivial (Post-inconsistent) logic, so connexive logics typically give up one or more of the classical properties of conjunction, e.g.(A & B)→A, and are thereby able to achieve not only nontriviality, but also (negation) consistency. To date, semantical modellings forA have been unintuitive. One task of this paper is to give a more intuitive modelling forA in consistent logics. In addition, while inconsistent but nontrivial theories, and inconsistent nontrivial logics employing prepositional constants (for which the rule of uniform substitution US fails), have both been studied extensively within the paraconsistent programme, inconsistent nontrivial logics (closed under US) do not seem to have been. This paper gives sufficient conditions for a logic containingA to be inconsistent, and then shows that there is a class of inconsistent nontrivial logics all containingA. A second semantical modelling forA in such logics is given. Finally, some informal remarks about the kind of modellingA seems to require are made.
Similar content being viewed by others
References
A. Anderson andN. Belnap,Entailment, Vol. 1, Princeton, Princeton University Press, 1975.
R. Angell,A propositional logic with subjunctive conditionals,Journal of Symbolic Logic 27 (1962), pp. 327–43.
S. McCall,Connexive implication,Journal of Symbolic Logic 31 (1966), pp. 415–433.
R. Meyer,S5 the poor man's connexive implication,Relevance Logic Newsletter 2 (1977).
C. Mortensen,Variants of the extension lemma, forthcoming.
R. Routley,Semantics for connexive logic I, forthcoming.
R. Routley,Semantics for connexive logic II. Alternative and More Comprehensive Analyses, forthcoming.
R. Routley andR. Meyer,The semantics of entailment, I in H. Leblanc (ed.)Truth, Syntax and Modality, Amsterdam, North Holland, 1973, pp. 199–243.
R. Routley andR. Meyer,Relevant Logics and their Rivals, Ridgeview Pulblishing Co., California, 1982.
R. Routley andH. Montgomery,On systems containing Aristotle's thesis,Journal of Symbolic Logic 33 (1968), pp. 82–96.
R. Routley andH. Montgomery,Models for connexive logic, forthcoming.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mortensen, C. Aristotle's thesis in consistent and inconsistent logics. Stud Logica 43, 107–116 (1984). https://doi.org/10.1007/BF00935744
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00935744