intuicionistická logika

Forma predikátové logiky, aplikující v logická stanoviska intuicionismu, tj. uplatňující zejména specifické pojetí nekonečna a z toho plynoucí omezení. Přestože neobsahuje některé principy tzv. konstruktivismu, bývá nazývána konstruktivní logikou; protože je vztahována výhradně k oblasti matematiky a konstrukcí se zde rozumí matematické konstrukce.Iotuicionistická logika svým kritickým přístupem ke klasické logice a z hlediska matematiky nikoli jako formalizovaného systému, ale jako disciplíny vytvářející racionální matematické konstrukce eliminuje z klasické logiky některé nedostatečnosti nevyhovující tomuto pojetí (zákon vyloučení třetího, zákon dvojí negace). Za zakladatele je považován A. Heyting a (ač z neintuicionistických východisek) V. I. Glivenko.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 3. 9. 2002
Autor: -red-

Odkazující hesla: pozitivní logika.

Reklama: