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...

Descripción completa

Detalles Bibliográficos
Autor principal: Estrada-González, Luis
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
Descripción
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.