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

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







المفهوم الحدسي للنتيجة المنطقية عند تارسكي

العنوان بلغة أخرى: Intuitively Conception Of Tarski’s Logical Consequences
المصدر: مجلة كلية الآداب
الناشر: جامعة الفيوم - كلية الآداب
المؤلف الرئيسي: عبدالجواد، أحمد عصام الدين (مؤلف)
المجلد/العدد: مج13, ع1
محكمة: نعم
الدولة: مصر
التاريخ الميلادي: 2021
الشهر: يناير
الصفحات: 1658 - 1699
DOI: 10.21608/JFAFU.2021.145886
ISSN: 2357-0709
رقم MD: 1119441
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: HumanIndex
مواضيع:
كلمات المؤلف المفتاحية:
ألفرد تاركسي | النتيجة المنطقية | الحجة المنطقية | النموذج المنطقي | Alfred Tarski | Logical Consequence | Model Theory | Logical Argument
رابط المحتوى:
صورة الغلاف QR قانون

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

6

حفظ في:
المستخلص: يعد مفهوم النتيجة المنطقية ضمن عديد من المفاهيم الأساسية التي تنتمي إلى حقل المنطق، وعني "تارسكي" بالبحث فيها، حيث رفض تناولها بشكل كامل خلال القواعد الصورية للاستدلال ذات الطبيعة التركيبية البحتة؛ نظرا لوجود بعض الحالات التي تلزم فيها النتيجة عن فئة المقدمات عن طريق الحدس، ولا يمكن برهنتها على أساس قواعد الاستدلال الصورية. ومن ثم فقد أكد "تارسكي" على أهمية المفهوم الحدسي للنتيجة المنطقية؛ وذلك خلال تقديمه مقالا مهما عام ١٩٣٦ بعنوان "عن مفهوم النتيجة المنطقية"، وكان هدفه الرئيس خلال ذلك المقال هو تحديد الشروط الكافية والضرورية لاستيفاء المفهوم الحدسي للنتيجة المنطقية. حيث وصف المفهوم الحدسي للنتيجة المنطقية خلال تحديد شرطين أساسيين لها هما: الإبقاء على الصدق (أو الضرورة) والصورية. ثم عبر عنهما معا بالشرط F الذي يعد من منظوره شرطا ضروريا وكافيا ينبغي توفره لاستيفاء المفهوم الحدسي للنتيجة المنطقية. ومن أجل تقديم المفهوم الحدسي للنتيجة المنطقية بناء على الشرطين السابقين قدم "تارسكي" نظرية النموذج التي تعد أحد فروع المنطق الحديث، وخلالها قدم تعريفه للمفهوم الحدسي للنتيجة المنطقية.

The concept of logical consequence is one of many basic concepts in the field of logic, and Tarski was interested to investigate it as he refused to fully explore it through formal rules of inference of a purely structural nature due to the presence of some cases in which the consequence results from a category of premises by means of intuition and cannot be proven on the basis of formal inference rules. Hence, Tarski emphasized the significance of the intuitive concept of logical consequence during his presentation of an important article entitled "On the Concept of Logical Consequence" in 1936. His main aim behind that article was to determine the sufficient and necessary conditions for fulfilling the intuitive concept of logical consequence as he described the intuitive concept of logical consequence by putting forward two basic conditions for it: maintaining validity (or necessity) and formality. Then, he articulated them both in the condition F which, from his own perspective, is a necessary and sufficient condition that should be met to fulfill the intuitive concept of logical consequence. In order to propose the intuitive concept of logical consequence based on the two before-mentioned conditions, Tarski proposed the model theory, which is one of the branches of modern logic and through which he proposed his definition of the intuitive concept of logical consequence.

ISSN: 2357-0709

عناصر مشابهة