تارسكي والتصور الدلالي للحقيقة
بيّن تارسكي كيفية تعريف الحقيقة بدقة للغة مُصاغة رسميًا، مُرسّخًا التعريف بمتطلب أن تكون عبارة 'الثلج أبيض' صحيحة إذا وفقط إذا كان الثلج أبيض.
Definition
وفقًا للتصور الدلالي، يجب أن يستتبع التعريف الكافي للحقيقة للغة كل حالة من مخطط T 'العبارة 'ص' صحيحة إذا وفقط إذا كانت ص'، ويقدم تارسكي مثل هذا التعريف تكراريًا من حيث إرضاء الصيغ بواسطة متتاليات من الكائنات.
Scope
يغطي هذا الموضوع تعريف تارسكي الرسمي للحقيقة وتفسيرها الفلسفي. ويتناول التمييز بين لغة الموضوع (object-language) واللغة الفوقية (metalanguage)، والاتفاقية T (Convention T) ومخطط T (T-schema)، والتعريف التكراري للحقيقة عبر الإرضاء (satisfaction)، وعدم قابلية تعريف الحقيقة للغة داخل ذاتها (وهو طريق إلى مفارقة الكاذب Liar)، واستخدام دافيدسون لنظرية حقيقة على غرار تارسكي كنواة لنظرية المعنى للغة الطبيعية.
Core questions
- ما الذي يجعل تعريف الحقيقة مناسبًا ماديًا؟
- لماذا يجب تعريف الحقيقة في لغة فوقية أغنى من لغة الموضوع؟
- هل التصور الدلالي نظرية جوهرية للحقيقة أم محايد بين النظريات؟
- هل يمكن لنظرية حقيقة تارسكي أن تكون بمثابة نظرية للمعنى؟
Key concepts
- الاتفاقية T ومخطط T
- لغة الموضوع مقابل اللغة الفوقية
- الإرضاء
- الملاءمة المادية
- عدم قابلية تعريف الحقيقة
- المعنى المشروط بالحقيقة
Key theories
- تعريف الحقيقة التكراري عبر الإرضاء
- يعرّف تارسكي الحقيقة للغة رسمية من خلال تعريف إرضاء الصيغ المفتوحة بواسطة المتتاليات أولاً، ثم تحديد الحقيقة بالإرضاء بواسطة جميع المتتاليات، مما يضمن الملاءمة المادية من خلال الاتفاقية T.
- الدلالات المشروطة بالحقيقة
- يقترح دافيدسون أن نظرية تارسكي للحقيقة للغة طبيعية، من خلال استتباع شروط الحقيقة لكل جملة، يمكن أن تؤدي وظيفة نظرية للمعنى لتلك اللغة.
History
قدمت دراسة تارسكي عام 1933 وعرضها الشائع عام 1944 أول تعريف دقيق للحقيقة للغات الرسمية وأثبتت أن الحقيقة غير قابلة للتعريف داخل لغة غنية بما فيه الكفاية. وفي عام 1967، وجه دافيدسون هذه الآلية نحو دلالات اللغة الطبيعية، وناقش فيلد لاحقًا ما إذا كان تعريف تارسكي اختزاليًا فلسفيًا.
Debates
- هل يختزل تارسكي الحقيقة أم يكتفي بتقنينها؟
- ما إذا كان تعريف تارسكي يقدم تفسيرًا جوهريًا واختزاليًا لماهية الحقيقة، أم مجرد تقنين مناسب رسميًا، وهو ما يدعي المناهضون للاختزال أنه محايد بشأن طبيعة الحقيقة؛ جادل فيلد بأنه يترك المفاهيم الدلالية الرئيسية غير مفسرة.
Key figures
- Alfred Tarski
- Donald Davidson
- Rudolf Carnap
- Hartry Field
Related topics
Seminal works
- tarski1933
- tarski1944
- davidson1967
Frequently asked questions
- لماذا يحتاج تارسكي إلى لغة موضوع ولغة فوقية؟
- لتجنب مفارقة الكاذب، لا يمكن لأي لغة غنية بما فيه الكفاية أن تحتوي بشكل متسق على محمول الحقيقة الخاص بها. لذلك، يعرّف تارسكي 'صحيح-في-ل' للغة موضوع L ضمن لغة فوقية أكثر تعبيرًا، مع إبقاء محمول الحقيقة خارج اللغة التي ينطبق عليها.