Studia humana (SH) is a multi-disciplinary peer reviewed journal publishing valuable
contributions on any aspect of human sciences such as...


Stanisław Krajewski

Stanislaw Krajewski is a professor at the Faculty of Philosophy of the University of Warsaw. He has been involved in research in the field of logic and philosophy of mathematics as well as philosophy of dialogue, philosophy of religion and interfaith dialogue. He also co-authored the post-World War II section of the core exhibition in Polin, the Museum of the History of Polish Jews.



Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs

Issue: 9:3/4 (the thirty fifth/sixth issue)
The Euclidean ideal of mathematics as well as all the foundational schools in
the philosophy of mathematics have been contested by the new approach,
called the “maverick” trend in the philosophy of mathematics. Several points
made by its main representatives are mentioned – from the revisability of
actual proofs to the stress on real mathematical practice as opposed to its
idealized reconstruction. Main features of real proofs are then mentioned; for
example, whether they are convincing, understandable, and/or explanatory.
Therefore, the new approach questions Hilbert’s Thesis, according to which a
correct mathematical proof is in principle reducible to a formal proof, based on
explicit axioms and logic.