Logika konštruktivistická

logika konštruktivistická

- 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.