Konštruktivistická logika

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Konštruktivistická logika je smer v logike, ktorý pripúšťa existenciu objektov len vtedy, ak sa dajú (podľa určitých pravidiel) skonštruovať. Konštruktivistická logika neuznáva nepriamy dôkaz (zákon vylúčenia tretieho) v nekonečných množinách.

Externé odkazy[upraviť | upraviť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.