PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Czasopismo
2010 | 18 | 4(72) | 49-76
Tytuł artykułu

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

Autorzy
Warianty tytułu
Języki publikacji
PL
Abstrakty
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.
Czasopismo
Rocznik
Tom
18
Numer
Strony
49-76
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Zbigniew Tworak, Uniwersytet im. Adama Mickiewicza w Poznaniu, Instytut Filozofii, Zaklad Logiki i Metodologii Nauk, ul. Szamarzewskiego 89c, 60-569 Poznan, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
11PLAAAA089929
Identyfikator YADDA
bwmeta1.element.e15f4a87-b5a5-3d48-a91a-17d1644eabc5
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.