A Criticism of Kripke’s Semantic for Intuitionistic Logic

A Criticism of Kripke’s Semantic for Intuitionistic Logic

por Wagner de Campos Sanz

Resumo

Uma crítica à semântica de Kripke para a lógica intuicionista


Nesta breve nota, pretendemos examinar criticamente a semântica de Kripke para a lógica proposicional intuicionista.  A semântica de Kripke é extensionalmente correta com relação à lógica proposicional intuicionista, isto é, o cálculo é correto e completo com respeito à semântica. O fragmento da lógica proposicional intuicionista contendo a disjunção e a implicação também é correto e completo com respeito às respectivas cláusulas semânticas. Entretanto, como procuraremos argumentar, a semântica de Kripke é intensionalmente enganadora, dado que a cláusula semântica de Kripke para a implicação é intensionalmente enganadora. Tal problema pode ser exemplificado quando consideramos o fragmento com disjunção e implicação.
---
Artigo em inglês.

##plugins.themes.bootstrap3.article.details##

Como citar este artigo
SANZ, Wagner de Campos. A Criticism of Kripke’s Semantic for Intuitionistic Logic. O que nos faz pensar, [S.l.], v. 25, n. 39, p. 99-104, dec. 2016. ISSN 0104-6675. Disponível em: <http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/519>. Acesso em: 25 july 2017.
Seção
Artigos