ตรรกะเสรีและการตั้งสมมติฐาน

ตรรกะคลาสสิกถือว่าคำเอกพจน์ทุกคำมีความหมาย; ตรรกะเสรีผ่อนคลายข้อกำหนดนี้เพื่อรองรับชื่อที่ไม่มีอยู่จริง เช่น 'เพกาซัส' และคำอธิบายที่เฉพาะเจาะจงที่ไม่มีการอ้างอิง

Definition

ตรรกะเสรีคือระบบของการหาปริมาณที่คำเอกพจน์ไม่จำเป็นต้องหมายถึงวัตถุที่มีอยู่จริง ดังนั้นการอนุมาน เช่น การย้ายจาก 'a คือ F' ไปยัง 'บางสิ่งคือ F' จะเป็นจริงได้ก็ต่อเมื่อมีข้อสมมติฐานเพิ่มเติมว่า a มีอยู่จริง

Scope

หัวข้อนี้ครอบคลุมตรรกะเสรี — ตรรกะที่ปราศจากข้อสมมติฐานการมีอยู่สำหรับคำเอกพจน์ — และปรากฏการณ์ที่เกี่ยวข้องอย่างใกล้ชิดของการตั้งสมมติฐานที่ล้มเหลว โดยจะกล่าวถึงวิธีการที่ตรรกะเสรีปรับเปลี่ยนกฎคลาสสิกของการแทนที่สากลและการสรุปเชิงการมีอยู่สำหรับคำที่ไม่มีความหมาย รูปแบบที่เป็นบวก ลบ และเป็นกลาง (supervaluational) และภูมิหลังทางปรัชญาในการโต้แย้งระหว่างรัสเซลล์-สตรอว์สันเกี่ยวกับวิธีการที่ประโยคที่มีคำอธิบายที่ไม่มีการอ้างอิงได้รับค่าความจริง

Core questions

• ตรรกะควรปฏิบัติต่อประโยคที่มีชื่อว่างเปล่าหรือคำอธิบายที่ล้มเหลวอย่างไร?
• ประโยคดังกล่าวขาดค่าความจริง (การตั้งสมมติฐานล้มเหลว) หรือกลายเป็นเท็จ?
• กฎการอนุมานคลาสสิกใดบ้างที่ต้องถูกจำกัดเมื่อคำอาจไม่มีความหมาย?
• การมีอยู่เป็นภาคแสดงหรือไม่ และตัวบ่งปริมาณควรเกี่ยวข้องกับการมีอยู่จริงอย่างไร?

Key concepts

• คำเอกพจน์ที่ไม่มีความหมาย
• การแทนที่สากลและการสรุปเชิงการมีอยู่
• ตรรกะเสรีแบบบวก ลบ และเป็นกลาง
• การตั้งสมมติฐานล้มเหลว
• ช่องว่างค่าความจริง
• การมีอยู่เป็นภาคแสดง

Key theories

ตรรกะเสรี

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

การตั้งสมมติฐานและช่องว่างค่าความจริง

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

History

ทฤษฎีคำอธิบายของรัสเซลล์ในปี 1905 จัดการกับคำที่ว่างเปล่าโดยการวิเคราะห์มากกว่าการแก้ไขเชิงตรรกะ; การตอบกลับของสตรอว์สันในปี 1950 ได้นำเสนอการตั้งสมมติฐานและช่องว่างค่าความจริง ตั้งแต่ทศวรรษ 1960 แลมเบิร์ตได้บัญญัติและพัฒนาตรรกะเสรีเป็นทางเลือกที่เป็นระบบ และแวน ฟราสเซนได้จัดหาความหมายเชิง supervaluational สำหรับช่องว่างที่เกิดขึ้น

Debates

เท็จหรือไม่มีค่าความจริง?

ไม่ว่าประโยคที่มีคำที่ไม่มีการอ้างอิงจะเป็นเท็จอย่างง่ายๆ ตามที่ทฤษฎีคำอธิบายของรัสเซลล์บ่งชี้ หรือประสบปัญหาการตั้งสมมติฐานล้มเหลวและขาดค่าความจริง ตามที่สตรอว์สันและนักตรรกะเสรีเชิง supervaluational ถือ

Key figures

• Karel Lambert
• P. F. Strawson
• Bas van Fraassen
• Bertrand Russell
• Hugues Leblanc

Seminal works

• strawson1950
• lambert2003

Frequently asked questions

เหตุใดตรรกะคลาสสิกจึงไม่สามารถจัดการกับชื่อที่ว่างเปล่าได้?

ตรรกะคลาสสิกอนุญาตให้สรุปว่า 'บางสิ่งคือ F' จาก 'a คือ F' สำหรับคำใดๆ ซึ่งจะล้มเหลวหาก a ไม่ได้หมายถึงสิ่งใด — ตัวอย่างเช่น การอนุมานว่าบางสิ่งเป็นม้ามีปีกจาก 'เพกาซัสเป็นม้ามีปีก' ตรรกะเสรีจำกัดการอนุมานดังกล่าวเพื่อให้ต้องมีข้อสมมติฐานเพิ่มเติมว่าวัตถุที่ระบุชื่อมีอยู่จริง