Konštruktivistická logika

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 


Kategória:Logika