ตรรกะโมดัล
ตรรกะโมดัลเพิ่มตัวดำเนินการสำหรับความจำเป็นและความเป็นไปได้ให้กับตรรกะคลาสสิก โดยจัดเตรียมกลไกเชิงรูปนัยเบื้องหลังการให้เหตุผลเกี่ยวกับสิ่งที่ต้องเป็น อาจเป็น ควรเป็น หรือจะเป็นไปได้
Definition
ตรรกะโมดัลคือการศึกษาการอนุมานที่เกี่ยวข้องกับตัวดำเนินการของความจำเป็นและความเป็นไปได้ (และสิ่งที่คล้ายกัน) ซึ่งตีความผ่านแบบจำลองที่ประโยคต่างๆ ได้รับการประเมินเทียบกับโลกที่เป็นไปได้ที่เชื่อมโยงกันด้วยความสัมพันธ์ที่เข้าถึงได้
Scope
สาขานี้ครอบคลุมระบบรูปนัยของตรรกะโมดัลและการตีความเชิงปรัชญา โดยกล่าวถึงความหมายของโลกที่เป็นไปได้ (Kripke) ลำดับชั้นมาตรฐานของระบบโมดัล (K, T, S4, S5) และสัจพจน์เฉพาะของระบบเหล่านั้น การขยายตรรกะโมดัลด้วยตัวบ่งปริมาณและความเชื่อมโยงกับสารัตถนิยมและภาวะโมดัลแบบ de re รวมถึงตรรกะเชิงความตั้งใจที่เกี่ยวข้อง — ตรรกะเชิงเวลา ตรรกะเชิงพันธะ และตรรกะเชิงญาณวิทยา — ซึ่งใช้กลไกโครงสร้างเชิงสัมพันธ์เดียวกัน
Sub-topics
Core questions
- ควรตีความตัวดำเนินการความจำเป็นและความเป็นไปได้อย่างไร และโลกที่เป็นไปได้คืออะไร?
- สัจพจน์ใดที่ควบคุมการให้เหตุผลเชิงโมดัลที่ถูกต้อง และสัจพจน์เหล่านั้นสอดคล้องกับคุณสมบัติของความสัมพันธ์ที่เข้าถึงได้อย่างไร?
- ภาวะโมดัลมีปฏิสัมพันธ์กับการบ่งปริมาณ อัตลักษณ์ และการมีอยู่ของวัตถุข้ามโลกได้อย่างไร?
- ตรรกะเชิงความตั้งใจต่างๆ — ตรรกะเชิงเวลา ตรรกะเชิงพันธะ ตรรกะเชิงญาณวิทยา — สามารถรวมกันภายใต้กรอบการทำงานเดียวได้หรือไม่?
Key concepts
- ความจำเป็นและความเป็นไปได้
- โลกที่เป็นไปได้
- ความสัมพันธ์ที่เข้าถึงได้
- ระบบโมดัล (K, T, S4, S5)
- ภาวะโมดัลแบบ de re เทียบกับ de dicto
- การกำหนดที่ตายตัว
Key theories
- ความหมายของโลกที่เป็นไปได้ (Kripke)
- ประโยคโมดัลได้รับการประเมินในโลกที่เชื่อมโยงกันด้วยความสัมพันธ์ที่เข้าถึงได้: 'จำเป็นต้องเป็น A' เป็นจริงในโลกหนึ่งก็ต่อเมื่อ A เป็นจริงในทุกโลกที่เข้าถึงได้ และการเปลี่ยนแปลงคุณสมบัติของความสัมพันธ์จะให้ระบบโมดัลที่แตกต่างกัน
- สัจนิยมโมดัล
- ลูอิสเชื่อว่าโลกที่เป็นไปได้เป็นจักรวาลที่เป็นรูปธรรม แยกจากกัน และเป็นจริงพอๆ กับโลกจริง โดยให้ตัวสร้างความจริงแบบลดทอนสำหรับข้อความโมดัล โดยแลกมาด้วยภววิทยาที่ฟุ่มเฟือย
History
ซี. ไอ. ลูอิส ได้ฟื้นฟูตรรกะโมดัลในช่วงต้นศตวรรษที่ 20 เพื่อจับความหมายโดยนัยที่เข้มงวด แต่ขาดความหมายที่ชัดเจนจนกระทั่งคริปเก (และฮินติกกาและคังเกอร์โดยอิสระ) ได้จัดหาแบบจำลองโลกที่เป็นไปได้เชิงสัมพันธ์ในช่วงปี 1959-1963 สิ่งนี้ได้จุดประกายอภิปรัชญาของภาวะโมดัล โดยมีสัจนิยมโมดัลของลูอิสและสัจนิยมของแพลนทิงกาเป็นแนวคิดคู่แข่งเกี่ยวกับโลกที่เป็นไปได้คืออะไร
Debates
- ภววิทยาของโลกที่เป็นไปได้
- โลกที่เป็นไปได้เป็นจักรวาลที่เป็นรูปธรรมที่มีอยู่จริง (สัจนิยมโมดัลของลูอิส) หรือเป็นสิ่งนามธรรม เช่น สภาวะสูงสุดของกิจการ หรือชุดของข้อเสนอ (สัจนิยม) และแนวคิดใดที่สนับสนุนความจริงเชิงโมดัลได้ดีที่สุด
Key figures
- Saul Kripke
- C. I. Lewis
- Rudolf Carnap
- David Lewis
- Ruth Barcan Marcus
- Alvin Plantinga
Related topics
Seminal works
- kripke1963
- lewis1986plurality
- hughescresswell1996
Frequently asked questions
- ความแตกต่างระหว่างภาวะโมดัลแบบ de re และ de dicto คืออะไร?
- ข้อความโมดัลแบบ de dicto กำหนดความจำเป็นหรือความเป็นไปได้ให้กับประพจน์ทั้งหมด ('จำเป็นต้องเป็นว่าชายโสดทุกคนไม่แต่งงาน') ในขณะที่ข้อความแบบ de re กำหนดคุณสมบัติเชิงโมดัลให้กับวัตถุโดยไม่ขึ้นอยู่กับวิธีการอธิบาย ('ชายผู้นี้จำเป็นต้องเป็นมนุษย์') ความแตกต่างนี้เป็นหัวใจสำคัญของการถกเถียงเกี่ยวกับสารัตถนิยม