Cargando…
An Easy Road to Multi-contra-classicality
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...
Autor principal: | |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer Netherlands
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8525623/ https://www.ncbi.nlm.nih.gov/pubmed/34690386 http://dx.doi.org/10.1007/s10670-021-00468-9 |
Sumario: | 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 [Formula: see text] -fragment of LP, one can get a logic exhibiting even more contra-classical features. |
---|