Peirce’s graphs ad absurdum

Detalhes bibliográficos
Autor(a) principal: Sautter, Frank Thomas
Data de Publicação: 2015
Outros Autores: Feitosa, Hércules de Araújo
Tipo de documento: Artigo
Idioma: por
Título da fonte: Cognitio (São Paulo. Online)
Texto Completo: https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195
Resumo: Peirce’s diagrammatic method for classical propositional logic uses six derivation rules. We modify this method by using ab initio, the denial of the conclusion, and, for proof of validity, we demand a contradiction. This allows us to eliminate two derivation rules.
id PUC_SP-15_566a265cf1e7fd60666da36155f7c6ab
oai_identifier_str oai:ojs.pkp.sfu.ca:article/25195
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Peirce’s graphs ad absurdumGrafos de Peirce ad absurdumInformaçãoLógica proposicional clássicaMétodo diagramáticoMétodo de resoluçãoPeirceInformationClassical propositional logicDiagrammatic methodResolution method. PeircePeirce’s diagrammatic method for classical propositional logic uses six derivation rules. We modify this method by using ab initio, the denial of the conclusion, and, for proof of validity, we demand a contradiction. This allows us to eliminate two derivation rules.O método diagramático de Peirce para a lógica proposicional clássica utiliza seis regras de derivação. Modificamos esse método ao utilizar, ab initio, a negação da conclusão, e exigirmos, para a prova de validade, a obtenção de uma contradição. Isso nos permite a eliminação de duas regras de derivação.Pontifícia Universidade Católica de São Paulo2015-10-21info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195Cognitio: Revista de Filosofia; Vol. 16 No. 1 (2015); 153-168Cognitio: Revista de Filosofia; v. 16 n. 1 (2015); 153-1682316-52781518-7187reponame:Cognitio (São Paulo. Online)instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPporhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195/18018https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195/36188Copyright (c) 2015 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessSautter, Frank ThomasFeitosa, Hércules de Araújo2024-07-01T13:09:39Zoai:ojs.pkp.sfu.ca:article/25195Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2024-07-01T13:09:39Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Peirce’s graphs ad absurdum
Grafos de Peirce ad absurdum
title Peirce’s graphs ad absurdum
spellingShingle Peirce’s graphs ad absurdum
Sautter, Frank Thomas
Informação
Lógica proposicional clássica
Método diagramático
Método de resolução
Peirce
Information
Classical propositional logic
Diagrammatic method
Resolution method. Peirce
title_short Peirce’s graphs ad absurdum
title_full Peirce’s graphs ad absurdum
title_fullStr Peirce’s graphs ad absurdum
title_full_unstemmed Peirce’s graphs ad absurdum
title_sort Peirce’s graphs ad absurdum
author Sautter, Frank Thomas
author_facet Sautter, Frank Thomas
Feitosa, Hércules de Araújo
author_role author
author2 Feitosa, Hércules de Araújo
author2_role author
dc.contributor.author.fl_str_mv Sautter, Frank Thomas
Feitosa, Hércules de Araújo
dc.subject.por.fl_str_mv Informação
Lógica proposicional clássica
Método diagramático
Método de resolução
Peirce
Information
Classical propositional logic
Diagrammatic method
Resolution method. Peirce
topic Informação
Lógica proposicional clássica
Método diagramático
Método de resolução
Peirce
Information
Classical propositional logic
Diagrammatic method
Resolution method. Peirce
description Peirce’s diagrammatic method for classical propositional logic uses six derivation rules. We modify this method by using ab initio, the denial of the conclusion, and, for proof of validity, we demand a contradiction. This allows us to eliminate two derivation rules.
publishDate 2015
dc.date.none.fl_str_mv 2015-10-21
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://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195/18018
https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195/36188
dc.rights.driver.fl_str_mv Copyright (c) 2015 http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv Cognitio: Revista de Filosofia; Vol. 16 No. 1 (2015); 153-168
Cognitio: Revista de Filosofia; v. 16 n. 1 (2015); 153-168
2316-5278
1518-7187
reponame:Cognitio (São Paulo. Online)
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Cognitio (São Paulo. Online)
collection Cognitio (São Paulo. Online)
repository.name.fl_str_mv Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv revcognitio@gmail.com
_version_ 1803387421693313024

Registros relacionados