SciELO - Scientific Electronic Library Online

 
vol.40 issue2Realismo Estructural Óntico y estructuras físicasBook review: GARCÍA-CARPINTERO, Manuel & TORRE, Stephan (eds.). About Oneself: De Se Thought and Communication . Oxford: Oxford University Press, 2016, 368pp., ISBN 9780198713265. author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

Share


Manuscrito

Print version ISSN 0100-6045On-line version ISSN 2317-630X

Abstract

BLASIO, Carolina. Revisitando a Lógica de Dunn-Belnap. Manuscrito [online]. 2017, vol.40, n.2, pp.99-126.  Epub June 12, 2017. ISSN 0100-6045.  http://dx.doi.org/10.1590/0100-6045.2017.v40n2.cb.

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 .

Keywords : Lógica de Dunn-Belnap; Relação de consequência; Semânticas multivaloradas.

        · abstract in English     · text in Portuguese     · Portuguese ( pdf )