المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته
لم يُعرف التمييز بين حدي القضية - المفهوم والماصدق - بشکلٍ انفصالي کلٌ على حدة إلاَّ في وقتٍ متأخر؛ فکل قضية تتکون من حدين هما المفهوم والماصدق، والعلاقة بينهما عکسية کما نعلم؛ کلما زاد المفهوم قل الماصدق والعکس، لکن هذا لا يعني القول بأحدهما فقط دون الآخر، وهذا البحث يعرض في مجمله تعريف المنطق الما...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Arabic |
| Published: |
Faculty of Arts, Port Said University
2022-04-01
|
| Series: | Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd |
| Subjects: | |
| Online Access: | https://jfpsu.journals.ekb.eg/article_227952_72edeb827f5e39689bbf1dcb9cb4bf4b.pdf |
| _version_ | 1797652319582552064 |
|---|---|
| author | محمد سيد محمد أبوالعلا |
| author_facet | محمد سيد محمد أبوالعلا |
| author_sort | محمد سيد محمد أبوالعلا |
| collection | DOAJ |
| description | لم يُعرف التمييز بين حدي القضية - المفهوم والماصدق - بشکلٍ انفصالي کلٌ على حدة إلاَّ في وقتٍ متأخر؛ فکل قضية تتکون من حدين هما المفهوم والماصدق، والعلاقة بينهما عکسية کما نعلم؛ کلما زاد المفهوم قل الماصدق والعکس، لکن هذا لا يعني القول بأحدهما فقط دون الآخر، وهذا البحث يعرض في مجمله تعريف المنطق الماصدقي، وبداياته المتعارف عليها تاريخيًا، وعلاقته بالمنطق المفهومي، والفرق بين المفهومي والماصدقي، وأشهر علماء المنطق الذين يعلون من شأن الماصدق؛ فيقولون بالنزعة الماصدقية، أو ما يعرف بالمنطق الماصدقي، ولماذا الانحياز التام في بعض الفترات له على حساب منطق المفهوم، مع أن کلاهما يکمل الآخر؟، کما يعرض فيه الباحث کذلک إلى أنواع الماصدقات المختلفة، أو النزعة الماصدقية، فيبين أن منها ماصدقية صريحة، ومنها ماصدقية ضمنية، مبينًا دور بعض علماء المنطق الذين أوصوا بضرورة التخلي عن المفهومات، مع بيان خصائص المنطق الماصدقي، وأهم ثوابت ومتغيرات المنطق الماصدقي، والسياقات الماصدقية ودلالاتها، ونظرية الأنماط الماصدقية، وأثر هذه النظرة في نظريات: المجموعات، الأنماط، الميرولوجيا، ولغات البرمجة، وأبرز تطبيقات المنطق الماصدقي في برمجة المنطق الاستقرائي. Abstract 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. |
| first_indexed | 2024-03-11T16:28:13Z |
| format | Article |
| id | doaj.art-6e11b80def6c4591b3d159f0dee07cd2 |
| institution | Directory Open Access Journal |
| issn | 2356-6493 2682-3551 |
| language | Arabic |
| last_indexed | 2024-03-11T16:28:13Z |
| publishDate | 2022-04-01 |
| publisher | Faculty of Arts, Port Said University |
| record_format | Article |
| series | Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd |
| spelling | doaj.art-6e11b80def6c4591b3d159f0dee07cd22023-10-24T09:35:07ZaraFaculty of Arts, Port Said UniversityMaǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd2356-64932682-35512022-04-01202022729210.21608/jfpsu.2021.84404.1104227952المنطق الماصدقي: تاريخه وخصائصه وتطبيقاتهمحمد سيد محمد أبوالعلا0قسم الفلسفة، کلية الآداب، جامعة بورسعيدلم يُعرف التمييز بين حدي القضية - المفهوم والماصدق - بشکلٍ انفصالي کلٌ على حدة إلاَّ في وقتٍ متأخر؛ فکل قضية تتکون من حدين هما المفهوم والماصدق، والعلاقة بينهما عکسية کما نعلم؛ کلما زاد المفهوم قل الماصدق والعکس، لکن هذا لا يعني القول بأحدهما فقط دون الآخر، وهذا البحث يعرض في مجمله تعريف المنطق الماصدقي، وبداياته المتعارف عليها تاريخيًا، وعلاقته بالمنطق المفهومي، والفرق بين المفهومي والماصدقي، وأشهر علماء المنطق الذين يعلون من شأن الماصدق؛ فيقولون بالنزعة الماصدقية، أو ما يعرف بالمنطق الماصدقي، ولماذا الانحياز التام في بعض الفترات له على حساب منطق المفهوم، مع أن کلاهما يکمل الآخر؟، کما يعرض فيه الباحث کذلک إلى أنواع الماصدقات المختلفة، أو النزعة الماصدقية، فيبين أن منها ماصدقية صريحة، ومنها ماصدقية ضمنية، مبينًا دور بعض علماء المنطق الذين أوصوا بضرورة التخلي عن المفهومات، مع بيان خصائص المنطق الماصدقي، وأهم ثوابت ومتغيرات المنطق الماصدقي، والسياقات الماصدقية ودلالاتها، ونظرية الأنماط الماصدقية، وأثر هذه النظرة في نظريات: المجموعات، الأنماط، الميرولوجيا، ولغات البرمجة، وأبرز تطبيقات المنطق الماصدقي في برمجة المنطق الاستقرائي. Abstract 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.https://jfpsu.journals.ekb.eg/article_227952_72edeb827f5e39689bbf1dcb9cb4bf4b.pdfالأنماط الماصدقيةالميرولوجيابرمجة المنطق الاستقرائيمفهومالماصدقية الصريحةextensional typesmereologythe programming of inductive logicintensionexplicit extensionality |
| spellingShingle | محمد سيد محمد أبوالعلا المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd الأنماط الماصدقية الميرولوجيا برمجة المنطق الاستقرائي مفهوم الماصدقية الصريحة extensional types mereology the programming of inductive logic intension explicit extensionality |
| title | المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته |
| title_full | المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته |
| title_fullStr | المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته |
| title_full_unstemmed | المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته |
| title_short | المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته |
| title_sort | المنطق الماصدقي تاريخه وخصائصه وتطبيقاته |
| topic | الأنماط الماصدقية الميرولوجيا برمجة المنطق الاستقرائي مفهوم الماصدقية الصريحة extensional types mereology the programming of inductive logic intension explicit extensionality |
| url | https://jfpsu.journals.ekb.eg/article_227952_72edeb827f5e39689bbf1dcb9cb4bf4b.pdf |
| work_keys_str_mv | AT mḥmdsydmḥmdạbwạlʿlạ ạlmnṭqạlmạṣdqytạrykẖhwkẖṣạỷṣhwtṭbyqạth |