A questão da identidade de provas, a tese da normalização e alguns de seus pressupostos semânticos básicos

Autores

DOI:

https://doi.org/10.51359/2357-9986.2020.248946

Palavras-chave:

identidade de provas, semântica, argumentos dedutivos, derivações, normalização

Resumo

O artigo oferece , em primeiro lugar, uma caracterização da questão da identidade de provas como um problema concernente à semântica de argumentos dedutivos, pertinente à lógica e à filosofia da linguagem. Em seguida, é dada uma descrição dos principais aspectos formais e conceituais daquela que é provavelmente a proposta de abordagem formal dessa questão mais bem de-senvolvida na literatura: a chamada tese da normalização, proposta em caráter conjectural em Prawitz 1971. Finalmente, alguns dos pressupostos semânticos que alicerçam a formulação dessa tese – componentes importantes da concepção representacionalista de provas que ela instancia – são expostos e discutidos quanto a suas possíveis motivações e consequências relevantes. Para além dos objetivos atinentes ao seu teor, este tem a meta pedagógica de tornar acessível e fomentar a consideração da questão da identidade de provas no seio da comunidade filosófica de língua portuguesa.

Biografia do Autor

Tiago de Castro Alves, Universidade Federal de Mato Grosso

Professor de Filosofia do Departamento de Filosofia da UFMT.

Referências

ARISTÓTELES. Aristotle's Prior Analytics book I. Translated with an intro-duction and commentary by Gisela Striker (Clarendon Aristotle Series). NewYork: Oxford University Press, 2009.

DE CASTRO ALVES, Tiago. Synonymy and Identity of Ṕroofs: a Philosophi-cal Essay. Tese (Doutorado em Filosofia) – Eberhard-Karls-Universität Tübin-gen, Tübingen, 2018.

DOŠEN, Kosta. “Identity of proofs based on normalization and generality”.The Bulletin of Symbolic Logic, vol. 9, 2003, p. 477-50.

FREGE, Gottlob. “Über Sinn und Bedeutung”. Zeitschrift für Philosophie undphilosophische Kritik, NF 100, 1892, p. 25-50

JAY, C. Barry, e GHANI, Neil. “The virtues of eta-expansion.” J. FunctionalProgramming, 5 (2), 1995, p. 135-154

KANT, Immanuel. Escritos Pré-Críticos. Trad. Jair Barboza et al. São Paulo:Edunesp, 2005.

KANT, Immanuel. Lógica. Trad. por Guido Antônio de Almeida. (Série Estu-dos Alemães, 93). 2ª ed. Rio de Janeiro: Tempo Brasileiro, 1992.

KREISEL, Georg. “A survey of proof theory II”. In: FENSTAD, J.E. (ed.),Proceedings of the Second Scandinavian Logic Symposium. Amsterdam:North-Holland, 1971, p. 109-170.

PRAWITZ, Dag. Natural Deduction. A Proof-Theoretical Study. Stockholm:Almqvist & Wiksell, 1965.

PRAWITZ, Dag. “Ideas and results in proof theory”. In: FENSTAD, J.E.(ed.), Proceedings of the Second Scandinavian Logic Symposium. Amsterdam:North-Holland, 1971, p. 235-307.

SCHROEDER-HEISTER, Peter. “Proof-Theoretic Semantics”, The StanfordEncyclopedia of Philosophy (Spring 2018 Edition), Edward N. Zalta (ed.),URL = <https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/>

SUNDHOLM, Göran. “Identity: Absolute. Criterial. Propositional”. In:CHILDERS, T. (ed.), The Logica Yearbook 1998. Praga: The Institute of Phi-losophy, Academy of Sciences of the Czech Republic, 1999, pp. 20-26.

TROELSTRA, A. Sjerp. “Non-extensional equality”. Fund. Math. 82, 1975,p. 307-322.

WIDEBÄCK, Filip. Identity of Proofs. Tese (Doutorado em Filosofia) –Stockholms Universitet, Almqvist & Wiksell, Stockholm, 2001.

Downloads

Publicado

2020-11-27

Edição

v. 47 n. 2 (2020): Filosofia da Lógica

Seção

Número Especial sobre Filosofia da Lógica

Licença

A Revista Perspectiva Filosófica orienta seus procedimentos de gestão de artigos conforme as diretrizes básicas formuladas pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). http://memoria2.cnpq.br/web/guest/diretrizes/

Autores que publicam nesta revista concordam com os seguintes termos:

  1. Os autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, sendo o trabalho simultaneamente licenciado sob Creative Commons Atribuição 4.0 Internacional que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.

  2. Os autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista, com reconhecimento de autoria e publicação inicial nesta revista (Consultar http://opcit.eprints.org/oacitation-biblio.html).

Licença Creative Commons
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.