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. (shrink)

Francez has suggested that connexivity can be predicated of connectives other than the conditional, in particular conjunction and disjunction. Since connexivity is not any connection between antecedents and consequents—there might be other connections among them, such as relevance—, my question here is whether Francez’s conjunction and disjunction can properly be called ‘connexive’. I analyze three ways in which those connectives may somehow inherit connexivity from the conditional by standing in certain relations to it. I will show that Francez’s connectives fail (...) all these three ways, and that even other connectives obtained by following more closely Wansing’s method to get a connexive conditional, fail to be connexive as well. (shrink)