Revisitando a Lógica de Dunn-Belnap
Autor(a) principal: | |
---|---|
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 |