ارسل ملاحظاتك

ارسل ملاحظاتك لنا







الرئيسية > إرهاصات المنطق الرياضي عند الم...>الوصف

إرهاصات المنطق الرياضي عند الميغاريين، الرواقيين وريمون لول

العنوان المترجم: The Symptoms of Mathematical Logic of The Megarians, Stoiciens and Ramon Llull
المصدر: مقاربات فلسفية
الناشر: جامعة عبد الحميد بن باديس مستغانم - كلية العلوم الاجتماعية - مخبر الفلسفة والعلوم الإنسانية
المؤلف الرئيسي: عدالة، عبدالقادر (مؤلف)
المجلد/العدد: مج5, ع1
محكمة: نعم
الدولة: الجزائر
التاريخ الميلادي: 2018
الشهر: ماي
الصفحات: 10 - 24
DOI: 10.46513/2066-005-001-001
ISSN: 2352-9776
رقم MD: 1002570
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: HumanIndex
مواضيع:
المنطق الرياضى | الميغاريين | الرواقيون | ريمون لول
كلمات المؤلف المفتاحية:
المنطق الرياضي | الجذور | الميغاريون | الرواقيون | ريمون لول
رابط المحتوى:
PDF (صورة)     
صورة الغلاف QR قانون

عدد مرات التحميل

33

حفظ في:
المستخلص: إن تاريخ المنطق يثبت- بما لا يدع مجالاً للشك- أن المنطق الرياضي وليد العصر الحديث. وقد مر بثلاث مراحل: رمزية، جبرية ثم لوجيستيقية. ويعني هذا اللفظ رد الرياضيات إلى المنطق؛ حيث كان الاتجاه سابقا نحو ترويض المنطق. وبهذه المرحلة الأخيرة؛ بلغ المنطق الرياضي ثنائي القيمة (الصدق والكذب) ذروته مع رسل ووايتهيد في مطلع القرن ال 20.
وفي هذا المقال، سنحاول الكشف عن بعض الإرهاصات والجذور الموغلة في القدم لهذا المنطق الرياضي؛ إذ تصل إلى إقليدس الميغاري المعاصر لسقراط (وهو غير إقليدس الرياضي الشهير). وسيأتي الرواقيون ليواصلوا ما بدأه الميغاريون في التمهيد غير المقصود للنسق المنطقي الرمزي. وذلك بانشغالهم بتوسيع، تعميق وتدقيق منطق القضايا. كما عملوا على إدخال الرموز في الصياغة للتعبير عن الصور القضوية أي المتغيرات. وهذا، بالإضافة إلى انشغالهم ببناء منطق القضايا على هيئة نسق فرضي استنباطي.
أما مساهمة ريمون لول؛ فإنها تنحصر في الأسلوب الرمزي الذي اعتمده في صياغة نظريته. وهو الأسلوب الذي لفت انتباه بعض المناطقة المحدثين أمثال رائد المرحلة الرمزية ليبنتز وصاحب نظرية "كم المحمول" هاملتون.


L’histoire de la logique démontre incontestablement, que la logique des mathématiques est le produit des temps modernes. Cette logique a connu trois étapes: symbolique, algébrique et finalement logistique. Et dés cette dernière étape; ce système logique bivalent, a atteint son point culminent au début du 20ème siècle, avec Russell et Whitehead.
Dans cet article, On va tenter de tirer au lumière, quelques racines anciennes fondées et inculquées par Euclide le Mégarien, le contemporain de Socrate. Et avec les Stoïciens, et leurs travaux pour développer la logique formelle traditionnelle ; ces racines sont consolidées et solidifiés. Et cela parce que les Stoïciens ont développé et approfondi la théorie des propositions, comme ils ont utilisé les symboles pour désigner les variables, sans oublier leur grande invention à donner la forme d’un système hypothético-déductif à leur théorie des propositions.
Quant à Ramon Lull; sa participation consiste à utiliser les symboles en formant sa théorie. Ce qui a attiré l’attention de quelques logiciens modernes comme Leibniz et Hamilton.


The history of logic proves beyond a doubt that mathematical logic is the creation of modern times. It has gone through three stages: symbolic, algebraic, and then logistic. This term means the return of mathematics to logic, where the trend was previously towards taming logic. At this last stage, two-value mathematical logic (true and false) culminated with Russell and Whitheead at the turn of the 20th century.
In this article, we will try to uncover some of the foundations and roots of this mathematical logic, as they reach the contemporary Meghari Euclid of Socrates (it is other than famous Mathematical Euclid). The Stoics will come to continue what the Megarians have begun in the unintended prelude of the symbolic logical format, by expanding, deepening, and scrutinizing the logic of the issues. They also worked on the introduction of symbols in the drafting to express the instantiated images of any variants. This, in addition to their preoccupation with building the logic of issues in the form of a hypothetical-deductive format.
Raymond Lol’s contribution is limited to the symbolic manner he has adopted in formulating his theory. It is a technique that drew the attention of some modern logicians like the pioneer of the symbolic stage Leibentz and the author of the theory of “quantification of the predicate” Hamilton.
This abstract translated by Dar AlMandumah Inc. 2018
ISSN: 2352-9776

عناصر مشابهة


© 2024 المنظومة. جميع الحقوق محفوظة.