العنوان بلغة أخرى: |
Paraconsistent Logic |
---|---|
المصدر: | مجلة كلية الآداب |
الناشر: | جامعة الفيوم - كلية الآداب |
المؤلف الرئيسي: | السيد، مايسة عبده علي (مؤلف) |
المؤلف الرئيسي (الإنجليزية): | Elsayed, Maysa Abdou Ali |
المجلد/العدد: | مج13, ع1 |
محكمة: | نعم |
الدولة: |
مصر |
التاريخ الميلادي: |
2021
|
الشهر: | يناير |
الصفحات: | 379 - 429 |
DOI: |
10.21608/JFAFU.2020.47604.1229 |
ISSN: |
2357-0709 |
رقم MD: | 1119062 |
نوع المحتوى: | بحوث ومقالات |
اللغة: | العربية |
قواعد المعلومات: | HumanIndex |
مواضيع: | |
كلمات المؤلف المفتاحية: |
الإتساق | عدم الإتساق | شبه الإتساق | التناقض | إزدواجية الصدق | Consistency | Inconsistency | Paraconsistency | Contradiction | Dialetheism
|
رابط المحتوى: |
المستخلص: |
يعتبر المنطق شبه المتسق أداة مهمة في التعبير عن عدم الاتساق، ومن هنا تأتي أهمية هذا البحث للأسباب الآتية: ١- يقوم المنطق شبه المتسق بصورة المختلفة في صياغة ونمذجة الاستدلال من فرضيات غير متسقة دون الانزلاق إلى سخف. ٢- يتميز المنطق شبه المتسق بآلياته التي تعتمد على إدارة النظريات غير المتسقة وعدم يتجاهلها من خلال استيعاب عدم الاتساق بطريقة خاضعة للتحكم بالنظر في أسباب الانفجار ومحاولة إزالتها. يبدأ البحث بمقدمة تناولت حدود البحث وأهميته والهدف منه والمنهج المستخدم. ثم عرضنا لطبيعة مفهوم شبه الاتساق من خلال علاقته بمفاهيم الاتساق وعدم الاتساق والتناقض، ومنه تطرقنا لتوضيح مدى الاختلاف بين المنطق الكلاسيكي وأنماط المنطق شبه المتسق من خلال أن الركيزة الأساسية لشبه الاتساق هي رفض قاعدة الانفجار الناتجة عن قانون عدم التناقض المهيمن على المنطق الكلاسيكي والذي كان سببا رئيسيا في عدم قدرة المنطق الكلاسيكي على التعامل مع عدم الاتساقات دون اعتبارها مفارقات مما أدى بدوره لإبراز أهم الدوافع المحركة لابتكار المنطق شبه المتسق، والذي كان لها أكبر الأثر في إبراز صور متعددة منه أعلنت عن نفسها عبر لمحة تاريخية تؤصل لهذا المنطق. هذه الصور المتعددة اندرجت تحت مظلة شبه الاتساق عبر مجموعة من السمات تميزها والتي بدورها تجلت في صورة آليات تقنية عبرت عن شبه الاتساق عبر معنى مختلف للنفي يسمح للعبارة ونفيها بالصدق معا من خلال قبول التناقض باعتباره نوعا من تضارب المعلومات. Paraconsistent Logic is an important tool in expressing inconsistency, hence the importance of this research for the following reasons: 1- Paraconsistent logic in its various forms in the formulation and modelling of inference from inconsistent hypotheses without slipping into absurdity. 2- The Paraconsistent logic is characterized by its mechanisms that rely on the management of inconsistent theories and not to ignore them by understanding inconsistency in a controlled manner by looking at the causes of the explosion and trying to remove them. The research begins with an introduction that addressed the limits of the research, its importance, its purpose, and the method used. Then we presented the nature of the concept of Paraconsistency through its relationship with the concepts of consistency, inconsistency and contradiction, from which we discussed the extent of the difference between classical logic and patterns of Paraconsistent logic by the rejection of the base of the explosion resulting from the rule of non-contradiction prevailing on classical logic, which was a major reason for the inability of classical logic to deal with inconsistencies without considering the paradoxes, which in turn highlighted the most important drivers of the creation of Paraconsistent logic. And, which had the greatest effect in highlighting multiple images of it, it announced itself through a historical overview that relates to this logic. These multiple images are placed under the umbrella of Paraconsistent through a set of characteristics, which in turn have manifested themselves in the form of technical mechanisms that expressed Paraconsistency through a different meaning of negation that allows the phrase and its denial of truth together by accepting the contradiction as a kind of conflict of information. |
---|---|
ISSN: |
2357-0709 |