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

 

Roman Murawski

Professor at Faculty of Mathematics and Computer Science of Adam Mickiewicz University, PoznaƄ, Chairman of the Department of Mathematical Logic, former President of Polish Association for Logic and Philosophy of Science.


 

ARTICLES:

Interview: Is the Polish Logic One of the Best Traditions Still?

Issue: 1:3/1:4 (The third/fourth issue)
The interview of Andrew Schumann, the managing editor of Studia Humana with Roman Murawski, Professor at Faculty of Mathematics and Computer Science of Adam Mickiewicz University.


Proof vs Truth in Mathematics

Issue: 9:3/4 (the thirty fifth/sixth issue)
Two crucial concepts of the methodology and philosophy of mathematics
are considered: proof and truth. We distinguish between informal proofs
constructed by mathematicians in their research practice and formal
proofs as defined in the foundations of mathematics (in
metamathematics). Their role, features and interconnections are
discussed. They are confronted with the concept of truth in mathematics.
Relations between proofs and truth are analysed.


RECENT COMMENTS