creatio ex nihilo

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

[Profile ทั้งหมด]

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




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

 
Logic: A Very Short Introduction



แม้เป็น introduction แถม very short แต่ไม่ very easy (หรือแม้แต่ easy) นะครับ หลังจาก 3 บทแรกที่แนะนำความคิดพื้นฐาน logic เหมือนตอนเราเรียนในวิชาเลข ม.4 เรื่องตรรกศาสตร์ บทที่เหลือต้องตั้งสติสมาธิอ่านอย่างยิ่ง โดยเฉพาะกับผู้อ่านที่ไม่คุ้นเคยสัมผัส modern logic มาก่อน แต่กระนั้นโปรเฟสเซอร์ Graham Priest ก็นำคุณท่องชมโลกของ logic สมัยใหม่ได้อย่างทั่วถึงและเป็นลำดับขั้นตอน แต่ละบท Priest จะมีคำถามท้าทายความคิดผู้อ่าน และผลเฉลยที่เป็นที่ยอมรับกัน (ถ้ามี) ต่อปัญหานั้น จบบทก็มีกรอบสรุป main idea of the chapter เพื่อให้ผู้อ่านทบทวน สำหรับคนที่ชอบขบคิด หนังสือเล่มนี้เหมาะกับคุณครับ ขอยกตัวอย่างอะมีบ้าในบทที่ 9 ที่คุณอาจจะต้องคิดแบบนักปรัชญาสักนิด (ลดดีกรีความเป็นวิทยาศาสตร์ลงมาหน่อย) แล้วจะเห็นว่า argument นั้นน่าสนใจใช่ย่อย แก่นของบทนี้ Identity and Change: Is Anything Ever the Same? คือการแยกความต่างระหว่าง object กับ properties ของ object และ Leibniz' law สำหรับวัตถุ x และ y ใด ๆ ที่ x = y แล้วคุณสมบัติอะไรก็ตามที่ y มี x มี และกลับกัน มันก็ฟังดูสมเหตุสมผล (valid) ใช่มั้ยครับ? ทีนี้ผู้เขียนเริ่มชักใยให้เรางงงวยยิ่งขึ้นด้วยการนำ tense operator (ในตัวอย่างใช้ G แทน "นับจากนี้ไป" - it is always going to be the case that) มาใช้กับ self โดยเริ่มจากให้ x เป็นอะไรก็ได้ที่คุณชอบ สมมติว่า x เป็นมาริโอ้ แล้วพิจารณา x = x เท่ากับพูดว่า x มีคุณสมบัติของการเป็นอย่างเดียวกันกับ x ซึ่งมันจริงเสมอไม่ว่าจะเป็นอดีต ปัจจุบัน อนาคต (มาริโอ้ก็ยังเป็นมาริโอ้ คนเดิมหรือเปลี่ยนไปไม่สำคัญ ที่สำคัญคือต้องยังเป็นมาริโอ้) ฉะนั้น Gx=x ก็เป็นจริงด้วย เพราะมันเท่ากับแค่พูดย้ำว่า "นับจากนี้ไปมาริโอ้เป็นมาริโอ้" ทีนี้เอาใส่กลับเข้าไปในกฎของไลบ์นิซ

     x=y, Gx=x ฉะนั้น Gx=y

โปรเฟสเซอร์ Priest ใช้อะมีบ้า A ที่ต่อมาแบ่งตัวออกเป็นอะมีบ้า B กับ C ซึ่งก่อนแบ่งตัวนั้นทั้ง B และ C คือ A จึงพูดว่า B = C แต่หลังจากแบ่งตัว B กับ C ก็เป็นอะมีบ้าคนละตัวกัน ¬B = C ฉะนั้น Gx=y จึงไม่จริงเสมอไป ตรงนี้ Priest เองก็ได้ยกข้อที่อาจจะแย้งหลายอย่าง เช่น ก่อนแบ่งตัว B เป็นส่วนหนึ่งของ A เท่านั้น แต่ก็แย้งกลับว่าอะมีบ้าเป็นสัตว์เซลล์เดียวจึงไม่มีส่วนที่เป็น B (ผมไม่รู้ว่าข้อแย้งกลับนี่จริงหรือเปล่านะครับ ต้องถามนักชีววิทยาว่าจริงมั้ย) หรืออีกอัน แย้งว่า ก่อนแบ่งตัว B กับ C ไม่มีอยู่จริง ทำให้พูดว่า B = C ไม่ได้ ตรงนี้ Priest ก็แก้ว่า ครั้นจะพูดว่า B เป็นอะมีบ้าตัวใหม่ก็พูดได้ไม่เต็มปาก ลองสมมติให้ตอนแบ่งตัวแล้ว C เกิดตายขึ้นมาสิ เราคงพูดได้แน่ ๆ ว่า B คือ A (เหมือนงูลอกคราบ) เก่งที่สุดเราก็ยังเถียงได้อยู่ดีนั่นแหละครับว่า B ไม่ใช่ A เพราะคุณสมบัติของมันเปลี่ยนไป แต่เอ๊ะ ถ้างั้นคุณสมบัติที่เปลี่ยนไปเท่ากับตัวตนวัตถุที่เปลี่ยนไปหรือ? ย้อนกลับไปตั้งคำถามยังแก่นของบทนี้ คุณที่มีอายุมากขึ้นยังเป็นคุณอยู่ไหม?

ผมให้


Create Date : 31 พฤษภาคม 2553
Last Update : 31 พฤษภาคม 2553 17:57:31 น. 0 comments
Counter : 798 Pageviews.

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