A Criticism of Kripke’s Semantic for Intuitionistic Logic
Barra lateral de artigos
Conteúdo do artigo principal
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.
Detalhes do artigo
Nota de Direitos Autorais
O autor do artigo ou resenha submetido e aprovado para publicação autoriza os editores a reproduzi-lo e publicá-lo na a revista O que nos faz pensar, entendendo-se os termos "reprodução" e "publicação" conforme a licença Creative Commons Atribuição-NãoComercial 4.0 Internacional. O artigo ou resenha poderá ser acessado tanto pela rede mundial de computadores (WWW – Internet), como pela versão impressa, sendo permitidas, a título gratuito, a consulta e a reprodução do texto para uso próprio de quem a consulta. Essa autorização de publicação não tem limitação de tempo, ficando os editores da revista O que nos faz pensar responsável pela manutenção da identificação do autor do artigo.