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

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







المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته

العنوان بلغة أخرى: The Extensional Logic: Its History, Characteristics and Applications
المصدر: مجلة كلية الآداب
الناشر: جامعة بورسعيد - كلية الآداب
المؤلف الرئيسي: أبو العلا، محمد سيد محمد (مؤلف)
المؤلف الرئيسي (الإنجليزية): Abuella, Mohamed Sayed Mohamed
المجلد/العدد: ع20
محكمة: نعم
الدولة: مصر
التاريخ الميلادي: 2022
الشهر: أبريل
الصفحات: 227 - 292
DOI: 10.21608/jfpsu.2021.84404.1104
ISSN: 2356-6493
رقم MD: 1275559
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: AraBase
مواضيع:
كلمات المؤلف المفتاحية:
الأنماط الماصدقية | الميرولوجيا | برمجة المنطق الاستقرائي | مفهوم | الماصدقية الصريحة | Extensional Types | Mereology | The Programming of Inductive Logic | Intension | Explicit Extensionality
رابط المحتوى:
صورة الغلاف QR قانون

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

17

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

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.

ISSN: 2356-6493

عناصر مشابهة