ลอจิกิซึม แนวคิดการลดทอนคณิตศาสตร์สู่ตรรกศาสตร์

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

จุดเริ่มต้นและการพัฒนา

โครงการลอจิกิซึมเริ่มต้นขึ้นโดย กอตลอบ เฟรเก (Gottlob Frege) และได้รับการพัฒนาต่อโดย ริชาร์ด เดเดคินด์ (Richard Dedekind) และ จูเซปเป เปอาโน (Giuseppe Peano) โดยเดเดคินด์มีความเชื่อว่าเลขคณิต พีชคณิต และการวิเคราะห์ทางคณิตศาสตร์สามารถลดทอนลงสู่จำนวนธรรมชาติและ "ตรรกะของคลาส" (logic of classes) ได้ และในปี 1872 เขาได้สรุปว่าจำนวนธรรมชาติเองก็สามารถลดทอนลงสู่เซตและการส่งค่า (mappings) ได้

สำหรับเฟรเก แรงผลักดันสำคัญมาจากความไม่พอใจในคำอธิบายเกี่ยวกับจำนวนธรรมชาติที่มีอยู่ในขณะนั้น และความเชื่อที่ว่าแนวคิดของ อิมมานูเอล คานท์ (Immanuel Kant) ที่มองว่าความจริงเกี่ยวกับจำนวนธรรมชาติเป็น "ความจริงสังเคราะห์ก่อนประสบการณ์" (synthetic a priori truth) นั้นไม่ถูกต้อง

วิกฤตการณ์และข้อขัดแย้งทางตรรกะ

ในช่วงแรก ลอจิกิซึมเผชิญกับวิกฤตครั้งใหญ่เมื่อมีการค้นพบ ข้อขัดแย้งทางตรรกะ (Paradoxes) ในทฤษฎีเซตแบบดั้งเดิม โดยเฉพาะอย่างยิ่ง Russell's Paradox ที่เบอร์ทรานด์ รัสเซลล์ (Bertrand Russell) ค้นพบ ซึ่งชี้ให้เห็นถึงความไม่สอดคล้องกันในระบบของเฟรเกในหนังสือ Grundgesetze der Arithmetik ส่งผลให้เฟรเกต้องละทิ้งโครงการนี้ไป

อย่างไรก็ตาม รัสเซลล์และ อัลเฟรด นอร์ท ไวท์เฮด (Alfred North Whitehead) ได้พยายามแก้ไขปัญหานี้และรวบรวมหลักฐานเพื่อสนับสนุนลอจิกิซึมในผลงานชิ้นสำคัญคือ Principia Mathematica ซึ่งพยายามสร้างระบบที่หลีกเลี่ยงข้อขัดแย้งดังกล่าว

ผลกระทบจากทฤษฎีของเกอเดล

ความพยายามของลอจิกิซึมได้รับผลกระทบอย่างรุนแรงจาก ทฤษฎีความไม่สมบูรณ์ของเกอเดล (Gödel's Incompleteness Theorems) ซึ่งพิสูจน์ว่าไม่มีระบบรูปนัย (formal system) ใดที่สามารถตัดสินประพจน์ที่สร้างขึ้นอย่างถูกต้องได้ทั้งหมดภายในระบบนั้นเอง หากระบบนั้นมีความสามารถในการคำนวณเลขคณิตพื้นฐานได้

ผลลัพธ์นี้ชี้ให้เห็นว่า หากต้องการรักษาจุดยืนแบบลอจิกิซึมในขณะที่ยังคงรักษาคณิตศาสตร์คลาสสิกไว้ ผู้สนับสนุนแนวคิดนี้จำเป็นต้องยอมรับ สัจพจน์แห่งอนันต์ (Axiom of Infinity) ให้เป็นส่วนหนึ่งของตรรกศาสตร์ ซึ่งเป็นประเด็นที่นักปรัชญาหลายคนมองว่าเป็นเรื่องนอกเหนือขอบเขตของตรรกศาสตร์บริสุทธิ์

มรดกและอิทธิพลต่อปรัชญาวิเคราะห์

แม้ว่าโครงการลอจิกิซึมในรูปแบบดั้งเดิมจะประสบปัญหา แต่แนวคิดนี้มีอิทธิพลอย่างลึกซึ้งต่อการพัฒนา ปรัชญาวิเคราะห์ (Analytic Philosophy) ในศตวรรษที่ 20 โดยส่งผ่านอิทธิพลจากเฟรเกไปยังรัสเซลล์ ลุดวิก วิตเกนสไตน์ (Ludwig Wittgenstein) และไมเคิล ดัมเมตต์ (Michael Dummett) ในเวลาต่อมา

ที่มาของคำว่า 'Logicism'

คำว่า "Logicism" มีที่มาจากคำภาษาฝรั่งเศสว่า Logistique ซึ่งถูกนำเสนอโดย Couturat และคณะในการประชุมนานาชาติทางปรัชญาปี 1904 และเริ่มถูกนำมาใช้โดยรัสเซลล์และนักคิดคนอื่นๆ ในเวลาต่อมา โดยคำว่า "logicism" เริ่มปรากฏชัดเจนและถูกใช้อย่างแพร่หลายในช่วงปลายทศวรรษ 1920