Mathematical Proof – Argumentation or Derivation? – Part II

Krzysztof Wójtowicz


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.


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

Full Text:

PDF (Język Polski)


Azzouni J., [2004] “The Derivation-Indicator View of Mathematical Practice”, Philosophia Mathematica, 3 (12), 81-105.,

Boolos G., [1987] “A curious inference”, Journal of Philosophical Logic, 16, 1 -12

Brown J., [1999] Philosophy of Mathematics. An Introduction to the World of Proofs and Pictures. Routledge, New York.

Copeland B.J., [2002] “Hypercomputation”, Minds and Machines, 12, 461-502

Ketland J., [2005] „Some More Curious Inferences” Analysis 65 (285), 18–24.

Mancosu P., [2001] “Mathematical Explanation: problems and prospects”, Topoi , 20, pp. 97–117.

Rav Y., [1999] „Why do we prove theorems?” Philosophia Mathematica, 7, 1999, 5-41

Rav Y., [2007] “A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians’ Proof Practices”, Philosophia Mathematica (III) 15, 291–320.

Rota G.C., [1997] “The phenomenology of mathematical proof”, Synthese, 111, 183-196

Stannett. M., [2006] “The case for hypercomputation”, Applied Mathematics and Computation, 178, 8-24

Tymoczko T., [1979] „The four-color problem and its philosophical significance”, The Journal of Philosophy, 76 (2), 57-83.,

Wójtowicz K., [2011] „Dowód matematyczny - argumentacja czy derywacja? (I)”, Zagadnienia Filozoficzne w Nauce


  • There are currently no refbacks.

Until the completion of the migration of the journal to the OJS platform, some of the archival issues could be available only at our former website. articles in this journal are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 Polska (CC BY-NC-ND 3.0 PL).

1978- Zagadnienia Filozoficzne w Nauce,

ISSN 0867-8286
e-ISSN 2451-0602