التقييم (المنطقي)

في المنطق ونظرية النماذج ، يمكن أن يكون التقييم كالتالي:

• في منطق القضايا ، يتم تعيين قيم الصواب لمتغيرات القضايا ، مع تعيين قيم الصواب المقابلة لجميع صيغ القضايا التي تحتوي على تلك المتغيرات.
• في منطق الرتبة الأولى ومنطق الرتب العليا، يُعرَّف التفسير بأنه بنية ، بينما يُعرَّف التقييم بأنه القيمة المنطقية لكل جملة في لغة تلك البنية. يجب أن يكون التفسير تماثلاً ، بينما التقييم هو ببساطة دالة .

في المنطق الرياضي (وخاصة نظرية النماذج)، التقييم هو إسناد قيم الصواب إلى الجمل الرسمية التي تتبع مخطط الصواب . وتسمى التقييمات أيضاً بإسنادات الصواب.

في منطق القضايا، لا توجد مُكمِّمات، وتُبنى الصيغ من متغيرات القضايا باستخدام الروابط المنطقية. في هذا السياق، يبدأ التقييم بتعيين قيمة صدق لكل متغير من متغيرات القضايا. ويمكن توسيع هذا التعيين بشكل فريد ليشمل تعيين قيم صدق لجميع صيغ القضايا.

في منطق الرتبة الأولى، تتألف اللغة من مجموعة من الرموز الثابتة، ومجموعة من رموز الدوال، ومجموعة من رموز العلاقات. تُبنى الصيغ من صيغ ذرية باستخدام الروابط المنطقية والمُكمِّمات. يتألف البناء من مجموعة ( مجال الخطاب ) تُحدد نطاق المُكمِّمات، بالإضافة إلى تفسيرات الرموز الثابتة والدوال والعلاقات في اللغة. لكل بناء قيمة منطقية فريدة لجميع الجمل (الصيغ التي لا تحتوي على متغيرات حرة ) في اللغة.

لو${\displaystyle v}$هو تقييم، أي عملية ربط من الذرات إلى المجموعة${\displaystyle \{t,f\}}$ثم يُستخدم رمز القوسين المزدوجين عادةً للدلالة على التقييم؛ أي${\displaystyle [\![\phi ]\!]_{v}=v(\phi )}$لصيغة اقتراحية${\displaystyle \phi }$[ ^{1 ]​}

• الدلالات الجبرية

• راسيوا، هيلينا ؛ سيكورسكي، رومان (1970)، رياضيات ما وراء الرياضيات (  الطبعة الثالثة)، وارسو: دار النشر العلمية البولندية، الفصل السادس: جبر اللغات الرسمية .
• ج. مايكل دان؛ غاري م. هاردغري (2001). الأساليب الجبرية في المنطق الفلسفي . مطبعة جامعة أكسفورد. ص  155. ISBN 978-0-19-853192-0.