Revisitando a Lógica de Dunn-Belnap
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 coi...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Universidade Estadual de Campinas
|
Series: | Manuscrito |
Subjects: | |
Online Access: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452017000200099&lng=en&tlng=en |
id |
doaj-13566896a8734e53a6fd0dbd7ba1cc22 |
---|---|
record_format |
Article |
spelling |
doaj-13566896a8734e53a6fd0dbd7ba1cc222020-11-24T22:40:03ZengUniversidade Estadual de CampinasManuscrito2317-630X4029912610.1590/0100-6045.2017.v40n2.cbS0100-60452017000200099Revisitando a Lógica de Dunn-BelnapCarolina BlasioRESUMO 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 .http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452017000200099&lng=en&tlng=enLógica de Dunn-BelnapRelação de consequênciaSemânticas multivaloradas |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Carolina Blasio |
spellingShingle |
Carolina Blasio Revisitando a Lógica de Dunn-Belnap Manuscrito Lógica de Dunn-Belnap Relação de consequência Semânticas multivaloradas |
author_facet |
Carolina Blasio |
author_sort |
Carolina Blasio |
title |
Revisitando a Lógica de Dunn-Belnap |
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 |
publisher |
Universidade Estadual de Campinas |
series |
Manuscrito |
issn |
2317-630X |
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 . |
topic |
Lógica de Dunn-Belnap Relação de consequência Semânticas multivaloradas |
url |
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452017000200099&lng=en&tlng=en |
work_keys_str_mv |
AT carolinablasio revisitandoalogicadedunnbelnap |
_version_ |
1725706071131029504 |