مرقاة مِرقاةُ المنطق

الزمن · نهرُ المنطق

المنطقُ في الزمن

أمَّهاتُ الكتب على تسلسلٍ زمنيٍّ حقيقي: أربعةٌ وعشرون قرنًا، وانفجارُ القرنِ والنصفِ الأخير. رفيقٌ للأطلس: النَّسَبُ هناك، والزمنُ هنا.

المسافاتُ على المقياس: اشعُرْ بالقرون تمرّ.

  1. c. 350 BCE أرسطو الأُرغانون
  2. c. 250 BCE خريسيبوس والرواقيون الشذراتُ المنطقية
  3. c. 270 فُرفوريوس إيساغوجي (المدخل)
  4. c. 520 بوثيوس في منطق أرسطو (ترجماتٌ وشروح)
  5. c. 940 الفارابي كتابُ القياس
  6. c. 1027 ابن سينا الشفاء: المنطق
  7. c. 1030 ابن سينا الإشاراتُ والتنبيهات
  8. c. 1095 الغزّالي معيارُ العلم
  9. c. 1120 بيير أبيلار الجدليّات
  10. c. 1170 ابن رشد تلخيصُ منطق أرسطو
  11. c. 1245 بطرس الإسباني الملخَّصاتُ المنطقية
  12. c. 1250 الأبهري إيساغوجي
  13. c. 1250 سراج الدين الأُرموي مطالعُ الأنوار
  14. c. 1250 نصير الدين الطوسي شرحُ الإشارات
  15. c. 1265 الكاتبي القزويني الرسالةُ الشمسية
  16. c. 1290 شمس الدين السمرقندي قسطاسُ الأفكار
  17. c. 1305 رامون لُل الفنُّ الأعظم
  18. c. 1320 ابن تيمية الردُّ على المنطقيين
  19. c. 1323 وليم الأوكامي خلاصةُ المنطق
  20. c. 1335 قطب الدين الرازي تحريرُ القواعد المنطقية
  21. c. 1360 التفتازاني تهذيبُ المنطق
  22. c. 1535 الأخضري السُّلَّمُ المُنوْرَق
  23. c. 1686 لايبنتس الكتاباتُ المنطقية
  24. 1837 برنارد بولتسانو نظريةُ العلم
  25. 1843 جون ستيوارت مِل نظامُ المنطق
  26. 1847 أوغست دي مورغان المنطقُ الصوري
  27. 1854 جورج بُول بحثٌ في قوانين الفكر
  28. 1879 غوتلوب فريغه تدوينُ المفاهيم
  29. 1883 كانتور أسسُ نظريةٍ عامةٍ للمجموعات
  30. 1899 هلبرت أسسُ الهندسة
  31. 1907 لاوتسن براور في أسس الرياضيات
  32. 1908 تسيرملو أبحاثٌ في أسس نظرية المجموعات
  33. 1910–13 وايتهد ورسل مبادئُ الرياضيات
  34. 1921 لودفيغ فتغنشتاين الرسالةُ المنطقيةُ الفلسفية
  35. 1931 كورت غودل في القضايا غيرِ القابلةِ للبتِّ صوريًّا
  36. 1933 ألفريد تارسكي مفهومُ الصدق في اللغات الصورية
  37. 1934 رودولف كارناب البناءُ المنطقي للغة
  38. 1934–35 غِرهارد غنتسن الأوراقُ المجموعة
  39. 1936 ألونزو تشرتش مسألةٌ غيرُ قابلةٍ للحلِّ في نظرية الأعداد
  40. 1936 آلان تورنغ في الأعداد القابلة للحوسبة
  41. 1963 سول كريبكي اعتباراتٌ دلاليةٌ في منطق الجهات
  42. 1971 سوندرز ماك لين الفئاتُ لعالم الرياضيات العامل
  43. 1972 هربرت إندرتون مدخلٌ رياضيٌّ إلى المنطق
  44. 1984 بير مارتن-لوف نظريةُ الأنماط الحدْسية
  45. 2001 غراهام بريست مدخلٌ إلى المنطق اللاكلاسيكي
  46. 2013 برنامجُ الأسس الأحادية نظريةُ النمط الهوموتوبي