الأعلام · مَن صنع الحقل؟
مَن صنعوا الحقل
العقولُ خلفَ المتون، من أرسطو إلى القرن العشرين، كلٌّ موصولٌ بالحقل الذي شكَّله.
-
أرسطو Aristotle
أسّس نظرية القياس، فجعل المنطقَ الصوريَّ علمًا منضبطًا بقواعدِ الاستدلال الصحيح.
في المنطق القديممؤلَّفاته الأُرغانون
-
ديودورُس كرونُس Diodorus Cronus
المِغاريُّ الذي شكّلت «حجّتُه الكبرى» ونظريتُه في الشرطيِّ المنطقَ الجهيَّ القديم.
في المنطق القديم -
خريسيبوس Chrysippus
طوّر المنطقَ الرواقيَّ القضويَّ وروابطَه الصدقية، ممهِّدًا لمنطق القضايا الحديث.
في المنطق القديممؤلَّفاته الشذراتُ المنطقية
تأثَّر بـ ديودورُس كرونُسأرسطو
-
جالينوس Galen
طبيبٌ ومنطقيٌّ نظّم القياسَ ونُسِب إليه تقليديًّا الشكلُ الرابع.
في المنطق القديمتأثَّر بـ أرسطو
-
فُرفوريوس Porphyry
صاغ «إيساغوجي»، المدخلُ إلى المقولات، الطريقةَ التي دُرِّس بها المنطقُ خمسةَ عشرَ قرنًا.
في المنطق القديممؤلَّفاته إيساغوجي (المدخل)
-
بوثيوس Boethius
نقل منطقَ أرسطو وشرحه إلى اللاتينية، فكان الجسرَ الذي حفظ به الغربُ الأُرغانون سبعةَ قرون.
في منطق العصور الوسطىمؤلَّفاته في منطق أرسطو (ترجماتٌ وشروح)
-
الكِندي al-Kindī
أوّلُ فلاسفة العرب، نقل المنطقَ اليونانيَّ وأصّله في اللسان العربي.
في منطق العصور الوسطى -
الفارابي al-Fārābī
«المعلّمُ الثاني»: الشارحُ الأكبرُ الذي أسّس التقليدَ الأرسطيَّ العربيَّ في المنطق.
في منطق العصور الوسطىمؤلَّفاته كتابُ القياس
-
ابن سينا Avicenna (Ibn Sīnā)
أعاد بناءَ الأُرغانون الأرسطي وتجاوزه، فأسّس قياسًا جهيًّا وزمنيًّا من وضعه.
في منطق العصور الوسطىمؤلَّفاته الشفاء: المنطقالإشاراتُ والتنبيهات
-
الغزّالي al-Ghazālī
جعل المنطقَ الأرسطيَّ بابًا إلى كلِّ علمٍ في الإسلام، في «معيار العلم».
في منطق العصور الوسطىمؤلَّفاته معيارُ العلم
أثَّر في فخر الدين الرازيابن تيمية
-
بيير أبيلار Peter Abelard
أحدُّ منطقيِّي القرن الثاني عشر اللاتيني، له نظريةٌ أصيلةٌ في الشرطيِّ والمعنى والكُلّيات.
في منطق العصور الوسطىمؤلَّفاته الجدليّات
-
زين الدين الساوي Zayn al-Dīn al-Sāwī
من أوائل مُصلِحي المنطق العربي، ردَّه نحو ما هو برهانيٌّ حقًّا.
في منطق العصور الوسطىتأثَّر بـ ابن سينا
-
ابن رشد Ibn Rushd (Averroes)
«الشارح» الذي شكّلت تلاخيصُه للأُرغانون المنطقَ في الإسلام وأوروبا اللاتينية.
في منطق العصور الوسطىمؤلَّفاته تلخيصُ منطق أرسطو
-
فخر الدين الرازي Fakhr al-Dīn al-Rāzī
منطقيٌّ وناقدٌ محوريٌّ بعد ابن سينا، أعاد تشكيلَ منهج العلم.
في منطق العصور الوسطى -
الخُونَجي al-Khūnajī
في «كشف الأسرار» طوّر نظريةَ الشرطيِّ والقياس بعد ابن سينا.
في منطق العصور الوسطىتأثَّر بـ ابن سينافخر الدين الرازي
أثَّر في الأبهري
-
الأبهري al-Abharī
صاحبُ «إيساغوجي»، أكثرِ متونِ المنطق تدريسًا في العالم الإسلامي سبعةَ قرون.
في منطق العصور الوسطىمؤلَّفاته إيساغوجي
أثَّر في الكاتبي القزوينيالأخضري
-
سراج الدين الأُرموي Sirāj al-Dīn al-Urmawī
صار «مطالعُ الأنوار» متنًا متقدِّمًا معياريًّا في المنطق ما بعد الابن‑سينوي، دُرِس عبر شروحه.
في منطق العصور الوسطىمؤلَّفاته مطالعُ الأنوار
تأثَّر بـ فخر الدين الرازيابن سينا
أثَّر في قطب الدين الرازي
-
نصير الدين الطوسي Naṣīr al-Dīn al-Ṭūsī
موسوعيٌّ صار شرحُه لـ«إشارات» ابن سينا أساسًا للتقليد المنطقي اللاحق.
في منطق العصور الوسطىمؤلَّفاته شرحُ الإشارات
تأثَّر بـ ابن سينافخر الدين الرازي
-
الكاتبي القزويني al-Kātibī al-Qazwīnī
صارت «الشمسية» أكثرَ متنٍ منطقيٍّ شُرِح في تاريخ الإسلام.
في منطق العصور الوسطىمؤلَّفاته الرسالةُ الشمسية
-
بطرس الإسباني Peter of Spain
كان «الملخَّصاتُ المنطقية» الكتابَ المدرسيَّ المعياريَّ للمنطق في الغرب الوسيط: إيساغوجي اللاتين.
في منطق العصور الوسطىمؤلَّفاته الملخَّصاتُ المنطقية
أثَّر في جان بوريدانوليم الأوكامي
-
رامون لُل Ramon Llull
كان «الفنُّ الأعظم»، آلةً تأليفيةً من أقراصٍ دائرة، سَلَفًا بعيدًا لحساب لايبنتس في العقل.
في منطق العصور الوسطىمؤلَّفاته الفنُّ الأعظم
-
ابن تيمية Ibn Taymiyya
في «الرد على المنطقيين» أقام أعمقَ نقدٍ للقياس قبل الحداثة.
في منطق العصور الوسطىمؤلَّفاته الردُّ على المنطقيين
-
شمس الدين السمرقندي Shams al-Dīn al-Samarqandī
في «قسطاس الأفكار» بنى نسقًا مستقلًّا في المنطق ما بعد الابن‑سينوي، اشتُهر بنظريته في التعريف.
في منطق العصور الوسطىمؤلَّفاته قسطاسُ الأفكار
تأثَّر بـ فخر الدين الرازيالكاتبي القزويني
-
وليم الأوكامي William of Ockham
بنى نظريةً دقيقةً في الحَمل ودلالةِ الألفاظ، في ذروة المنطق المدرسي اللاتيني.
في منطق العصور الوسطىمؤلَّفاته خلاصةُ المنطق
تأثَّر بـ أرسطوبوثيوسبطرس الإسباني
أثَّر في جان بوريدان
-
قطب الدين الرازي Quṭb al-Dīn al-Rāzī
الشارحُ الكبيرُ الذي صار «تحريرُه» على «شمسية» الكاتبي المدخلَ المعياريَّ إلى المنطق ما بعد الابن‑سينوي.
في منطق العصور الوسطىمؤلَّفاته تحريرُ القواعد المنطقية
تأثَّر بـ الكاتبي القزوينيسراج الدين الأُرموينصير الدين الطوسي
أثَّر في السيّد الشريف الجرجاني
-
جان بوريدان John Buridan
أعظمُ منطقيٍّ لاتينيٍّ في أواخر العصر الوسيط: نظرياتُ اللزوم والحَمل والمُغالطات.
في منطق العصور الوسطىتأثَّر بـ وليم الأوكاميبطرس الإسبانيأرسطو
-
التفتازاني al-Taftāzānī
إمامُ تقليدِ الشرح؛ علّم مختصَرُه «تهذيب المنطق» العلمَ قرونًا.
في منطق العصور الوسطىمؤلَّفاته تهذيبُ المنطق
تأثَّر بـ الكاتبي القزوينينصير الدين الطوسي
-
السيّد الشريف الجرجاني al-Sayyid al-Sharīf al-Jurjānī
المحشِّي الأكبر، الذي ضبطت حواشيه على المتون المعيارية مسائلَ النظر قرونًا.
في منطق العصور الوسطىتأثَّر بـ التفتازانيقطب الدين الرازيالكاتبي القزويني
أثَّر في جلال الدين الدواني
-
جلال الدين الدواني Jalāl al-Dīn al-Dawānī
من كبار محشِّي التقليد المتأخّر، شحذت حواشيه مسائلَ المنطق في العالم الفارسي.
في منطق العصور الوسطىتأثَّر بـ السيّد الشريف الجرجانيالتفتازاني
-
الأخضري al-Akhḍarī
علّم سُلَّمُه المنظومُ المنطقَ لأجيالٍ في العالم الإسلامي.
في منطق العصور الوسطىمؤلَّفاته السُّلَّمُ المُنوْرَق
تأثَّر بـ الأبهريالكاتبي القزويني
-
مُلّا صدرا Mullā Ṣadrā
أدخل المنطقَ في حكمته المتعالية، في الإزهار المتأخّر للتقليد الإشراقي.
في منطق العصور الوسطىتأثَّر بـ ابن سينا
-
لايبنتس Gottfried Wilhelm Leibniz
حلَم بلغةٍ رمزيةٍ كونيةٍ تَحسِم الخلافَ بالحساب: سَلَفُ المنطق الصوري.
في الثورة الحديثةمؤلَّفاته الكتاباتُ المنطقية
أثَّر في برنارد بولتسانوفريغه
-
برنارد بولتسانو Bernard Bolzano
في عزلةٍ شبه تامّة، سبق إلى اللزوم المنطقي والتحليلية والدلالة بقرن.
في المنطق الرياضيمؤلَّفاته نظريةُ العلم
-
آرثر شوبنهاور Arthur Schopenhauer
سبق منطقُه و«جدلُه الإرستي» إلى عدّةِ تمييزاتٍ ضبطها المناطقةُ لاحقًا.
في المنطق الفلسفيتأثَّر بـ أرسطو
-
أوغست دي مورغان Augustus De Morgan
شارك في تأسيس جبر المنطق؛ وصاغ قوانينَ النفي وأوّلَ منطقٍ جادٍّ للعلاقات.
في الثورة الحديثةمؤلَّفاته المنطقُ الصوري
تأثَّر بـ أرسطو
أثَّر في جورج بُولتشارلز ساندرز بيرس
-
جون ستيوارت مِل John Stuart Mill
قعّد «نظامُ المنطق» المنطقَ الاستقرائيَّ ومناهجَ العلم التجريبي.
في المنطق الفلسفيمؤلَّفاته نظامُ المنطق
تأثَّر بـ أرسطو
-
جورج بُول George Boole
ابتكر الجبرَ البولياني، أوّلَ نسقٍ جبريٍّ للمنطق، يُعالِج القضايا والفئات بالحساب.
في الثورة الحديثةمؤلَّفاته بحثٌ في قوانين الفكر
-
جون فِن John Venn
منح جبرَ المنطق مخطّطاتِه، وقرأ الاستدلالَ من خلال الاحتمال.
في المنطق الجبريتأثَّر بـ جورج بُول
-
تشارلز ساندرز بيرس Charles Sanders Peirce
ابتكر التسويرَ ومنطقَ العلاقات استقلالًا، وكان رائدًا في التحليل الصدقي.
في الثورة الحديثةتأثَّر بـ جورج بُولأوغست دي مورغان
أثَّر في إرنست شرودرتارسكي
-
إرنست شرودر Ernst Schröder
نظّم جبرَ المنطق وحسابَ العلاقات في مصنَّفٍ ضخم.
في المنطق الجبريتأثَّر بـ جورج بُولتشارلز ساندرز بيرس
أثَّر في تارسكي
-
كانتور Georg Cantor
أنشأ نظريةَ المجموعات ونظريةَ اللانهائي، فأرسى مفاهيمَ تأسيسيةً للرياضيات الحديثة.
في نظرية المجموعات والأسسمؤلَّفاته أسسُ نظريةٍ عامةٍ للمجموعات
تأثَّر بـ برنارد بولتسانو
-
فريغه Gottlob Frege
أسّس المنطقَ الحديث بالمسوِّرات والمتغيِّرات المربوطة ولغةٍ صوريةٍ تامّةٍ للمحمولات.
في الثورة الحديثةمؤلَّفاته تدوينُ المفاهيم
-
جوزيبه بيانو Giuseppe Peano
بَدْهَنَ الحسابَ ومنح المنطقَ كثيرًا من تدوينه الحديث (∈، ∃، ⊃).
في الثورة الحديثةأثَّر في ألفرد نورث وايتهدبرتراند رسل
-
ألفرد نورث وايتهد Alfred North Whitehead
شارك رسل في تأليف «مبادئ الرياضيات»، المحاولةِ الكبرى لتأسيس الرياضيات كلِّها على المنطق.
في الثورة الحديثةمؤلَّفاته مبادئُ الرياضيات
تأثَّر بـ جورج بُولجوزيبه بيانو
أثَّر في برتراند رسل
-
هلبرت David Hilbert
أسّس المنهجَ البَدَهي والبرنامجَ الصُّوَري، وجعل البرهانَ نفسَه موضوعًا للدرس.
في نظرية البرهانمؤلَّفاته أسسُ الهندسة
-
تسيرملو Ernst Zermelo
بَدْهَنَ نظريةَ المجموعات، بذرةَ أساسِ تسيرملو–فرانكل للرياضيات.
في نظرية المجموعات والأسسمؤلَّفاته أبحاثٌ في أسس نظرية المجموعات
أثَّر في تورالف سكولم
-
برتراند رسل Bertrand Russell
اكتشف مفارقتَه الشهيرة وبنى نظريةَ الأنماط، ثم اشتقّ الرياضياتِ من المنطق في «المبادئ».
في الثورة الحديثةمؤلَّفاته مبادئُ الرياضيات
-
يان وكاشيفيتش Jan Łukasiewicz
أسّس المنطقَ متعدِّدَ القيم والتدوينَ البولندي، وأعاد قراءةَ أرسطو والرواقيِّين بأدواتٍ حديثة.
في المنطق اللاكلاسيكي -
براور L. E. J. Brouwer
أسّس الحدْسية، فردَّ إطلاقَ قانون الثالث المرفوع وطالب بالبرهان البنائي.
في المنطق اللاكلاسيكيمؤلَّفاته في أسس الرياضيات
-
سي. آي. لويس C. I. Lewis
أسّس منطقَ الجهات الحديث بالاستلزام الصارم وتدرُّجِ الأنساق الجهية.
في منطق الجهاتتأثَّر بـ برتراند رسل
أثَّر في روث باركان ماركوسكريبكي
-
ستانيسواف ليشنيفسكي Stanisław Leśniewski
مؤسِّسُ أنساق مدرسة وارسو (البروتوثتيك والأنطولوجيا والمِريولوجيا)، وأستاذُ تارسكي.
في المنطق الرياضيتأثَّر بـ فريغهبرتراند رسل
أثَّر في تارسكي
-
تورالف سكولم Thoralf Skolem
مبرهنةُ لوفنهايم–سكولم ودوالُّ سكولم: من أعمدة نظرية النماذج ومفارقاتها.
في المنطق الرياضيتأثَّر بـ تسيرملو
-
لودفيغ فتغنشتاين Ludwig Wittgenstein
في «الرسالة»: جداولُ الصدق، والذرّيةُ المنطقية، وحدودُ ما يقوله المنطق.
في المنطق الفلسفيمؤلَّفاته الرسالةُ المنطقيةُ الفلسفية
تأثَّر بـ فريغهبرتراند رسل
أثَّر في رودولف كارناب
-
رودولف كارناب Rudolf Carnap
«البناءُ المنطقي للغة»: المنطقُ مَصُوغًا نحوًا صارمًا للعلم.
في المنطق الفلسفيمؤلَّفاته البناءُ المنطقي للغة
تأثَّر بـ فريغهبرتراند رسللودفيغ فتغنشتاين
أثَّر في ويلارد فان أورمان كواين
-
إميل بوست Emil Post
برهن اكتمالَ منطق القضايا، وأسّس المنطقَ متعدِّدَ القيم، وكان رائدًا في نظرية الحوسبة.
في المنطق الرياضيتأثَّر بـ برتراند رسلفريغه
-
هاسكل كَري Haskell Curry
بنى المنطقَ التركيبي ورأى التناظرَ العميق بين البراهين والبرامج: تماثلَ كَري–هاوارد.
في نظرية البرهانأثَّر في مارتن-لوفجان-إيف جيرار
-
تارسكي Alfred Tarski
وضع النظريةَ الدلاليةَ للصدق وأسّس نظريةَ النماذج، وفي قلبها مبرهنةُ اللاتعريفية.
في المنطق الرياضيمؤلَّفاته مفهومُ الصدق في اللغات الصورية
تأثَّر بـ تشارلز ساندرز بيرسإرنست شرودريان وكاشيفيتشستانيسواف ليشنيفسكي
أثَّر في كريبكي
-
تشرتش Alonzo Church
ابتكر حسابَ لامدا وأطروحتَه، أساسَي القابلية للحوسبة ونظرية الأنماط.
في المنطق الحاسوبي -
غودل Kurt Gödel
برهن اكتمالَ منطق المرتبة الأولى ومبرهنتَي عدم الاكتمال: حدودَ الأنساق الصورية.
في المنطق الرياضيمؤلَّفاته في القضايا غيرِ القابلةِ للبتِّ صوريًّا
تأثَّر بـ هلبرتبرتراند رسلفريغه
-
جاك إربران Jacques Herbrand
ردّت مبرهنةُ إربران قابليةَ البرهنة في المرتبة الأولى إلى القضوي، فكانت أصلًا للاستدلال الآلي.
في المنطق الحاسوبيتأثَّر بـ هلبرت
أثَّر في ج. أ. روبنسون
-
ويلارد فان أورمان كواين Willard Van Orman Quine
أعاد تشكيلَ المنطق وفلسفتِه: نقدُ التحليلية ورؤيةٌ تقشُّفيةٌ للمرتبة الأولى.
في المنطق الفلسفيتأثَّر بـ برتراند رسلرودولف كارناب
-
غنتسن Gerhard Gentzen
ابتكر الاستنباطَ الطبيعيَّ وحسابَ المتواليات، وبرهن حذفَ القطع، فكان ذلك مولدَ نظرية البرهان البنيوية.
في نظرية البرهانمؤلَّفاته الأوراقُ المجموعة
أثَّر في جان-إيف جيرار
-
ماك لين Saunders Mac Lane
شارك أيلنبرغ في تأسيس نظرية الفئات، فمنح الرياضياتِ لغةَ الكائنات والأسهم.
في نظرية الفئاتمؤلَّفاته الفئاتُ لعالم الرياضيات العامل
تأثَّر بـ هلبرت
-
ستيفن كول كليني Stephen Cole Kleene
من مؤسِّسي نظرية الاستدعاء الذاتي: تدرُّجُ كليني، والصورةُ الناظمية، والمجموعاتُ المنتظمة التي تحمل نجمتَه.
في المنطق الحاسوبي -
تورنغ Alan Turing
صوَّر القابليةَ للحوسبة بآلة تورنغ وبرهن عدمَ قابلية مسألةِ التوقّف للبَتّ.
في المنطق الحاسوبيمؤلَّفاته في الأعداد القابلة للحوسبة
-
روث باركان ماركوس Ruth Barcan Marcus
أسّست منطقَ الجهات المُسوَّر: صيغةُ باركان ومنطقُ الإشارة المباشرة، قبل دلالة كريبكي.
في منطق الجهاتتأثَّر بـ سي. آي. لويسبرتراند رسل
أثَّر في كريبكي
-
ج. أ. روبنسون J. A. Robinson
مبدأُ الحلّ: قاعدةُ الاستدلال في قلب البرهنة الآلية ولغةِ بُرولوغ.
في المنطق الحاسوبيتأثَّر بـ جاك إربرانتشرتش
-
بول كوهين Paul Cohen
ابتكر التفريع (forcing)، فبرهن استقلالَ فرضية المتّصل وبديهيةِ الاختيار عن ZF.
في نظرية المجموعات والأسستأثَّر بـ غودل
-
كريبكي Saul Kripke
طوّر دلالةَ العوالم الممكنة، فمنح منطقَ الجهات أرضًا رياضيةً صلبة.
في منطق الجهاتمؤلَّفاته اعتباراتٌ دلاليةٌ في منطق الجهات
تأثَّر بـ سي. آي. لويسروث باركان ماركوستارسكي
-
مارتن-لوف Per Martin-Löf
طوّر نظريةَ الأنماط الحدْسية، أساسًا بنائيًّا تكونُ فيه البراهينُ برامج.
في نظرية الفئاتمؤلَّفاته نظريةُ الأنماط الحدْسية
تأثَّر بـ براورهاسكل كَريتشرتش
-
جان-إيف جيرار Jean-Yves Girard
ابتكر المنطقَ الخطّيَّ ونظامَ F، فعمّق التناظرَ بين البراهين والبرامج.
في نظرية البرهانتأثَّر بـ غنتسنهاسكل كَريتشرتش