المتقدّم · حقلٌ من المنطق
المنطق اللاكلاسيكي
المنطقُ الحدْسي ومتعدِّدُ القيم والوثيقُ والضبابي: أنساقٌ تُراجِع القوانينَ الكلاسيكية أو تردُّها، كلٌّ لسبب.
- المشكلة
- أيجب أن تكون كلُّ قضيةٍ صادقةً أو كاذبةً وحسب، وأنُلزَمُ دومًا بقانون الثالث المرفوع؟
- نقطةُ التحوّل
- الحدْسيةُ تردُّ الثالثَ المرفوع: لا يُثبَتُ الفصلُ إلا متى أمكن برهانُ أحد طرفيه بنائيًّا.
- سؤالٌ مفتوح
- أثمّةَ منطقٌ «حقٌّ» واحد، أم أنَّ الأنساق الكلاسيكية واللاكلاسيكية أدواتٌ لأغراضٍ مختلفة؟
المتون
- On the Foundations of Mathematics 1907
- Constructivism in Mathematics
لدراسته
- An Introduction to Non-Classical Logic
- An Introduction to Substructural Logics
- Many-Valued Logic