Intuitsionistik mantiq ham matematikaning rivoji bilan uzviy bog‘liq ravishda shakllangan. Asoschisi gollandiyalik matematik va mantiqshunos L.Brauer bo‘lib, u va uning tarafdorlari fikriga ko‘ra intuitsiya matematika va mantiqning asosida yotadi. Ularning ta’kidlashicha, to‘plam nazariyasi bilan bog‘liq paradokslarning vujudga kelishi nafaqat cheksizlik abstraksiyasini qabul qilish bilan, balki klassik mantiqning qonunlari hamda muhokama yuritish usullarining yangi bilish vazifalarini hal etishdagi zaifligi bilan ham bog‘liq.
Do'stlaringiz bilan baham: |
