Preferências de Cookie
Preferências de Cookie

Categorias

Apostolado da Oração

Pesquisa

Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System

Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System

Luiz Carlos Pereira and Ricardo Oscar Rodriguez, “Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System,” Revista Portuguesa de Filosofia 73, no. 3–4 (2017): 1153–68, DOI 10.17990/RPF/2017_73_3_1153.

Mais detalhes

À venda À venda!
10,00 €

137331153

Disponível apenas on-line

Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System

Type Journal Article
Author Luiz Carlos Pereira
Author Ricardo OScar Rodriguez
Rights © 2018 Aletheia - Associação Científica e Cultural | © 2018 Revista Portuguesa de Filosofia
Volume 73
Issue 3-4
Pages 1153-1168
Publication Revista Portuguesa de Filosofia
ISSN 0870-5283; 2183-461X
Date 2017
DOI 10.17990/RPF/2017_73_3_1153
Language English
Abstract In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp.
Date Added 17/01/2018, 17:50:11
Modified 17/01/2018, 19:33:27

Tags:

  • classical logic,
  • ecumenical logic,
  • intuitionistic logic

Notes:

  • Dowek, Gilles. “On the definitions of the classical connective and quantifiers”. In Why is this a proof, edited by Edward Hermann Haeusler, Wagner Sanz and Bruno Lopes, 228-238. UK: College Books, 2015. 

    Krauss, Peter H.. “A constructive interpretation of classical mathematics”. Mathematische Schriften Kassel, preprint No. 5/92, 1992. 

    Pottinger, Garrel. “A New Way of Normalizing Intuitionist Propositional Logic”. Studia Logica 35, no. 4 (1976): 387-408. 

    Prawitz, Dag. Natural Deduction – a proof-theoretical study. Stockholm: Almqvist & Wiksell, 1965. 

    Prawitz, Dag. “Classical versus intuitionistic logic”. In Why is this a proof, edited by Edward Hermann Haeusler, Wagner Sanz and Bruno Lopes, 15-32. UK: College Books, 2015. 
    Quine, Willard van Orman. The Philosophy of Logic. New Jersey: Prentice-hall, 1970.

Carrinho  

Sem produtos

Envio 0,00 €
Total 0,00 €

Carrinho Encomendar

PayPal

Pesquisa