ทาร์สกีและแนวคิดเชิงความหมายของความจริง
ทาร์สกีแสดงให้เห็นถึงวิธีการนิยามความจริงอย่างเคร่งครัดสำหรับภาษาที่เป็นทางการ โดยยึดโยงนิยามเข้ากับข้อกำหนดที่ว่า 'หิมะเป็นสีขาว' เป็นจริงก็ต่อเมื่อหิมะเป็นสีขาว
Definition
ตามแนวคิดเชิงความหมาย นิยามความจริงที่เพียงพอสำหรับภาษาหนึ่งจะต้องครอบคลุมทุกกรณีของโครงสร้าง T-schema 'p' เป็นจริงก็ต่อเมื่อ p' และทาร์สกีได้ให้นิยามดังกล่าวแบบเวียนเกิดในรูปของความพึงพอใจของสูตรโดยลำดับของวัตถุ
Scope
หัวข้อนี้ครอบคลุมนิยามเชิงรูปนัยของความจริงของทาร์สกีและการตีความเชิงปรัชญา โดยกล่าวถึงความแตกต่างระหว่างภาษาวัตถุ (object-language) และอภิภาษา (metalanguage), ข้อตกลง T (Convention T) และโครงสร้าง T-schema, นิยามความจริงแบบเวียนเกิดผ่านความพึงพอใจ (satisfaction), การไม่สามารถนิยามความจริงสำหรับภาษาภายในตัวมันเองได้ (ซึ่งนำไปสู่ปฏิทรรศน์คนโกหก), และการใช้ทฤษฎีความจริงแบบทาร์สกีของเดวิดสันเป็นแกนหลักของทฤษฎีความหมายสำหรับภาษาธรรมชาติ
Core questions
- อะไรทำให้นิยามของความจริงมีความเพียงพอในเชิงเนื้อหา?
- เหตุใดความจริงจึงต้องถูกนิยามในอภิภาษาที่สมบูรณ์กว่าภาษาวัตถุ?
- แนวคิดเชิงความหมายเป็นทฤษฎีความจริงที่เป็นรูปธรรมหรือเป็นกลางระหว่างทฤษฎีต่างๆ?
- ทฤษฎีความจริงแบบทาร์สกีสามารถทำหน้าที่เป็นทฤษฎีความหมายได้หรือไม่?
Key concepts
- ข้อตกลง T และโครงสร้าง T-schema
- ภาษาวัตถุ vs. อภิภาษา
- ความพึงพอใจ (satisfaction)
- ความเพียงพอเชิงเนื้อหา (material adequacy)
- การไม่สามารถนิยามความจริงได้ (indefinability of truth)
- ความหมายตามเงื่อนไขความจริง (truth-conditional meaning)
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' สำหรับภาษาวัตถุ L ภายในอภิภาษาที่แสดงออกได้มากกว่า โดยคงภาคแสดงความจริงไว้นอกภาษาที่มันนำไปใช้