Revisitando a Lógica de Dunn-Belnap

Detalhes bibliográficos
Autor(a) principal: Blasio, Carolina
Data de Publicação: 2017
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/8649854
Resumo: O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment (E) de Dunn e Belnap. Diferente das situações epistêmicas originalmente usadas em E, as atitudes cognitivas não coincidem com valores-de-verdade e parecem mais adequadas para as lógicas que pretendem considerar o conteúdo informacional de porposições "ditas verdadeiras" tanto enquanto as proposições "ditas falsas" como determinantes da noção de validade das inferências. Após analisar algumas lógicas associadas à semântica proposta, introduzimos a lógica Eb cuja relação de consequência semântica subjacente - p B-entailment - é capaz de expressar diversos tipos de raciocínio em relação ás atitudes de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para Eb.
id UNICAMP-17_9bf4363a64a8a1b648d19d1ca3b28903
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8649854
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling Revisitando a Lógica de Dunn-BelnapLógica de Dunn-Belnap. Relação de consequência. Semânticas multivaloradas.O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment (E) de Dunn e Belnap. Diferente das situações epistêmicas originalmente usadas em E, as atitudes cognitivas não coincidem com valores-de-verdade e parecem mais adequadas para as lógicas que pretendem considerar o conteúdo informacional de porposições "ditas verdadeiras" tanto enquanto as proposições "ditas falsas" como determinantes da noção de validade das inferências. Após analisar algumas lógicas associadas à semântica proposta, introduzimos a lógica Eb cuja relação de consequência semântica subjacente - p B-entailment - é capaz de expressar diversos tipos de raciocínio em relação ás atitudes de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para Eb.Universidade Estadual de Campinas2017-07-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionPesquisa teóricaapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8649854Manuscrito: Revista Internacional de Filosofia; v. 40 n. 2 (2017): abr./jun.; 99-126Manuscrito: International Journal of Philosophy; Vol. 40 No. 2 (2017): abr./jun.; 99-126Manuscrito: Revista Internacional de Filosofía; Vol. 40 Núm. 2 (2017): abr./jun.; 99-1262317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8649854/16268Copyright (c) 2017 Manuscritoinfo:eu-repo/semantics/openAccessBlasio, Carolina2017-11-09T09:23:45Zoai:ojs.periodicos.sbu.unicamp.br:article/8649854Revistahttps://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:2017-11-09T09:23:45Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Revisitando a Lógica de Dunn-Belnap
title Revisitando a Lógica de Dunn-Belnap
spellingShingle Revisitando a Lógica de Dunn-Belnap
Blasio, Carolina
Lógica de Dunn-Belnap. Relação de consequência. Semânticas multivaloradas.
title_short Revisitando a Lógica de Dunn-Belnap
title_full Revisitando a Lógica de Dunn-Belnap
title_fullStr Revisitando a Lógica de Dunn-Belnap
title_full_unstemmed Revisitando a Lógica de Dunn-Belnap
title_sort Revisitando a Lógica de Dunn-Belnap
author Blasio, Carolina
author_facet Blasio, Carolina
author_role author
dc.contributor.author.fl_str_mv Blasio, Carolina
dc.subject.por.fl_str_mv Lógica de Dunn-Belnap. Relação de consequência. Semânticas multivaloradas.
topic Lógica de Dunn-Belnap. Relação de consequência. Semânticas multivaloradas.
description O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment (E) de Dunn e Belnap. Diferente das situações epistêmicas originalmente usadas em E, as atitudes cognitivas não coincidem com valores-de-verdade e parecem mais adequadas para as lógicas que pretendem considerar o conteúdo informacional de porposições "ditas verdadeiras" tanto enquanto as proposições "ditas falsas" como determinantes da noção de validade das inferências. Após analisar algumas lógicas associadas à semântica proposta, introduzimos a lógica Eb cuja relação de consequência semântica subjacente - p B-entailment - é capaz de expressar diversos tipos de raciocínio em relação ás atitudes de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para Eb.
publishDate 2017
dc.date.none.fl_str_mv 2017-07-11
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Pesquisa teórica
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8649854
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8649854
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/8649854/16268
dc.rights.driver.fl_str_mv Copyright (c) 2017 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2017 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. 40 n. 2 (2017): abr./jun.; 99-126
Manuscrito: International Journal of Philosophy; Vol. 40 No. 2 (2017): abr./jun.; 99-126
Manuscrito: Revista Internacional de Filosofía; Vol. 40 Núm. 2 (2017): abr./jun.; 99-126
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_ 1800216566997975040

Registros relacionados