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.

In the present work I introduce a semantics based on the cognitive attitudes of acceptation and rejection entertained by a given society of agents for logics inspired on Dunn and Belnap’s ‘First Degree Entailment’ (E). Distinctly from the original epistemic situation of E, the cognitive attitudes do not coincide with truth-values and it seems more suitable for logics that intend to consider the informational content of propositions “said to be true” as well as propositions “said to be false” as determinants of the notion of logical validity. After analyzing some logics associated with the proposed semantics, we introduce the logic E B , whose underlying semantic entailment relation - the B-entailment - is able to express several kinds of reasoning towards the cognitive attitudes of acceptance and rejection. Acorrect and complete sequent calculus for E B is also presented.

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

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