[Revised entry by Heinrich Wansing on April 10, 2022.
Changes to: Main text, Bibliography]
Many prominent systems of non-classical logic are subsystems of what is generally called ‘classical logic.’ Systems of connexive logic are contra-classical in the sense that they are neither subsystems nor extensions of classical logic. Connexive logics have a standard logical vocabulary and comprise certain non-theorems of classical logic as theses. Since classical propositional logic is Post-complete, any additional axiom in its language gives rise to the trivial system, so that any non-trivial…
Originally appeared on Stanford Encyclopedia of Philosophy Read More