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...

Full description

Bibliographic Details
Main Author:	Carolina Blasio
Format:	Article
Language:	English
Published:	Universidade Estadual de Campinas
Series:	Manuscrito
Subjects:	Lógica de Dunn-Belnap Relação de consequência Semânticas multivaloradas
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

Revisitando a Lógica de Dunn-Belnap

Similar Items