مفهوم الصدق في البنى الرياضيّة والمنطقيّة

 

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

بفضل هذا التعريف تأسست نظرية النماذج (model theory) باعتبارها فرعا قائما بذاته من الرياضيات والمنطق، ولا يزال تعريف تارسكي للصدق المرجع الاساسي والأكثر تأثيرا في المنطق الرياضي ونظرية النماذج على حد سواء.