intuicionismus

intuicionismus [-nyz-], směr filoz. zákl. matematiky a logiky, úzce související s konstruktivismem (odmítnutí zákona vyloučení třetího i abstrakce aktuálního nekonečna). Rozvinut L. Bouwerem, i. chápe matematické entity jako závislé na racionálním konstruování, jež musí vyhovovat intuitivní očividnosti.Ve smyslu této všeobecnosti chápe intuicionismus log. jako část matematiky.