O pojęciu prawdy w intuicjonizmie matematycznym
Słowa kluczowe:
intuitionism, truth, knowledge, verification, existence of a proof, law of excluded middle, Brouwer, Heyting, Dummett, PrawitzAbstrakt
The basic philosophical idea of intuitionism is that mathematical entities exist only as mental constructions and that the notion of truth of a proposition should be equated with its verification or the existence of proof. However different intuitionists explained the existence of a proof in fundamentally different ways. There seem to be two main alternatives: the actual and potential existence of a proof. The second pro-posal is also understood in two alternative ways: as knowledge of a method of con-struction of a proof or as knowledge-independent and tenseless existence of a proof. This paper is a presentation and analysis of these alternatives.Pobrania
Opublikowane
2010-12-01
Jak cytować
Tworak, Z. (2010). O pojęciu prawdy w intuicjonizmie matematycznym. Filozofia Nauki, 18(4), 49–76. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/621
Numer
Dział
Artykuły