التخصّص · حقلٌ من المنطق
التطبيقات
المنطقُ في الميدان: علومُ الحاسوب واللسانيّات والعلومُ الإدراكية، أي التحقُّق، ودلالةُ اللغة، والاستدلالُ البشري.
- المشكلة
- أين يَعَضُّ المنطقُ الصوريُّ على الواقع فعلًا: البرامجُ واللغةُ وكيف يستدلُّ الناسُ حقًّا؟
- نقطةُ التحوّل
- فحصُ النماذج ومنطقُ هور يجعلان صحّةَ البرنامج دعوى صوريةً قابلةً للفحص: المنطقُ يتحقَّق من الآلات.
- سؤالٌ مفتوح
- أيستدلُّ البشرُ بالمنطق الكلاسيكي أصلًا، وأيُّ منطقٍ أصدقُ نمذجةً لمعنى اللغة الطبيعية؟
المتون
- Logic in Computer Science
- Human Reasoning and Cognitive Science
لدراسته
- Artificial Intelligence (logic chapters)
- Representation and Inference for Natural Language