LEADER |
04571nam a22002417a 4500 |
001 |
2030433 |
024 |
|
|
|3 10.21608/jfpsu.2021.84404.1104
|
041 |
|
|
|a ara
|
044 |
|
|
|b مصر
|
100 |
|
|
|a أبو العلا، محمد سيد محمد
|g Abuella, Mohamed Sayed Mohamed
|e مؤلف
|9 470166
|
245 |
|
|
|a المنطق الماصدقي:
|b تاريخه وخصائصه وتطبيقاته
|
246 |
|
|
|a The Extensional Logic:
|b Its History, Characteristics and Applications
|
260 |
|
|
|b جامعة بورسعيد - كلية الآداب
|c 2022
|g أبريل
|
300 |
|
|
|a 227 - 292
|
336 |
|
|
|a بحوث ومقالات
|b Article
|
520 |
|
|
|a لم يعرف التمييز بين حدي القضية - المفهوم والماصدق - بشكل انفصالي كل على حدة إلا في وقت متأخر؛ فكل قضية تتكون من حدين هما المفهوم والماصدق، والعلاقة بينهما عكسية كما نعلم؛ كلما زاد المفهوم قل الماصدق والعكس، لكن هذا لا يعني القول بأحدهما فقط دون الآخر، وهذا البحث يعرض في مجمله تعريف المنطق الماصدقي، وبداياته المتعارف عليها تاريخيا، وعلاقته بالمنطق المفهومي، والفرق بين المفهومي والماصدقي، وأشهر علماء المنطق الذين يعلون من شأن الماصدق؛ فيقولون بالنزعة الماصدقية، أو ما يعرف بالمنطق الماصدقي، ولماذا الانحياز التام في بعض الفترات له على حساب منطق المفهوم، مع أن كلاهما يكمل الآخر؟، كما يعرض فيه الباحث كذلك إلى أنواع الماصدقات المختلفة، أو النزعة الماصدقية، فيبين أن منها ماصدقية صريحة، ومنها ماصدقية ضمنية، مبينا دور بعض علماء المنطق الذين أوصوا بضرورة التخلي عن المفهومات، مع بيان خصائص المنطق الماصدقي، وأهم ثوابت ومتغيرات المنطق الماصدقي، والسياقات الماصدقية ودلالاتها، ونظرية الأنماط الماصدقية، وأثر هذه النظرة في نظريات: المجموعات، الأنماط، الميرولوجيا، ولغات البرمجة، وأبرز تطبيقات المنطق الماصدقي في برمجة المنطق الاستقرائي.
|b The distinction between the two terms of the Proposition, the Intension and the extension, in a separatist way, was not known until a later date. This research presents, in its entirety, to the definition of the extensional logic and its historically recognized beginnings, its relationship to the Intensional logic, The difference between the intension and the extension, and the most famous logician who exalted the extensional logic, They say of the extensionalism, or what is known extensional logic, and why is the complete bias in some periods to it at the expense of the intension logic, even though both complement the other? The researcher also presents it to the different types of extensions, and shows that some of them have explicit extensionality, and some Implicit extensionality, indicating the role of some logic scholars who recommended the need to abandon intensions, with an explanation of the characteristics of extensional logic, the most important constants and variables of extensional logic, extensional contexts and their implications, the theory of extensional types, and the impact of this view on the theories: sets, types, mereology, and programming languages. The most prominent applications of the extensional logic in the programming of inductive logic.
|
653 |
|
|
|a المنطق الماصدقي
|a لغات البرمجة
|a الماصدقية الصريحة
|a الماصدقية الضمنية
|
692 |
|
|
|a الأنماط الماصدقية
|a الميرولوجيا
|a برمجة المنطق الاستقرائي
|a مفهوم
|a الماصدقية الصريحة
|b Extensional Types
|b Mereology
|b The Programming of Inductive Logic
|b Intension
|b Explicit Extensionality
|
773 |
|
|
|4 الادب
|6 Literature
|c 015
|f Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd
|l 020
|m ع20
|o 1146
|s مجلة كلية الآداب
|t Journal of Faculty of Arts
|v 000
|x 2356-6493
|
856 |
|
|
|u 1146-000-020-015.pdf
|n https://jfpsu.journals.ekb.eg/article_227952.html
|
930 |
|
|
|d y
|p y
|q n
|
995 |
|
|
|a AraBase
|
999 |
|
|
|c 1275559
|d 1275559
|