İNTUİTİV

Riyaziyyat fəlsəfəsində intuisionizm və ya neointuisionizm (preintuisionizmə qarşı) riyaziyyatın obyektiv reallıqda mövcud olduğu iddia edilən fundamental prinsiplərin kəşfindən daha çox insanların konstruktiv zehni fəaliyyətinin nəticəsi hesab edildiyi bir yanaşmadır. Yəni məntiq və riyaziyyat obyektiv reallığın dərin xassələrinin aşkar olunduğu və tətbiq olunduğu analitik fəaliyyət hesab edilmir, əksinə, obyektiv reallıqda mümkün müstəqil mövcudluğundan asılı olmayaraq daha mürəkkəb psixi konstruksiyaların həyata keçirilməsi üçün istifadə olunan daxili ardıcıl metodların tətbiqi hesab edilir. İntuisionizmin əsas fərqləndirici xüsusiyyəti onun riyazi ifadənin doğru olması üçün nə demək olduğunu şərh etməsidir. Brouverin ilkin intuisionizmində riyazi müddəanın həqiqəti subyektiv iddiadır: riyazi müddəa zehni konstruksiyaya uyğundur və riyaziyyatçı müddəanın doğruluğunu yalnız intuisiya ilə həmin konstruksiyanın doğruluğunu yoxlamaqla təsdiq edə bilər. Həqiqətin intuisiyaistik anlayışının qeyri-müəyyənliyi çox vaxt onun mənası ilə bağlı yanlış şərhlərə səbəb olur. Kleene intuisiyaistik həqiqəti realist mövqedən formal olaraq müəyyən etdi, lakin Brouwer realist/Platonçu mövqeyini rədd etməsini nəzərə alaraq, çox güman ki, bu rəsmiləşdirməni mənasız kimi rədd edəcək. Buna görə də intuisionist həqiqət bir qədər qeyri-müəyyən olaraq qalır. Bununla belə, intuisiyaist həqiqət anlayışı klassik riyaziyyatdan daha məhdudlaşdırıcı olduğundan, intuisiyaçı sübut etdiyi hər şeyin əslində intuisiya baxımından doğru olmasını təmin etmək üçün klassik məntiqin bəzi fərziyyələrini rədd etməlidir. Bu, intuisiya məntiqinin yaranmasına səbəb olur. İntuisionizmin müxtəlif formaları arasında sonsuzluğun mənası və reallığı ilə bağlı bir neçə fərqli mövqe var.