อรรถศาสตร์เชิงองค์ประกอบและอรรถศาสตร์รูปนัย
อรรถศาสตร์รูปนัยให้คำอธิบายความหมายที่แม่นยำและอิงเงื่อนไขความจริง ซึ่งความหมายของสำนวนที่ซับซ้อนถูกสร้างขึ้นในเชิงองค์ประกอบจากความหมายของส่วนประกอบต่างๆ
Definition
อรรถศาสตร์เชิงองค์ประกอบและอรรถศาสตร์รูปนัยคือการศึกษาความหมายทางภาษาโดยใช้ตรรกะรูปนัยและทฤษฎีแบบจำลอง โดยเน้นที่การตีความสำนวนในเชิงองค์ประกอบและอิงเงื่อนไขความจริง
Scope
สาขาวิชานี้ครอบคลุมการศึกษาความหมายของภาษาธรรมชาติในเชิงรูปนัยและทฤษฎีแบบจำลอง รวมถึงหลักการขององค์ประกอบ การใช้เครื่องมือทางตรรกะและทฤษฎีเซตเพื่อกำหนดความหมายของสำนวน โครงการของมอนทากิวที่ปฏิบัติต่อภาษาธรรมชาติด้วยความแม่นยำของตรรกะรูปนัย การวิเคราะห์ปริมาณและขอบเขต และอรรถศาสตร์ของกาล ลักษณะ และมาลา แนวคิดหลักคือการรู้ความหมายของประโยคคือการรู้เงื่อนไขความจริงของประโยคนั้น และเงื่อนไขเหล่านี้ถูกคำนวณอย่างเป็นระบบจากความหมายและรูปแบบการรวมกันขององค์ประกอบต่างๆ
Sub-topics
Core questions
- ความหมายของสำนวนที่ซับซ้อนถูกกำหนดโดยความหมายของส่วนประกอบและการรวมกันทางวากยสัมพันธ์ได้อย่างไร
- ความหมายของสำนวนภาษาธรรมชาติสามารถแสดงในระบบเชิงรูปนัยและทฤษฎีแบบจำลองได้อย่างไร
- ควรวิเคราะห์ตัวบ่งปริมาณ ขอบเขต และการผูกมัดอย่างไร
- ควรสร้างแบบจำลองปรากฏการณ์ที่ขึ้นอยู่กับบริบทและปรากฏการณ์เชิงเจตนา (กาล, มาลา) อย่างไร
Key concepts
- หลักการขององค์ประกอบ
- เงื่อนไขความจริง
- การกำหนดความหมายและประเภททางอรรถศาสตร์
- แคลคูลัสแลมบ์ดา
- แบบจำลองและฟังก์ชันการตีความ
- เจตนาและส่วนขยาย
- การประยุกต์ใช้ฟังก์ชัน
Key theories
- อรรถศาสตร์เชิงเงื่อนไขความจริงและทฤษฎีแบบจำลอง
- ความหมายของประโยคบอกเล่าถูกระบุด้วยเงื่อนไขความจริง ซึ่งคำนวณโดยสัมพันธ์กับแบบจำลองที่ตีความสำนวนพื้นฐาน ตามประเพณีของ Fregean และ Tarskian
- ไวยากรณ์ของมอนทากิว
- ภาษาธรรมชาติสามารถถูกปฏิบัติเป็นภาษาเชิงรูปนัย: วากยสัมพันธ์ที่จับคู่กับอรรถศาสตร์เชิงทฤษฎีแบบจำลองผ่านโฮโมมอร์ฟิซึม โดยใช้แคลคูลัสแลมบ์ดาแบบมีประเภทและตรรกะเชิงเจตนาเพื่อตีความสำนวนในเชิงองค์ประกอบ
- การตีความเชิงองค์ประกอบที่ขับเคลื่อนด้วยประเภท
- สำนวนถูกกำหนดประเภททางอรรถศาสตร์และรวมเข้าด้วยกันโดยกฎทั่วไป เช่น การประยุกต์ใช้ฟังก์ชัน ดังนั้นการตีความจึงถูกขับเคลื่อนโดยประเภทขององค์ประกอบต่างๆ ดังที่จัดระบบไว้ในกรอบงานของ Heim และ Kratzer
History
อรรถศาสตร์รูปนัยมีรากฐานมาจากงานของ Frege เกี่ยวกับความหมายและการอ้างอิง และคำจำกัดความของ Tarski เกี่ยวกับความจริงสำหรับภาษาเชิงรูปนัย ขั้นตอนที่สำคัญคือข้อเสนอของ Montague ในช่วงต้นทศวรรษ 1970 ที่ว่าไม่มีความแตกต่างพื้นฐานระหว่างภาษาธรรมชาติกับภาษาเชิงรูปนัย และภาษาอังกฤษสามารถได้รับอรรถศาสตร์เชิงทฤษฎีแบบจำลองได้ Barbara Partee มีบทบาทสำคัญในการถ่ายทอดโครงการของ Montague ไปยังสาขาภาษาศาสตร์ และตำราของ Heim และ Kratzer ในภายหลังได้ทำให้อรรถศาสตร์เชิงองค์ประกอบที่ขับเคลื่อนด้วยประเภทเป็นมาตรฐานในไวยากรณ์เชิงกำเนิด
Debates
- การตีความโดยตรงเทียบกับการตีความโดยอ้อม (เชิงตัวแทน)
- ไม่ว่าภาษาธรรมชาติควรถูกตีความโดยตรงในแบบจำลอง ดังเช่นในโครงการของ Montague หรือผ่านการแปลเป็นระดับของรูปแบบตรรกะ / การนำเสนอทางจิต
Key figures
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
Related topics
Seminal works
- montague1974
- heimkratzer1998
- partee1990
Frequently asked questions
- การกล่าวว่าอรรถศาสตร์เป็นแบบอิงเงื่อนไขความจริงหมายความว่าอย่างไร
- หมายความว่าการระบุความหมายของประโยคบอกเล่าคือการระบุเงื่อนไขที่ประโยคนั้นจะเป็นจริง การรู้ความหมายคือการรู้ว่าโลกจะต้องเป็นอย่างไรเพื่อให้ประโยคนั้นเป็นจริง