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: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452017000200099
Resumo: 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 proposições “ditas verdadeiras” tanto quanto 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 E B cuja relação de consequência semântica subjacente - o B-entailment - é capaz de expressar diversos tipos de raciocínio em relação às atitudes cognitivas de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para E B .
id UNICAMP-17_703cfb14ae46f50e53f222c552ba206a
oai_identifier_str oai:scielo:S0100-60452017000200099
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling Revisitando a Lógica de Dunn-BelnapLógica de Dunn-BelnapRelação de consequênciaSemânticas multivaloradasRESUMO 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 proposições “ditas verdadeiras” tanto quanto 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 E B cuja relação de consequência semântica subjacente - o B-entailment - é capaz de expressar diversos tipos de raciocínio em relação às atitudes cognitivas de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para E B .UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência2017-06-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452017000200099Manuscrito v.40 n.2 2017reponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP10.1590/0100-6045.2017.v40n2.cbinfo:eu-repo/semantics/openAccessBlasio,Carolinapor2017-07-26T00:00:00Zoai:scielo:S0100-60452017000200099Revistahttp://www.scielo.br/scielo.php?script=sci_serial&pid=0100-6045&lng=pt&nrm=isoPUBhttps://old.scielo.br/oai/scielo-oai.phpmwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2017-07-26T00:00Manuscrito (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 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 proposições “ditas verdadeiras” tanto quanto 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 E B cuja relação de consequência semântica subjacente - o B-entailment - é capaz de expressar diversos tipos de raciocínio em relação às atitudes cognitivas de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para E B .
publishDate 2017
dc.date.none.fl_str_mv 2017-06-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452017000200099
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452017000200099
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 10.1590/0100-6045.2017.v40n2.cb
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
dc.source.none.fl_str_mv Manuscrito v.40 n.2 2017
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_ 1748950065397891072

Registros relacionados