they are not grounded


ตัวอย่างนี้จากบทความ Truth and Reflection ของยาโบลน่าสนใจดีครับ

แกสร้างลำดับของประโยค

S(1) : "มีค่า n > 1 ที่ S(n) สมมูลกับ S(n+1)"
S(2) : "มีค่า n > 2 ที่ S(n) สมมูลกับ S(n+1)"
S(3) : "มีค่า n > 3 ที่ S(n) สมมูลกับ S(n+1)"
.
.
S(m) : "มีค่า n > m ที่ S(n) สมมูลกับ S(n+1)"
.
.

ซึ่งเราสามารถพิสูจน์ได้ไม่ยากว่าประโยคทั้งหมดในลำดับนี้ทุกประโยคเป็นจริง โดยการสมมติว่า มี S(n) บางตัวในลำดับนี้ที่เป็นเท็จ นั่นคือ สำหรับคู่ S(m) กับ S(m+1) ใด ๆ ที่ m > n ค่าความจริงของ S(m) กับ S(m+1) จะต้องต่างกัน นั่นคือ จะต้องมี S(p) ที่ p > n และเป็นจริง หมายความว่ามีคู่ S(q) กับ S(q+1) ที่ q > p ที่ค่าความจริงของ S(q) เหมือนกับของ S(q+1) และเนื่องจาก p > n ฉะนั้นมีค่า q > n ที่ S(q) กับ S(q+1) สมมูลกัน เกิดข้อขัดแย้ง นั่นคือ ไม่มี S(n) ในลำดับที่เป็นเท็จ ทุกประโยคในลำดับนี้เป็นจริงหมด แต่มันเป็นจริงจากอะไร เช่น ถ้าเราถามว่าทำไม S(2) จริง คำตอบอาจจะเป็นเพราะ S(3) กับ S(4) จริง แล้วทำไม S(3) จริง คำตอบอาจจะเป็นเพราะ S(4) กับ S(5) จริง ... นี่เป็นตัวอย่างที่ยาโบลใช้ตั้งข้อสงสัยต่อ stability semantics

(ยาโบลเขียนบทความนี้ตอนเป็นนักศึกษาที่ยูซี เบิร์กลีย์ มีส่วนหนึ่งของบทความเตะตาซาล คริปกี้ ถึงกับโทรศัพท์มาหาเชียวนะฮะ แต่ตอนนั้นยาโบลไม่อยู่ Vernallis เป็นคนรับสาย สองคนนี้คุยอภิปรัชญาว่าด้วยไทม์โซนติดลม ถึงแม้ยาโบลจะกลับมาทันช่วงที่คริปกี้ยังไม่วาง แต่ก็ไม่มีโอกาสได้คุย อีก 2 ปีต่อมายาโบลกับคริปกี้ถึงได้คุยกัน และรับคำเชิญไปพูดงานสัมมนาที่พรินซ์ตัน ส่วนของบทความที่เตะตาคริปกี้คือส่วนที่เราเรียกกันในปัจจุบันว่าพาราด็อกซ์ของยาโบล)

ที่มา: เก็บความมาเล่าจากหนังสือ The Yablo Paradox ของ Roy T. Cook



Create Date : 27 กรกฎาคม 2557
Last Update : 27 กรกฎาคม 2557 9:15:30 น.
Counter : 750 Pageviews.

0 comments
ไดอารี่ได้ศัพท์ Ep.3 บวก ลบ คูณ หาร toor36
(14 พ.ค. 2563 00:01:09 น.)
ให้สัญญาณไฟ เพื่อลดอุบัติเหตุ TG767
(12 พ.ค. 2563 12:07:19 น.)
นกอีแพรดคอขาว เราอยู่กันมานานหลายปี จนกลายเป็นเพื่อนบ้านใกล้กัน ธนูคือลุงแอ็ด
(30 เม.ย. 2563 03:31:42 น.)
[FF7R] บันทึกจบเกมรอบแรก ชีริว
(25 เม.ย. 2563 21:30:44 น.)
ชื่อ : * blog นี้ comment ได้เฉพาะสมาชิก
Comment :
 *ส่วน comment ไม่สามารถใช้ javascript และ style sheet
 

Zol.BlogGang.com

ศล
Location :
กรุงเทพ  Thailand

[ดู Profile ทั้งหมด]
 ผู้ติดตามบล็อก : 85 คน [?]

บทความทั้งหมด