สตีเฟน ยาโบล
ยาโบลในปี 2022
เกิด	( 30 กันยายน 1957 )30 กันยายน 2500 โทรอนโตประเทศแคนาดา
คู่สมรส	แซลลี่ ฮาสแลงเกอร์
การศึกษา
การศึกษา	มหาวิทยาลัยโทรอนโต( วิทยาศาสตรบัณฑิต ) มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์( ปริญญาเอก )
อาจารย์ที่ปรึกษาปริญญาเอก	โดนัลด์ เดวิดสัน
งานปรัชญา
ยุค	ปรัชญาร่วมสมัย
ภูมิภาค	ปรัชญาตะวันตก
โรงเรียน	การวิเคราะห์
นักศึกษาปริญญาเอก	แคโรไลนา ซาร์โตริโอ
ความสนใจหลัก	ตรรกศาสตร์เชิงปรัชญา , ปรัชญาภาษา , ปรัชญาคณิตศาสตร์ , ปรัชญาจิตวิทยา
แนวคิดที่น่าสนใจ	ความขัดแย้งของยาโบล

Stephen Yablo ( / ˈ j æ b l oʊ / ; ^{[ 1 ]}เกิดปี 1957) เป็นนักปรัชญาชาวอเมริกันที่เกิดในแคนาดา เขาเป็นศาสตราจารย์กิตติคุณ David W. Skinner ด้านปรัชญาที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) และเคยสอนที่มหาวิทยาลัยมิชิแกน แอนอาร์เบอร์ [ ^{2 ] เขา}มีความเชี่ยวชาญในปรัชญาตรรกศาสตร์ปรัชญาจิตอภิปรัชญาปรัชญาภาษาและปรัชญา คณิตศาสตร์

เขาเกิดที่โตรอนโตเมื่อวันที่ 30 กันยายน พ.ศ. 2490 โดยมีบิดาเป็นชาวโปแลนด์ชื่อ Saul Yablo และมารดาเป็นชาวโรมาเนีย-แคนาดาชื่อ Gloria Yablo (นามสกุลเดิม Herman) ซึ่งทั้งคู่เป็นชาวยิว [ ^{3 ] เขา}แต่งงานกับSally Haslanger นักปรัชญาจาก MIT เช่น กัน

เขาสำเร็จการศึกษาระดับปริญญาเอก จากมหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ซึ่งเขาได้ทำงานร่วมกับโดนัลด์ เดวิดสันและจอร์จ ไมโรในปี 2012 เขาได้รับเลือกเป็นสมาชิกกิตติมศักดิ์ของสถาบันศิลปะและวิทยาศาสตร์แห่งอเมริกา

Yablo ได้ตีพิมพ์บทความที่มีอิทธิพลจำนวนมากในสาขาปรัชญาจิตใจ ปรัชญาภาษา และอภิปรัชญา และได้บรรยายJohn Locke Lecturesที่ Oxford ในปี 2012 ซึ่งเป็นพื้นฐานสำหรับหนังสือAboutness ของเขา ซึ่งนักวิจารณ์คนหนึ่งอธิบายว่าเป็น "หนังสือที่สำคัญและครอบคลุมซึ่งนักปรัชญาจะอภิปรายกันไปอีกนาน" ^{[ 4 ]}

ในเอกสารที่ตีพิมพ์ในปี พ.ศ. 2528 ^{[ 5 ]}และ พ.ศ. 2536 ^{[ 6 ]} Yablo ได้แสดงวิธีการสร้างความขัดแย้งที่คล้ายกับความขัดแย้งของคนโกหกแต่ไม่มีการอ้างอิงตนเองแตกต่างจากความขัดแย้งของคนโกหกซึ่งใช้ประโยคเดียวความขัดแย้งของ Yabloใช้รายการประโยคที่ไม่มีที่สิ้นสุด โดยแต่ละประโยคอ้างอิงถึงประโยคที่ปรากฏในภายหลังในรายการ การวิเคราะห์รายการแสดงให้เห็นว่าไม่มีวิธีที่สอดคล้องกันในการกำหนดค่าความจริงให้กับสมาชิกใด ๆ ในรายการ เนื่องจากทุกอย่างในรายการอ้างอิงถึงประโยคในภายหลังเท่านั้น Yablo จึงอ้างว่าความขัดแย้งของเขา "ไม่เป็นวงกลมใน ทาง ใดทางหนึ่ง" อย่างไรก็ตามGraham Priestโต้แย้งเรื่องนี้^{[ 7 ] [ 8 ]}

พิจารณาชุดประโยคอนันต์ต่อไปนี้:

S ₁ : สำหรับแต่ละi > 1, S _iไม่เป็นจริง

S ₂ : สำหรับแต่ละi > 2, S _iไม่เป็นจริง

S ₃ : สำหรับแต่ละi > 3, S _iไม่เป็นจริง

...

สำหรับn ใดๆ ข้อเสนอS _nมีรูปแบบที่ระบุปริมาณได้แบบสากล โดยแสดงถึงข้ออ้างจำนวนอนันต์ (แต่ละข้อเป็นการปฏิเสธของข้อความที่มีดัชนีมากกว่า) ในฐานะข้อเสนอ ข้อเสนอS _n ใดๆ ยังแสดงว่าS _{n + 1}ไม่เป็นจริงด้วย ตัวอย่างเช่น

สำหรับจำนวนnและm ใดๆ ที่n < mข้อความS _nครอบคลุมข้อความS _m ทั้งหมดที่กล่าวไว้ในภายหลัง เนื่องจากข้อความนี้ใช้ได้กับจำนวนทุกคู่ดังกล่าว จึงพบว่าS _n ทั้งหมด บ่งชี้ถึงS _m ใดๆ ที่n < mตัวอย่างเช่นS _n ใดๆ บ่งชี้ถึงS _{n +} 1

ข้ออ้างใดๆ ที่ได้จากข้อเสนอ ("ข้อความถัดไปไม่เป็นจริง") ขัดแย้งกับข้อสรุปที่เราสามารถอนุมานได้ทางตรรกะจากข้อความทั้งหมด (ความถูกต้องของข้อความถัดไปนั้นได้มาจากการอนุมานจากข้อความปัจจุบัน) สิ่งนี้แสดงให้เห็นว่า การสมมติS _n ใดๆ ก็ตาม นำไปสู่ความขัดแย้ง และนั่นหมายความว่าS _n ทั้งหมด ได้รับการพิสูจน์แล้วว่าเป็นเท็จ

แต่ การที่ข้อความ S _n ทั้งหมด เป็นเท็จ ก็เป็นการยืนยันข้ออ้างที่พวกเขากล่าวอ้างอย่างแม่นยำเช่นกัน ดังนั้นเราจึงพบกับความขัดแย้งที่ว่า ประโยคแต่ละประโยคในรายการของยาโบลนั้น ทั้งไม่เป็นความจริงและเป็นจริงในเวลาเดียวกัน

สำหรับค่าใดๆหลักการแนะนำการปฏิเสธของตรรกศาสตร์เชิงประพจน์จะปฏิเสธค่าดังนั้นจึงไม่มีทฤษฎีที่สอดคล้องกันใดที่พิสูจน์ได้ว่าประพจน์ใดประพจน์หนึ่งของมันเทียบเท่ากับการปฏิเสธของตัวมันเอง ในเชิงอภิตรรกศาสตร์ หมายความว่าสัจพจน์ใดๆ ที่อยู่ในรูปแบบของการเทียบเท่าดังกล่าวไม่สอดคล้องกัน นี่เป็นอีกหนึ่งแง่มุมเชิงรูปแบบของความขัดแย้งของคนโกหก ${\displaystyle P}$${\displaystyle P\leftrightarrow \neg P}$

ในทำนองเดียวกัน สำหรับภาคแสดงเอกภาคใดๆและถ้าเป็นความสัมพันธ์ถ่ายทอดแบบสมบูรณ์แล้ว โดยการวิเคราะห์เชิงรูปแบบดังที่กล่าวมาข้างต้นตรรกะภาคแสดงจะปฏิเสธการปิดแบบสากลของ ${\displaystyle Q}$${\displaystyle R}$

${\displaystyle Q(n)\leftrightarrow \forall i.{\big (}R(i,n)\to \neg Q(i){\big )}}$

ในจำนวนธรรมชาติ เมื่อถือว่าความเท่าเทียมกัน " " นี้เป็นผลมาจากการวิเคราะห์ความขัดแย้งของคนโกหกเช่นกัน เมื่อถือว่าลำดับมาตรฐาน " " ยังคงเป็นไปได้ที่จะได้รับแบบจำลองเลขคณิตที่ไม่เป็นมาตรฐานสำหรับ ทฤษฎี ที่ไม่สอดคล้องกับโอเมก้าซึ่งกำหนดโดยการแนบความเท่าเทียมกันทั้งหมดทีละรายการ^{[ 9 ]}${\displaystyle R}$${\displaystyle =}$${\displaystyle R}$${\displaystyle >}$

• ความคิด (บทความเชิงปรัชญา เล่ม 1) (สำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ด, 2009)
• สิ่งต่างๆ (บทความเชิงปรัชญา เล่ม 2) (สำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ด, 2010)
• Aboutness (สำนักพิมพ์มหาวิทยาลัยพรินซ์ตัน, 2014)

• Fieser, James; Dowden, Bradley (บรรณาธิการ). "Liar Paradox" . สารานุกรมปรัชญาออนไลน์ . ISSN  2161-0002 . OCLC  37741658 .
• Fieser, James; Dowden, Bradley (บรรณาธิการ). "ปริศนาของยาโบล" . สารานุกรมปรัชญาออนไลน์ . ISSN  2161-0002 . OCLC  37741658 .
• "ความขัดแย้งที่ปราศจากการอ้างอิงตนเอง" - การวิเคราะห์เล่มที่ 53 (1993) หน้า 251–52
• "สาเหตุทางจิต" - วารสารปรัชญา , เล่มที่ 101, ฉบับที่ 2 (1992), หน้า 245–280
• "ลองคิดดูสิ: เส้นทางสู่โลกแห่งนิยาย"
• บทสัมภาษณ์ในนิตยสาร 3:AM
• บทสัมภาษณ์หัวข้อ " การเป็นนักปรัชญานั้นเป็นอย่างไร ?"