مفهوم الصدق في البنى الرياضيّة والمنطقيّة
شكل بحث ألفرد تارسكي “مفهوم الصدق في اللغات الصورية” علامة فارقة في تاريخ المنطق الحديث؛ فقد قدّم أول تعريف صوريّ لمفهوم “الصدق” يرتكز على علاقة الاستيفاء (satisfaction) بين الجمل الصوريّة والبنى الرياضية، مما مهدّ الطريق لتأسيس نظرية النماذج باعتبارها فرعاً قائماً بذاته من الرياضيات والمنطق. على الصعيد الفلسفي، لاقى عمل تارسكي صدى واسعاً بين المفكرين: • رحّب كارل بوبر بالدقة التي قدّمها تارسكي، إذ كتب أن “بفضل تعليمات تارسكي لم أعد أتردد في التكلّم عن ‘الصدق’ والباطل’ معتبرًا أن التعريف الصوريّ يُعزّز البُنى المنطقية دون المساس بموضوعية الحقيقة. • من جهة أخرى، ابتكر دونالد ديفيدسون بعدها استخدام جُمَل تارسكي (Schema T) كأدوات وصفية لبيان ما ينبغي أن يعرفه الناطق بلغة ليحوز معرفتها، عاكسًا بذلك توجّه تارسكي التعريفي إلى منهجية تحليلية مع استبقاء الصدق كمفهوم بدائي. امتد تأثير هذا البحث لاحقًا إلى قيام المبحث الرياضي نظرية النماذج: فقد طوّر من بعده لوفنهايم وسكولم مبرهنات حول وجود نماذج قابلة للعدّ ونماذج لانهائية، بينما أسهم روبرت فوت في تكييف تعريف الصدق لخدمة الأنساق الميتاتحليلية في...