intuicionistická logika

Filozofie

Forma predikátové logiky, aplikující v logice 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.

Vytvořeno: 14. 3. 2000
Aktualizováno: 29. 7. 2024
Autor: -red-

Odkazující hesla: pozitivní logika.