On the Notion of Truth in Mathematical Intuitionism

• Authors: Zbigniew Tworak

Title variants

PL

O pojęciu prawdy w intuicjonizmie matematycznym

EN

On the Notion of Truth in Mathematical Intuitionism

• Languages of publication: PL

Abstracts

PL

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.

• Publisher: University of Warsaw, Institute of Philosophy
• Journal: Filozofia Nauki
• Year: 2010
• Volume: 18
• Issue: 4
• Pages: 49-76

Dates

published

2010-12-01

Contributors

author

Zbigniew Tworak