TY - JOUR
AU - Wójtowicz, Krzysztof
PY - 2011/11/19
Y2 - 2023/01/29
TI - Mathematical Proof – Argumentation or Derivation? – Part II
JF - Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce)
JA - ZFN
VL - 0
IS - 49
SE - Articles
DO -
UR - https://zfn.edu.pl/index.php/zfn/article/view/121
SP - 81-97
AB - In the first part of the paper, Azzouni’s <em>derivation–indicator view </em>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.
ER -