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 |
_version_ | 1784585714354094080 |
---|---|
author | Estrada-González, Luis |
author_facet | Estrada-González, Luis |
author_sort | Estrada-González, Luis |
collection | PubMed |
description | 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. |
format | Online Article Text |
id | pubmed-8525623 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2021 |
publisher | Springer Netherlands |
record_format | MEDLINE/PubMed |
spelling | pubmed-85256232021-10-20 An Easy Road to Multi-contra-classicality Estrada-González, Luis Erkenntnis Original Research 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. Springer Netherlands 2021-10-19 /pmc/articles/PMC8525623/ /pubmed/34690386 http://dx.doi.org/10.1007/s10670-021-00468-9 Text en © The Author(s), under exclusive licence to Springer Nature B.V. 2021 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic. |
spellingShingle | Original Research Estrada-González, Luis An Easy Road to Multi-contra-classicality |
title | An Easy Road to Multi-contra-classicality |
title_full | An Easy Road to Multi-contra-classicality |
title_fullStr | An Easy Road to Multi-contra-classicality |
title_full_unstemmed | An Easy Road to Multi-contra-classicality |
title_short | An Easy Road to Multi-contra-classicality |
title_sort | easy road to multi-contra-classicality |
topic | Original Research |
url | 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 |
work_keys_str_mv | AT estradagonzalezluis aneasyroadtomulticontraclassicality AT estradagonzalezluis easyroadtomulticontraclassicality |