出版社：Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
摘要：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.
其他摘要：This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the semantics. The fragment of propositional intuitionist logic containing disjunction and implication is also sound and complete with respect to the respective semantical clauses. However, we´ll argue, Kripke semantics is intensionallymisleading, since Kripke’ssemantical implication clause is intensionallymisleading. And the problem can be exemplified when we consider the fragment with disjunction and implication.
