| On the Role of Aristotle's Connexive Axioms in Non-connexive Logics
Nissim Francez
In this paper, I investigate the effect of Aristotle’s connexive axioms in nonconnexive logics. I define two properties of formula schemes ('): 1. pos-reflection: (') ' 2. neg-reflection: (') ¬' I then investigate several logics for the reflectivity of A1 (') = ¬('!¬'), and A2 (') = ¬(¬'!').
7 September 2020
|