المتون · كتبُ الاكتشاف
أمَّهاتُ الكتب
النصوصُ الأصلية: كتبُ اكتشافٍ لا شرح. تُقرأ بترتيب تأليفها؛ وكلٌّ منها حلقةٌ في السلسلة.
-
-
الشذراتُ المنطقية
أوّلُ منطقٍ للقضايا: الروابطُ وقواعدُ الاستدلال، قبل فريغه بألفَي عام.
في المنطق القديم -
إيساغوجي (المدخل)
المدخلُ إلى منطق أرسطو الذي بدأ به كلُّ منطقيٍّ، يونانيًّا وعربيًّا ولاتينيًّا، خمسةَ عشرَ قرنًا.
في المنطق القديم -
في منطق أرسطو (ترجماتٌ وشروح)
الترجماتُ والشروحُ التي عرف بها الغربُ اللاتينيُّ منطقَ أرسطو سبعَمئة عام.
في منطق العصور الوسطى -
كتابُ القياس
يؤسِّس «المعلّمُ الثاني» التقليدَ الأرسطيَّ العربي بقراءة الأُرغانون وتصحيحه وتدريسه من جديد.
في منطق العصور الوسطى -
الشفاء: المنطق
إعادةُ بناءٍ واسعةٌ للأُرغانون، تُوسِّعه بقياسٍ جهيٍّ وزمنيٍّ من وضعه.
في منطق العصور الوسطى -
الإشاراتُ والتنبيهات
أبرزُ أعماله المتأخّرة، «إشاراتٌ» موجزةٌ كتب عليها المناطقةُ الشروحَ جيلًا بعد جيل.
في منطق العصور الوسطى -
معيارُ العلم
يُدخِل المنطقَ الأرسطيَّ في صميم العلوم الإسلامية، مَصُوغًا بوصفه ميزانَ المعرفة الصحيحة.
في منطق العصور الوسطى -
الجدليّات
أجرأُ منطقٍ في القرن الثاني عشر اللاتيني، بنظريةٍ أصيلةٍ في الشرطيِّ وفي المعنى.
في منطق العصور الوسطى -
تلخيصُ منطق أرسطو
تلاخيصُ «الشارح» للأُرغانون، التي علّمت، باللاتينية، المنطقَ لأوروبا الوسيطة كلِّها.
في منطق العصور الوسطى -
الملخَّصاتُ المنطقية
الكتابُ المدرسيُّ المعياريُّ للمنطق في العصر الوسيط اللاتيني: نظيرُ «إيساغوجي» الأبهري في الغرب.
في منطق العصور الوسطى -
إيساغوجي
المتنُ الصغيرُ الذي علّم العالَمَ الإسلاميَّ المنطقَ سبعةَ قرون. يُحفَظ ويُشرَح ويُحَبّ.
في منطق العصور الوسطى -
مطالعُ الأنوار
متنٌ متقدِّمٌ معياريٌّ في المنطق ما بعد الابن‑سينوي، دُرِس قرونًا عبر شرحِه الكبير.
في منطق العصور الوسطى -
شرحُ الإشارات
الشرحُ والدفاعُ الحاسمُ عن «إشارات» ابن سينا، وقد صار أساسًا لكلِّ منطقٍ إسلاميٍّ لاحق.
في منطق العصور الوسطى -
الرسالةُ الشمسية
أكثرُ متنٍ منطقيٍّ شُرِح في تاريخ الإسلام. وهو معيارُ المنطق ما بعد الابن‑سينوي.
في منطق العصور الوسطى -
قسطاسُ الأفكار
نسقٌ مستقلٌّ في المنطق ما بعد الابن‑سينوي، له معالجتُه الخاصّةُ للتعريف والقياس.
في منطق العصور الوسطى -
الفنُّ الأعظم
آلةٌ منطقيةٌ تأليفيةٌ من أقراصٍ دائرة، وهي سَلَفٌ بعيدٌ لحُلم لايبنتس في الحساب.
في منطق العصور الوسطى -
الردُّ على المنطقيين
أعمقُ نقدٍ للقياس قبل الحداثة، وقد سبق، كما يُحتجّ، اعتراضاتِ المنطق الحديث بقرون.
في منطق العصور الوسطى -
خلاصةُ المنطق
ذروةُ المنطق المدرسي اللاتيني: نظريةٌ دقيقةٌ في الحَمل ودلالةِ الألفاظ.
في منطق العصور الوسطى -
تحريرُ القواعد المنطقية
أكثرُ الشروح دراسةً على «شمسية» الكاتبي، وقد صار هو نفسُه مدخلَ أجيالٍ من الطلاب.
في منطق العصور الوسطى -
تهذيبُ المنطق
مختصَرٌ بديعٌ لخّص العلمَ كلَّه في صفحاتٍ قِصار، ودُرِّس وحُشِّيَ قرونًا.
في منطق العصور الوسطى -
السُّلَّمُ المُنوْرَق
المنطقُ نظمًا. السُّلَّمُ المنظومُ الذي صعد عليه طلابٌ لا يُحصَون إلى العلم أوّلَ مرّة.
في منطق العصور الوسطى -
الكتاباتُ المنطقية
أوّلُ حسابٍ متّصلٍ للاستدلال: جبرٌ رمزيٌّ للمفاهيم، سبق زمانَه بقرنين.
في الثورة الحديثة -
نظريةُ العلم
سبق إلى اللزوم المنطقي والتحليلية والتصوُّر الدلالي للصلاحية قبل تارسكي بقرن.
في المنطق الرياضي -
-
-
بحثٌ في قوانين الفكر
المنطقُ مصبوبًا جبرًا. مولدُ الجبر البولياني والتقليد الجبري كلِّه.
في الثورة الحديثة -
تدوينُ المفاهيم
مولدُ المنطق الحديث: المسوِّرات، والمتغيِّراتُ المربوطة، ولغةٌ صوريةٌ تامّةٌ للمحمولات.
في الثورة الحديثة -
أسسُ نظريةٍ عامةٍ للمجموعات
إنشاءُ نظرية المجموعات واللامتناهي: بِدقّة، أحجامٌ لا نهائيةٌ من اللانهاية.
في نظرية المجموعات والأسس -
-
في أسس الرياضيات
الحدْسيّة: التحدّي البنائيُّ الذي ينزع عن قانون الثالث المرفوع سلطانَه المطلق.
في المنطق اللاكلاسيكي -
أبحاثٌ في أسس نظرية المجموعات
أوّلُ بَدْهَنةٍ لنظرية المجموعات: البذرةُ التي تنمو إلى ZF وأسسِ الرياضيات.
في نظرية المجموعات والأسس -
مبادئُ الرياضيات
المحاولةُ الضخمةُ لاشتقاق الرياضيات من المنطق، ونظريةُ الأنماط التي استلزمها ذلك.
في الثورة الحديثة -
الرسالةُ المنطقيةُ الفلسفية
جداولُ الصدق، والذرّيةُ المنطقية، وتصوُّرُ القضية صورةً للواقعة.
في المنطق الفلسفي -
في القضايا غيرِ القابلةِ للبتِّ صوريًّا
مبرهنتا عدمِ الاكتمال: كلُّ نسقٍ صوريٍّ متّسقٍ قويٍّ بما يكفي يترك حقائقَ لا يستطيع برهنتها.
في المنطق الرياضي -
مفهومُ الصدق في اللغات الصورية
نظريةٌ دلاليةٌ دقيقةٌ للصدق، ومبرهنةُ اللاتعريفية: الصدقُ يفوقُ أيَّ لغةٍ بمفردها.
في المنطق الرياضي -
البناءُ المنطقي للغة
المنطقُ مَصُوغًا نحوًا دقيقًا للغة العلم. ذروةُ الوضعية المنطقية.
في المنطق الفلسفي -
الأوراقُ المجموعة
الاستنباطُ الطبيعيُّ وحسابُ المتواليات: تأسيسُ نظرية البرهان البنيوية وحذفِ القطع.
في نظرية البرهان -
مسألةٌ غيرُ قابلةٍ للحلِّ في نظرية الأعداد
حسابُ لامدا وأوّلُ نتيجةِ لاقابليةٍ للبتّ. أساسٌ للحوسبة ولنظرية الأنماط.
في المنطق الحاسوبي -
في الأعداد القابلة للحوسبة
آلةُ تورنغ: تعريفٌ دقيقٌ للحوسبة، وعدمُ قابلية مسألةِ التوقّف للبتّ.
في المنطق الحاسوبي -
اعتباراتٌ دلاليةٌ في منطق الجهات
دلالةُ العوالم الممكنة: نظريةُ النماذج التي منحت منطقَ الجهات أرضًا رياضيةً صلبة.
في منطق الجهات -
الفئاتُ لعالم الرياضيات العامل
نظريةُ الفئات بوصفها لغةً تأسيسية. الكائناتُ والأسهمُ والكونيُّ من بينها.
في نظرية الفئات -
مدخلٌ رياضيٌّ إلى المنطق
الكتابُ المرجعُ في منطق المرتبة الأولى، والاكتمال، ومبادئِ نظرية النماذج.
في المنطق الرياضي -
نظريةُ الأنماط الحدْسية
نظريةُ الأنماط التابعة: أساسٌ بنائيٌّ تكونُ فيه البراهينُ برامجَ والقضايا أنماطًا.
في نظرية الفئات -
مدخلٌ إلى المنطق اللاكلاسيكي
طريقٌ واحدٌ واضحٌ عبر المنطق الجهي ومتعدِّدِ القيم والوثيقِ والضبابي، من الأنساق صعودًا.
في المنطق اللاكلاسيكي -
نظريةُ النمط الهوموتوبي
الأنماطُ بوصفها فضاءاتٍ وبديهيةُ الأحادية: أساسٌ جديدٌ وحاسوبيٌّ للرياضيات.
في أبحاث الطليعة