النظرية الدلالية للحقيقة

النظرية الدلالية للحقيقة هي نظرية في فلسفة اللغة ترى أن الحقيقة هي خاصية من خواص الجمل. ^{[ 1 ]}

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

لصياغة نظريات لغوية ^{[ 2 ]} خالية من المفارقات الدلالية ، كمفارقة الكاذب ، من الضروري عمومًا التمييز بين اللغة التي يُتحدث عنها ( لغة الموضوع ) واللغة المستخدمة في الحديث (اللغة الوصفية ). فيما يلي، يُمثل النص المقتبس استخدامًا للغة الموضوع، بينما يُمثل النص غير المقتبس استخدامًا للغة الوصفية؛ فالجملة المقتبسة (مثل " P ") هي دائمًا اسم اللغة الوصفية لجملة ما، أي أن هذا الاسم هو ببساطة الجملة P مُصاغة بلغة الموضوع. وبهذه الطريقة، يُمكن استخدام اللغة الوصفية للحديث عن لغة الموضوع؛ إذ اشترطت نظرية تارسكي للحقيقة ( ألفريد تارسكي، 1935) أن تكون لغة الموضوع مُضمنة في اللغة الوصفية.

ينص شرط كفاية المادة لتارسكي ، والمعروف أيضًا باسم الاتفاقية T ، على أن أي نظرية قابلة للتطبيق للحقيقة يجب أن تستلزم، لكل جملة " P "، جملة بالشكل التالي (المعروف باسم "الشكل (T)"):

(1) "P" صحيح إذا وفقط إذا كان P.

على سبيل المثال،

(2) "الثلج أبيض" صحيح إذا وفقط إذا كان الثلج أبيض.

أصبحت هذه الجمل (1 و2، إلخ) تُعرف باسم "جمل T". ويعود سبب بساطتها الظاهرية إلى أن لغة الهدف واللغة الوصفية كلتاهما الإنجليزية؛ إليك مثال حيث لغة الهدف هي الألمانية واللغة الوصفية هي الإنجليزية:

(3) "Schnee ist weiß" صحيح إذا وفقط إذا كان الثلج أبيض.

كما صاغها تارسكي في الأصل، تنطبق هذه النظرية فقط على اللغات الصورية ، انظر أيضًا دلالات منطق الرتبة الأولى . وقدّم عدة أسباب لعدم توسيع نظريته لتشمل اللغات الطبيعية ، منها مشكلة عدم وجود طريقة منهجية لتحديد ما إذا كانت جملة معينة في لغة طبيعية سليمة الصياغة، وأن اللغة الطبيعية لغة مغلقة (أي أنها لا تستطيع وصف الخصائص الدلالية لعناصرها). لكن ديفيدسون وسّع منهج تارسكي ليصبح منهجًا لنظريات المعنى في اللغات الطبيعية، والذي يتضمن التعامل مع "الحقيقة" كمفهوم أولي، وليس كمفهوم مُعرَّف. (انظر دلالات الشرط الصادق ).

قام تارسكي بتطوير النظرية لتقديم تعريف استقرائي للحقيقة على النحو التالي. (انظر مخطط T )

بالنسبة للغة L التي تحتوي على ¬ ("ليس")، ∧ ("و")، ∨ ("أو")، ∀ ("لكل")، و ∃ ("يوجد")، فإن تعريف تارسكي الاستقرائي للحقيقة يبدو كالتالي:

• (1) العبارة الأولية " أ " تكون صحيحة إذا وفقط إذا كانت أ .
• (2) "¬ أ " صحيح إذا وفقط إذا كان " أ" غير صحيح.
• (3) " A ∧ B " صحيح إذا وفقط إذا كان " A" صحيحًا و " B" صحيحًا .
• (4) " A ∨ B " صحيح إذا وفقط إذا كان " A" صحيحًا أو " B" صحيحًا أو (" A" صحيح و" B" صحيحًا ).
• (5) "∀ x ( Fx )" صحيح إذا وفقط إذا كان "Fx" صحيحًا لجميع الكائنات x.
• (6) "∃ x ( Fx )" صحيح إذا وفقط إذا كان هناك كائن x يكون "Fx" صحيحًا بالنسبة له.

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

• تكون الجملة الذرية F ( x _{1 ,} ... , x _n ) صحيحة (بالنسبة لتعيين قيم للمتغيرات x ₁ , ..., x n ₎ ) إذا كانت القيم المقابلة للمتغيرات تحمل العلاقة التي يعبر عنها المسند F.

عرّف تارسكي نفسه الحقيقة للجمل الذرية بطريقة مختلفة لا تستخدم أي مصطلحات تقنية من علم الدلالة، مثل "معبّر عنها بـ" المذكورة أعلاه. وذلك لأنه أراد تعريف هذه المصطلحات الدلالية في سياق الحقيقة. لذا، سيكون من التكرار استخدام أحدها في تعريف الحقيقة نفسها. يلعب مفهوم تارسكي الدلالي للحقيقة دورًا هامًا في المنطق الحديث ، وكذلك في فلسفة اللغة المعاصرة . ويُعدّ تصنيف نظرية تارسكي الدلالية ضمن نظرية التطابق أو نظرية التبسيط أمرًا مثيرًا للجدل . ^{[ 3 ]}

تستند نظرية كريپكي للحقيقة ( ساول كريپكي 1975) إلى المنطق الجزئي (منطق محمولات الحقيقة المحددة جزئيًا بدلاً من منطق تارسكي لمحمولات الحقيقة المحددة كليًا) مع مخطط تقييم كلين القوي . ^{[ 4 ]}

• مبدأ عدم الاقتباس
• دلالات المنطق
• مخطط T
• نموذج الاستمرارية الثلاثية

• سيمون بلاكبيرن وكيث سيمونز (محرران)، 1999. الحقيقة . مطبعة جامعة أكسفورد، رقم ISBN 0-19-875250-4.
• مايكل ك. بتلر، 2017. نظرية الانكماش والنظريات الدلالية للحقيقة . دار بندلبوري للنشر، رقم ISBN 0993594549.
• ويلفريد هودجز ، 2001. تعريفات الحقيقة عند تارسكي . في موسوعة ستانفورد للفلسفة .
• ريتشارد كيركهام ، 1992. نظريات الحقيقة . دار برادفورد للنشر، رقم ISBN 0-262-61108-2.
• شاول كريبكي ، 1975. "مخطط لنظرية الحقيقة". مجلة الفلسفة ، 72: 690-716.
• ألفريد تارسكي ، 1935. "مفهوم الحقيقة في اللغات الرسمية" . المنطق، الدلالات، ما وراء الرياضيات ، إنديانابوليس: هاكيت 1983، الطبعة الثانية، 152-278.
• ألفريد تارسكي، 1944. المفهوم الدلالي للحقيقة وأسس علم الدلالة . البحث الفلسفي والظاهراتي 4.

• النظرية الدلالية للحقيقة ، موسوعة الإنترنت للفلسفة
• تعريفات الحقيقة عند تارسكي (مدخل من موسوعة ستانفورد للفلسفة )
• ألفريد تارسكي ، 1944. المفهوم الدلالي للحقيقة وأسس علم الدلالة . مجلة الفلسفة والبحوث الظاهراتية 4.