MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE

Detalhes bibliográficos
Autor(a) principal: Weingsrtner, Paul
Data de Publicação: 2015
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642024
Resumo: The present article shows that there are consistent and decidable manyvalued systems of propositional logic which satisfy two or all the three criteria for non-trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6-valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).
id UNICAMP-17_2e1e9e3b86bbc6c5fb68c1e380fe5eef
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8642024
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVEParaconsistent system. Paradox. Relevance. Many-valued logic.The present article shows that there are consistent and decidable manyvalued systems of propositional logic which satisfy two or all the three criteria for non-trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6-valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).Universidade Estadual de Campinas2015-11-29info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642024Manuscrito: Revista Internacional de Filosofia; v. 34 n. 1 (2011): Jan./Jun.; 365-388Manuscrito: International Journal of Philosophy; Vol. 34 No. 1 (2011): Jan./Jun.; 365-388Manuscrito: Revista Internacional de Filosofía; Vol. 34 Núm. 1 (2011): Jan./Jun.; 365-3882317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642024/9515Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessWeingsrtner, Paul2015-11-29T22:59:43Zoai:ojs.periodicos.sbu.unicamp.br:article/8642024Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2015-11-29T22:59:43Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
title MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
spellingShingle MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
Weingsrtner, Paul
Paraconsistent system. Paradox. Relevance. Many-valued logic.
title_short MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
title_full MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
title_fullStr MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
title_full_unstemmed MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
title_sort MATRIX-BASED LOGIC FOR AVOIDING PARADOXES AND ITS PARACONSISTENT ALTERNATIVE
author Weingsrtner, Paul
author_facet Weingsrtner, Paul
author_role author
dc.contributor.author.fl_str_mv Weingsrtner, Paul
dc.subject.por.fl_str_mv Paraconsistent system. Paradox. Relevance. Many-valued logic.
topic Paraconsistent system. Paradox. Relevance. Many-valued logic.
description The present article shows that there are consistent and decidable manyvalued systems of propositional logic which satisfy two or all the three criteria for non-trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6-valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).
publishDate 2015
dc.date.none.fl_str_mv 2015-11-29
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642024
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642024
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642024/9515
dc.rights.driver.fl_str_mv Copyright (c) 2015 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 34 n. 1 (2011): Jan./Jun.; 365-388
Manuscrito: International Journal of Philosophy; Vol. 34 No. 1 (2011): Jan./Jun.; 365-388
Manuscrito: Revista Internacional de Filosofía; Vol. 34 Núm. 1 (2011): Jan./Jun.; 365-388
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216565300330496

Registros relacionados