Dowód matematyczny – argumentacja czy derywacja? – część II

• Authors: Krzysztof Wójtowicz

Title variants

EN

Mathematical Proof – Argumentation or Derivation? – Part II

• Languages of publication: PL

Abstracts

PL

In the first part of the paper, Azzouni’s derivation–indicator view was presented. In the second part it is analyzed in a detailed way. It is shown, that many problems arise, which cannot be explained in a satisfactory way in Azzouni’s theory, in particular the problem of the explanatory role of proof, of its epistemic role; the relationship between first–order and second–order versions of proofs is also not clear. It is concluded, that Azzouni’s theory does not provide a satisfactory account of mathematical proof, but inspires an interesting discussion. In the article, some of the mentioned problems are discussed.

Keywords

PL

philosophy of mathematics; mathematical proof; formal derivation; derivation-indicator view; philsophy of science

• Publisher: Copernicus Center Press
• Journal: Zagadnienia Filozoficzne w Nauce
• Year: 2011
• Issue: 49
• Pages: 81-97

Dates

published

2011-11-19

Contributors

author

Krzysztof Wójtowicz