An Easy Road to Multi-contra-classicality
Luis Estrada‐González · Erkenntnis · 2021
A contra-classical logic is a logic that, over the same language as that of classical logic, validates arguments that are not classically valid. In this paper I investigate whether there is a single, non-trivial logic that exhibits many features of already known contra-classical logics. I show that Mortensen’s three-valued connexive logic M3V is one such logic and, furthermore, that following the example in building M3V, that is, putting a suitable conditional on top of the $$\{\sim , \wedge , \vee \}$$ { ∼ , ∧ , ∨ } -fragment of LP, one can get a logic exhibiting even more contra-classical features.