Problemas para a Explicação Matemática

2017, V. 73, N. 3-4 • Revista Portuguesa de Filosofia

Autor: Eduardo Castro

Abstract:

Mathematical proofs aim to establish the truth of mathematical propositions by means of logical rules. Some recent literature in philosophy of mathematics alleges that some mathematical proofs also reveal why the proved mathematical propositions are true. These mathematical proofs are called explanatory mathematical proofs. In this paper, I present and discuss some salient problems around mathematical explanation: the existence problem, the normative problem, the explanandum problems of truth value and psychological value, the logical structure problem, the regress problem and the modelling problem. At the end, I sum up two contemporary models for mathematical explanation – the deductive-nomological model and the model of Steiner. I analyse these models against the previous problems.

ISSN: 0870-5283; 2183-461X

DOI: http://doi.org/10.17990/RPF/2017_73_3_1437

Texto Completo: https://www.publicacoesfacfil.pt/product.php?id_product=1042

Palavras-Chave: explanation,logic,mathematics,models,proof,Ma

Revista Portuguesa de Filosofia

A Revista Portuguesa de Filosofia (RPF) foi fundada em 1945 por Domingos Maurício, SJ; Cassiano Abranches, SJ; Severiano Tavares, SJ e Diamantino Martins, SJ. É uma publicação trimestral da Axioma - Publicações da Faculdade de Filosofia.

A RPF, sendo de inspiração cristã, tem por missão a publicação de artigos inéditos de reconhecido mérito, aceitando textos de qualquer horizonte de pensamento, em qualquer área de filosofia, escritos nas principais línguas europeias (português, inglês, francês, alemão, espanhol e italiano). Todos os artigos são revistos inter pares (peers review), mediante o sistema de avaliação anónima (double-blind).

Os artigos publicados na RPF são indexados e referenciados pelas seguintes bases de dados e repertórios bibliográficos: The Philosophers's Index (Ohio, USA); International Philosophical Bibliography / Répertoire Bibliographique de la Philosophie (Louvain, Bélgica); Francis-Bulletin Signalétique (CNRS, INIST - França); Ulrich's International Periodicals Directory (New York, USA); Internationale Bibliographie Geistes und Sozialwissenschaftlicher Zeitschriftenliteratur (IBZ - Alemanha); Dialnet (Logroño, Espanha); JSTOR (Michigan, EUA).