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

• Alves, Tiago de Castro ^[1]
  1. [1] Universidade Federal de Mato Grosso

     Universidade Federal de Mato Grosso

     Brasil

     
• Localización: Perspectiva Filosófica: PF, ISSN-e 2357-9986, ISSN 0104-6454, Vol. 47, Nº. Extra 2, 2020 (Ejemplar dedicado a: Número Especial sobre Filosofia da Lógica), págs. 443-470
• Idioma: portugués
• Títulos paralelos:
  • The question of identity of evidence, the normalization thesis, and some of its basic semantic assumptions
• Enlaces
  • Texto completo
• Resumen
  • English

    The article offers, first, a characterisation of the question of identity of pro-ofs as a problem concerning the semantics of deductive arguments, pertai-ning to logic and philosophy of language. In the sequel, a description of the main formal and conceptual aspects of the normalisation thesis – probably the most well developed formal approach to identity of proofs in the literature so far, proposed as a conjecture by Prawitz in 1971 – is given. Finally, some of the semantical assumptions that form the basis of the thesis’ formulation –important components of the representationalist view of proofs which it ins-tantiates – are exposed and discussed as to its relevant consequences and pos-sible motivations. Apart from the goals directly related to its contents, the ar-ticle has the pedagogical aim of facilitating and stimulating the consideration of the question of identity of proofs amongst the portuguese-speaking philo-sophical community.

  • português

    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.