Konštruktivistická logika

z Wikipédie, slobodnej encyklopédie

Prejsť na: navigácia, hľadanie

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.

[upraviť] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok
Zdroj: „http://sk.wikipedia.org/wiki/Kon%C5%A1truktivistick%C3%A1_logika“