อรรถศาสตร์เชิงแบบจำลองและอรรถศาสตร์แบบมอนตากิว

อรรถศาสตร์แบบมอนตากิวตีความภาษามนุษย์ตามหลักอรรถศาสตร์เชิงแบบจำลอง โดยใช้ตรรกะเชิงปริมาณแบบมีชนิด (typed intensional logic) เพื่อกำหนดความหมาย (denotations) ให้กับสำนวนต่างๆ อย่างเป็นระบบและสมบูรณ์

Definition

อรรถศาสตร์เชิงแบบจำลองตีความสำนวนต่างๆ โดยสัมพันธ์กับแบบจำลองเชิงรูปนัย; อรรถศาสตร์แบบมอนตากิวเป็นโครงการเฉพาะในการดำเนินการดังกล่าวสำหรับภาษามนุษย์ โดยใช้ตรรกะเชิงปริมาณแบบมีชนิดและการจับคู่โครงสร้างทางไวยากรณ์-อรรถศาสตร์แบบสาทิสสัณฐาน (homomorphic syntax-semantics mapping)

Scope

หัวข้อนี้ครอบคลุมกลไกเชิงรูปนัยของอรรถศาสตร์เชิงแบบจำลองสำหรับภาษามนุษย์: แบบจำลองที่มีขอบเขตของบุคคล โลกที่เป็นไปได้ และเวลา; ชนิดทางอรรถศาสตร์และแคลคูลัสแลมดาแบบมีชนิด (typed lambda calculus); และการตีความสำนวนต่างๆ ในฐานะฟังก์ชันที่ทำงานบนขอบเขตเหล่านี้ โดยเน้นที่ผลงานของมอนตากิวเรื่อง 'The Proper Treatment of Quantification in Ordinary English' (PTQ) และโครงการที่กว้างขึ้นในการจัดการภาษาอังกฤษด้วยความแม่นยำของตรรกะเชิงรูปนัย รวมถึงความหมายเชิงปริมาณ (intension) และความหมายเชิงขยาย (extension) และการวิเคราะห์วลีคำนามในฐานะตัวบ่งปริมาณทั่วไป (generalized quantifiers)

Core questions

• สำนวนในภาษามนุษย์ถูกกำหนดความหมายในแบบจำลองเชิงรูปนัยได้อย่างไร?
• ชนิดทางอรรถศาสตร์และแคลคูลัสแลมดามีบทบาทอย่างไรในการตีความแบบองค์ประกอบ?
• ความหมายเชิงปริมาณและความหมายเชิงขยายแตกต่างกันอย่างไร และเหตุใดจึงจำเป็นต้องมีโลกที่เป็นไปได้?
• การจัดการวลีตัวบ่งปริมาณและขอบเขตของมอนตากิวเป็นอย่างไร?

Key concepts

• โลกที่เป็นไปได้
• ความหมายเชิงปริมาณเทียบกับความหมายเชิงขยาย
• ชนิดทางอรรถศาสตร์
• แคลคูลัสแลมดาแบบมีชนิด
• ตัวบ่งปริมาณทั่วไป
• การจับคู่โครงสร้างทางไวยากรณ์-อรรถศาสตร์แบบสาทิสสัณฐาน
• ตรรกะเชิงปริมาณ

Key theories

การจัดการตัวบ่งปริมาณที่เหมาะสม (PTQ)

ส่วนย่อยของภาษาอังกฤษของมอนตากิวที่กฎทางไวยากรณ์จับคู่แบบหนึ่งต่อหนึ่งกับกฎการตีความทางอรรถศาสตร์ วลีคำนามหมายถึงตัวบ่งปริมาณทั่วไป และตรรกะเชิงปริมาณจัดการกับความทึบและรูปแบบกริยา

ทฤษฎีชนิดและตรรกะเชิงปริมาณ

สำนวนต่างๆ ถูกกำหนดชนิดที่สร้างขึ้นจากชนิดพื้นฐาน (สิ่งมีชีวิต, ค่าความจริง) และอาจรวมถึงโลก/เวลาที่เป็นไปได้; ความหมายเชิงปริมาณเป็นฟังก์ชันจากโลกที่เป็นไปได้ไปยังความหมายเชิงขยาย ซึ่งจับความหมายของบริบทที่ทึบและรูปแบบกริยา

History

จากรากฐานของ Frege, การแยกความแตกต่างระหว่างความหมายเชิงปริมาณ/ความหมายเชิงขยายของ Carnap และทฤษฎีแบบจำลองของ Tarski, มอนตากิวได้ตีพิมพ์บทความหลายฉบับในช่วงปี 1970 ซึ่งที่มีชื่อเสียงที่สุดคือ PTQ โดยโต้แย้งว่าภาษาอังกฤษสามารถได้รับการปฏิบัติเหมือนภาษาเชิงรูปนัยที่มีอรรถศาสตร์เชิงแบบจำลอง หนังสือเรียนโดย Dowty, Wall, และ Peters ทำให้กลไกทางเทคนิคเข้าถึงได้สำหรับนักภาษาศาสตร์ และกรอบแนวคิดนี้ได้กลายเป็นรากฐานของอรรถศาสตร์เชิงรูปนัยสมัยใหม่

Debates

ความหมายเชิงปริมาณของโลกที่เป็นไปได้และปัญหาของความละเอียด

การถือว่าความหมายเป็นฟังก์ชันจากโลกที่เป็นไปได้ไปยังความหมายเชิงขยายทำให้สำนวนที่เทียบเท่ากันทั้งหมดถูกมองว่าเหมือนกันอย่างผิดพลาด ซึ่งนำไปสู่ข้อเสนอสำหรับแนวคิดความหมายที่ละเอียดกว่า มีโครงสร้าง หรือเป็นแบบ hyperintensional

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

ความแตกต่างระหว่างความหมายเชิงปริมาณและความหมายเชิงขยายคืออะไร?

ความหมายเชิงขยายของสำนวนคือความหมายของมันในโลกที่กำหนด (เช่น ชุดของสุนัขที่มีอยู่จริง) ในขณะที่ความหมายเชิงปริมาณคือฟังก์ชันที่ให้ความหมายเชิงขยายสำหรับแต่ละโลกที่เป็นไปได้ (โดยประมาณคือแนวคิด) ซึ่งเป็นสิ่งที่จำเป็นในการตีความบริบทที่เป็นรูปแบบกริยาและทึบ