-
77Inne myślenie [recenzja] Paul Lorenzen, Myślenie metodyczne, 1997Zagadnienia Filozoficzne W Nauce 23. 1998.
-
Matematyka czy teologia? Hilbert, Gordan i początki formalizmuZagadnienia Filozoficzne W Nauce (51). 2012.
-
78Smutna filozofia Quine'a [recenzja] Willard Van Orman Quine, Od bodźca do nauki, 1998Zagadnienia Filozoficzne W Nauce 24. 1999.
-
Uwagi o dowodzie tezy ChurchaFilozofia Nauki 4. 2005.The aim of the article is to answer the four following questions concerning a proof of Church's Thesis (CT). (1) Can CT be treated as a synthetic definition? (2) How should CT not be understood? (3) How can one understand the expression proof by CT? (4) Is any proof of CT possible at all?
Areas of Specialization
| Logic and Philosophy of Logic |
Areas of Interest
| Philosophy of Mathematics |