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