ตรรกะโมดอลเชิงปริมาณและสารัตถนิยม
เมื่อตัวบ่งปริมาณและตัวดำเนินการโมดอลมีปฏิสัมพันธ์กัน ตรรกะจะต้องเผชิญกับคำถามว่าวัตถุมีคุณสมบัติโดยจำเป็นหรือไม่ — สารัตถนิยม — และจะตีความการบ่งปริมาณข้ามโลกที่เป็นไปได้อย่างไร
Definition
ตรรกะโมดอลเชิงปริมาณเป็นการรวมการบ่งปริมาณอันดับหนึ่งเข้ากับตัวดำเนินการโมดอล; สารัตถนิยมคือข้อเสนอที่ว่าวัตถุมีคุณสมบัติบางอย่างโดยจำเป็น (de re) โดยไม่ขึ้นอยู่กับวิธีการอธิบาย
Scope
หัวข้อนี้ครอบคลุมถึงการขยายตรรกะโมดอลด้วยตัวบ่งปริมาณและเอกลักษณ์ รวมถึงข้อผูกมัดทางอภิปรัชญาที่เกิดขึ้นจากสิ่งนี้ โดยจะกล่าวถึงสูตรบาร์แคนและสูตรบาร์แคนผกผัน ทางเลือกระหว่างความหมายแบบโดเมนคงที่และโดเมนผันแปร ปัญหาของเอกลักษณ์และการดำรงอยู่ข้ามโลก ข้อโต้แย้งของไควน์ต่อโมดอลแบบ de re และการปกป้องสารัตถนิยมและการกำหนดแบบแข็ง (rigid designation) ของคริปเก้
Core questions
- ตัวบ่งปริมาณและตัวดำเนินการโมดอลควรมีปฏิสัมพันธ์กันอย่างไร และสูตรบาร์แคนถูกต้องหรือไม่?
- โดเมนของแต่ละบุคคลควรคงที่ในทุกโลกหรือควรผันแปร?
- โมดอลแบบ de re เข้าใจได้หรือไม่ หรือล้มเหลวภายใต้ข้อโต้แย้งของไควน์?
- วัตถุมีคุณสมบัติใดบ้างโดยจำเป็น หากมี?
Key concepts
- สูตรบาร์แคนและสูตรผกผัน
- โดเมนคงที่เทียบกับโดเมนผันแปร
- เอกลักษณ์ข้ามโลก (transworld identity)
- การกำหนดแบบแข็ง (rigid designation)
- โมดอลแบบ de re เทียบกับ de dicto
- คุณสมบัติที่จำเป็นเทียบกับคุณสมบัติโดยบังเอิญ
Key theories
- สารัตถนิยมและการกำหนดแบบแข็ง
- คริปเก้แย้งว่าชื่อเฉพาะเป็นการกำหนดแบบแข็งที่ระบุวัตถุเดียวกันในทุกโลก ซึ่งทำให้ข้อกล่าวอ้างโมดอลแบบ de re มีความสอดคล้องกันและสนับสนุนความจริงที่จำเป็นเกี่ยวกับต้นกำเนิดและองค์ประกอบ
- การวิพากษ์วิจารณ์โมดอลแบบ de re ของไควน์
- ไควน์แย้งว่าการบ่งปริมาณในบริบทโมดอลนั้นเข้าใจยาก เนื่องจากการแทนที่คำที่อ้างถึงสิ่งเดียวกันสามารถเปลี่ยนค่าความจริงได้ ดังนั้นสารัตถนิยมจึงต้องอาศัยการแยกแยะที่ไม่เหมาะสมระหว่างคุณสมบัติที่จำเป็นและคุณสมบัติโดยบังเอิญของวัตถุ
History
รูธ บาร์แคน มาร์คัส ได้ริเริ่มตรรกะโมดอลเชิงปริมาณในปี 1946-1947 โดยพิสูจน์ผลลัพธ์เกี่ยวกับเอกลักษณ์และนำเสนอสูตรบาร์แคน ไควน์โจมตีโครงการทั้งหมดว่าผูกมัดกับสารัตถนิยมที่เข้าใจยาก แต่หนังสือ Naming and Necessity (1980) ของคริปเก้ได้ฟื้นฟูโมดอลแบบ de re ผ่านการกำหนดแบบแข็งและความจำเป็นของเอกลักษณ์ ทำให้สารัตถนิยมกลับมาเป็นที่ยอมรับอีกครั้ง
Debates
- โมดอลแบบ de re มีความสอดคล้องกันหรือไม่?
- ไม่ว่าการกำหนดคุณสมบัติที่จำเป็นให้กับวัตถุโดยไม่ขึ้นอยู่กับคำอธิบายนั้นเข้าใจได้หรือไม่ ดังที่การกำหนดแบบแข็งของคริปเก้บ่งชี้ หรือว่าไควน์ถูกต้องที่ว่าการพูดเช่นนั้นตั้งอยู่บนสารัตถนิยมที่ไม่สามารถปกป้องได้
Key figures
- Ruth Barcan Marcus
- Saul Kripke
- W. V. O. Quine
- Alvin Plantinga
- David Kaplan
Related topics
Seminal works
- barcan1947
- quine1953reference
- kripke1980
Frequently asked questions
- สูตรบาร์แคนคืออะไร?
- สูตรบาร์แคนกล่าวว่า หากเป็นไปได้ที่บางสิ่งเป็น F แล้วก็มีบางสิ่งที่เป็นไปได้ที่จะเป็น F — โดยย้ายตัวบ่งปริมาณการมีอยู่ (existential quantifier) ออกนอกตัวดำเนินการความเป็นไปได้ สูตรนี้และสูตรผกผันของมันถูกต้องในความหมายแบบโดเมนคงที่ แต่ล้มเหลวเมื่อโดเมนแตกต่างกันไปในแต่ละโลก ซึ่งเป็นเหตุผลว่าทำไมจึงเกี่ยวข้องกับว่าบุคคลเดียวกันมีอยู่ในทุกโลกที่เป็นไปได้หรือไม่