| LEADER |
05581nam a22002657a 4500 |
| 001 |
1744362 |
| 024 |
|
|
|3 10.46513/2066-005-001-001
|
| 041 |
|
|
|a ara
|
| 044 |
|
|
|b الجزائر
|
| 100 |
|
|
|a عدالة، عبدالقادر
|q Adalah, Abdulqader
|e مؤلف
|9 272832
|
| 242 |
|
|
|a The Symptoms of Mathematical Logic of The Megarians, Stoiciens and Ramon Llull
|
| 245 |
|
|
|a إرهاصات المنطق الرياضي عند الميغاريين، الرواقيين وريمون لول
|
| 260 |
|
|
|b جامعة عبد الحميد بن باديس مستغانم - كلية العلوم الاجتماعية - مخبر الفلسفة والعلوم الإنسانية
|c 2018
|g ماي
|
| 300 |
|
|
|a 10 - 24
|
| 336 |
|
|
|a بحوث ومقالات
|b Article
|
| 520 |
|
|
|f 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.\nIn 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.\nRaymond 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.\nThis abstract translated by Dar AlMandumah Inc. 2018\n
|
| 520 |
|
|
|d 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.\nDans 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.\nQuant à 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.\n
|
| 520 |
|
|
|a إن تاريخ المنطق يثبت- بما لا يدع مجالاً للشك- أن المنطق الرياضي وليد العصر الحديث. وقد مر بثلاث مراحل: رمزية، جبرية ثم لوجيستيقية. ويعني هذا اللفظ رد الرياضيات إلى المنطق؛ حيث كان الاتجاه سابقا نحو ترويض المنطق. وبهذه المرحلة الأخيرة؛ بلغ المنطق الرياضي ثنائي القيمة (الصدق والكذب) ذروته مع رسل ووايتهيد في مطلع القرن ال 20.\nوفي هذا المقال، سنحاول الكشف عن بعض الإرهاصات والجذور الموغلة في القدم لهذا المنطق الرياضي؛ إذ تصل إلى إقليدس الميغاري المعاصر لسقراط (وهو غير إقليدس الرياضي الشهير). وسيأتي الرواقيون ليواصلوا ما بدأه الميغاريون في التمهيد غير المقصود للنسق المنطقي الرمزي. وذلك بانشغالهم بتوسيع، تعميق وتدقيق منطق القضايا. كما عملوا على إدخال الرموز في الصياغة للتعبير عن الصور القضوية أي المتغيرات. وهذا، بالإضافة إلى انشغالهم ببناء منطق القضايا على هيئة نسق فرضي استنباطي.\nأما مساهمة ريمون لول؛ فإنها تنحصر في الأسلوب الرمزي الذي اعتمده في صياغة نظريته. وهو الأسلوب الذي لفت انتباه بعض المناطقة المحدثين أمثال رائد المرحلة الرمزية ليبنتز وصاحب نظرية "كم المحمول" هاملتون.\n
|
| 653 |
|
|
|a المنطق الرياضى
|a الميغاريين
|a الرواقيون
|a ريمون لول
|
| 692 |
|
|
|a المنطق الرياضي
|a الجذور
|a الميغاريون
|a الرواقيون
|a ريمون لول
|
| 773 |
|
|
|4 الفلسفة
|6 Philosophy
|c 001
|f Muqārabāt falsafiyaẗ
|l 001
|m مج5, ع1
|o 2066
|s مقاربات فلسفية
|v 005
|x 2352-9776
|
| 856 |
|
|
|u 2066-005-001-001.pdf
|
| 930 |
|
|
|d y
|p y
|
| 995 |
|
|
|a HumanIndex
|
| 999 |
|
|
|c 1002570
|d 1002570
|
