التأسيس · حقلٌ من المنطق
منطق المحمولات
المسوِّرات ومنطقُ المرتبة الأولى: اللغةُ التي تنفذ إلى داخل القضايا، إلى الأشياءِ والخصائصِ والعلاقات.
- المشكلة
- منطقُ القضايا عاجزٌ عن «كلّ» و«بعض». فكيف نستدلُّ في الأشياء والخصائص والعلاقات؟
- نقطةُ التحوّل
- التسويرُ على مجال (∀، ∃) بمتغيِّراتٍ مربوطة، واكتمالُ منطق المرتبة الأولى وتراصُّه.
- سؤالٌ مفتوح
- متى تستحقُّ قوةُ المرتبة الثانية فقدانَ الاكتمال، وأين يَكُفُّ منطقُ المرتبة الأولى عن الكفاية؟
لدراسته
- A Mathematical Introduction to Logic
- Introduction to Mathematical Logic
- Logic for Mathematicians
- Logic and Structure