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

Abstract AR

يعد مفهوم النتيجة المنطقية ضمن عديد من المفاهيم الأساسية التي تنتمي إلى حقل المنطق و عني تارسكی " بالبحث فيها حيث رفض تناولها بشكل كامل خلال القواعد الصورية للاستدلال ذات الطبيعة التركيبية البحتة نظرا لوجود بعض الحالات التي تلزم فيها النتيجة عن فئة المقدمات عن طريق الحدس و لا يمكن برهنتها على أساس قواعد الاستدلال الصورية.

و من ثم فقد أكد تارسكي " على أهمية المفهوم الحدسي للنتيجة المنطقية و ذلك خلال تقديمه مقالا مهما عام ۱۹۳۹ بعنوان عن مفهوم النتيجة المنطقية و كان هدفه الرئيس خلال تلك المقال هو تحديد الشروط الكافية و الضرورية لاستيفاء المفهوم الحدسي للنتيجة المنطقية حيث وصف المفهوم الحدسي للنتيجة المنطقية خلال تحديد شرطين أساسيين لها هما: الإبقاء على الصدق ( أو الضرورة و الصورية.

ثم عبر عنهما معا بالشرط F الذي يعد من منظوره شرطا ضروريا و كافيا ينبغي توفره لاستيفاء المفهوم الحدسي للنتيجة المنطقية.

و من أجل تقديم المفهوم الحدسي للنتيجة المنطقية بناء على الشرطين السابقين قدم تارسكی نظرية النموذج التي تعد أحد فروع المنطق الحديث و خلالها قدم تعريفه للمفهوم الحدسي للنتيجة المنطقية.