creatio ex nihilo

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

[Profile ทั้งหมด]

ให้ทิปเจ้าของ Blog [?]
ฝากข้อความหลังไมค์
Rss Feed
Smember
ผู้ติดตามบล็อก : 85 คน [?]




Group Blog
 
All Blogs
 
Friends' blogs
[Add ศล's blog to your web]
Links
 

 
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 น. 0 comments
Counter : 713 Pageviews.

ชื่อ : * blog นี้ comment ได้เฉพาะสมาชิก
Comment :
  *ส่วน comment ไม่สามารถใช้ javascript และ style sheet
 
 Pantip.com | PantipMarket.com | Pantown.com | © 2004 BlogGang.com allrights reserved.