التقييم الفائق

في المنطق الفلسفي ، يُعدّ التقييم الفائق دلالاتٍ للتعامل مع المصطلحات المفردة غير المرجعية والغموض . [ ^{1 ] وهو} يسمح بتطبيق التكرارات المنطقية للمنطق الافتراضي في الحالات التي تكون فيها قيم الصدق غير مُعرّفة.

وفقًا لمذهب التقييم الفائق، يمكن أن يكون للقضية قيمة صدق محددة حتى عندما لا تكون مكوناتها كذلك. على سبيل المثال، غالبًا ما تُفسَّر القضية " بيغاسوس يحب عرق السوس " على أنها بلا قيمة صدق نظرًا لافتراض أن اسم "بيغاسوس" لا يشير إلى شيء . إذا كان الإحالة بالفعل غير موجودة بالنسبة لـ"بيغاسوس"، فيبدو أنه لا يوجد ما يبرر إسناد قيمة صدق لأي تأكيد ظاهري يرد فيه مصطلح "بيغاسوس". ومع ذلك، فإن العبارة "بيغاسوس يحب عرق السوس أو بيغاسوس لا يحب عرق السوس" هي مثال على المخطط الصحيح.${\displaystyle p\vee \neg p}$(""${\displaystyle p}$أو لا-${\displaystyle p}$لذا، وفقًا لمذهب التقييم الفائق، ينبغي أن يكون صحيحًا بغض النظر عما إذا كانت عناصره المنفصلة لها قيمة صدق أم لا؛ أي ينبغي أن يكون صحيحًا في جميع التفسيرات. إذا كان شيء ما صحيحًا بشكل عام في جميع التحديدات ، فإن مذهب التقييم الفائق يصفه بأنه "صحيح فائق"، بينما يُوصف شيء خاطئ في جميع التحديدات بأنه "خاطئ فائق". ^{[ 2 ]}

تم وضع التقييمات الفائقة بشكل رسمي لأول مرة بواسطة باس فان فراسن . ^{[ 3 ]}

ليكن v تقييمًا كلاسيكيًا مُعرَّفًا على كل جملة ذرية في اللغة L ، وليكن At( x ) عدد الجمل الذرية المختلفة في الصيغة x . عندئذٍ، يوجد على الأكثر 2 ^{At( x )} تقييمًا كلاسيكيًا مُعرَّفًا على كل جملة x . التقييم الفائق V هو دالة من الجمل إلى قيم الصواب بحيث تكون x فائقة الصواب (أي V ( x ) = صواب) إذا وفقط إذا كان v ( x ) = صواب لكل v . وينطبق الأمر نفسه على التقييم الفائق الخاطئ.

تكون الدالة V(x) غير مُعرَّفة عندما يكون هناك تقييمان فقط، v و v *، بحيث يكون v(x) = صحيح و v * (x) = خطأ. على سبيل المثال، لنفترض أن Lp هي الترجمة الرسمية لعبارة "بيغاسوس يحب عرق السوس". يوجد حينها تقييمان كلاسيكيان فقط، v و v *، على Lp ، وهما v(Lp) = صحيح و v * (Lp) = خطأ. لذا، فإن Lp ليست صحيحة فائقة ولا خاطئة فائقة.

• دلالات كريبكي
• مفارقة سوريتس
• التقييم الأدنى

• موسوعة ستانفورد للفلسفة
  • التقييم المفرط كرد فعل على الغموض
  • التقييم المفرط كرد فعل على مفارقة سوريتس