PL EN


Journal
2010 | 18 | 4(72) | 49-76
Article title

ON THE NOTION OF TRUTH IN MATHEMATICAL INTUITIONISM (O pojeciu prawdy w intuicjonizmie matematycznym)

Authors
Title variants
Languages of publication
PL
Abstracts
EN
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 proposal is also understood in two alternative ways: as knowledge of a method of construction of a proof or as knowledge-independent and tenseless existence of a proof. This paper is a presentation and analysis of these alternatives.
Journal
Year
Volume
18
Issue
Pages
49-76
Physical description
Document type
ARTICLE
Contributors
  • Zbigniew Tworak, Uniwersytet im. Adama Mickiewicza w Poznaniu, Instytut Filozofii, Zaklad Logiki i Metodologii Nauk, ul. Szamarzewskiego 89c, 60-569 Poznan, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA089929
YADDA identifier
bwmeta1.element.e15f4a87-b5a5-3d48-a91a-17d1644eabc5
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.