การคิดเชิงตรรกะคือการพัฒนาตรรกะ ตรรกะคืออะไรและทำไมจึงจำเป็น?

การแนะนำ

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

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

ความหมายของตรรกะ

เราใช้คำว่า "ตรรกะ" ค่อนข้างบ่อย แต่ในความหมายต่างกัน ผู้คนมักพูดถึงตรรกะของเหตุการณ์ ตรรกะของตัวละคร ฯลฯ ในกรณีเหล่านี้ เราหมายถึงลำดับบางอย่างและการพึ่งพากันของเหตุการณ์หรือการกระทำ “บางทีเขาอาจจะบ้า” หนึ่งในวีรบุรุษของเรื่องกล่าวโดยนักเขียนชาวอังกฤษ G.K. เชสเตอร์ตัน - แต่ความบ้าคลั่งของเขามีเหตุผล มีเหตุผลสำหรับความบ้าคลั่งเกือบทุกครั้ง นี่คือสิ่งที่ทำให้คนเป็นบ้า” "ตรรกะ" ในที่นี้หมายถึงการปรากฏตัวในความคิดของบรรทัดทั่วไปบางอย่างซึ่งบุคคลไม่สามารถขยับออกไปได้

คำว่า "ตรรกะ" ยังใช้กับกระบวนการคิดอีกด้วย เรากำลังพูดถึงการคิดเชิงตรรกะและไร้เหตุผล ซึ่งหมายถึงความแน่นอน ความสม่ำเสมอ หลักฐาน ฯลฯ

นอกจากนี้ ตรรกะยังเป็นศาสตร์แห่งการคิดพิเศษอีกด้วย เกิดขึ้นในศตวรรษที่ 4 พ.ศ. ต่อมาก็กลายเป็นที่รู้จักในชื่อ ตรรกะที่เป็นทางการ

โดยทั่วไปแล้ว ตรรกะสามารถนิยามได้ว่าเป็นศาสตร์แห่งกฎและการดำเนินการของการคิดที่ถูกต้อง

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

ยุคดั้งเดิมของการพัฒนาตรรกะ

แม้ว่าวัฒนธรรมส่วนใหญ่ได้พัฒนาแนวทางของตนเองต่อระบบการให้เหตุผล แต่ตรรกะได้รับการพัฒนาเฉพาะในสามประเพณีทางวัฒนธรรมเท่านั้น: จีนอินเดียและกรีก แม้ว่าวันที่แน่นอนจะไม่น่าเชื่อถือเพียงพอ (โดยเฉพาะในกรณีของอินเดีย)

ลอจิกกลายเป็นวิทยาศาสตร์อิสระในศตวรรษที่ 4 พ.ศ. นักปรัชญาชาวกรีกโบราณถือเป็นผู้ก่อตั้งอย่างถูกต้อง อริสโตเติล(384-322 ปีก่อนคริสตกาล)

ในงานวิทยาศาสตร์ของเขาเกี่ยวกับตรรกะ อริสโตเติลได้นำเสนออย่างเป็นระบบเป็นครั้งแรกและเรียกมันว่าตรรกะที่เป็นทางการแบบ "ดั้งเดิม" ตรรกะที่เป็นทางการแบบดั้งเดิมในเวลานั้นรวมถึงส่วนต่างๆ เช่น แนวคิด การตัดสิน กฎ (หลักการ) ของการคิดที่ถูกต้อง การอนุมาน (นิรนัย อุปนัย โดยการเปรียบเทียบ) รากฐานเชิงตรรกะของทฤษฎีการโต้แย้ง สมมติฐาน งานหลักของอริสโตเติลเกี่ยวกับตรรกะคือ: "การวิเคราะห์ครั้งแรก" และ "การวิเคราะห์ครั้งที่สอง" ซึ่งให้ ทฤษฎีการอ้างเหตุผลความหมายและการแบ่งแนวคิด ทฤษฎีหลักฐาน “หัวข้อ” – มีหลักคำสอนของหลักฐาน “วิภาษวิธี” ที่เป็นไปได้ "หมวดหมู่", "ในการพิสูจน์ข้อโต้แย้งที่ซับซ้อน", "ในการตีความ" ต่อมา นักตรรกศาสตร์ไบแซนไทน์ได้รวมผลงานทั้งหมดของอริสโตเติลไว้ในชื่อทั่วไปว่า "ออร์กานอน" (เครื่องมือแห่งความรู้) กฎของการคิดที่ถูกต้อง: กฎแห่งอัตลักษณ์ กฎแห่งการไม่ขัดแย้ง กฎแห่งการกีดกันคนกลาง- อริสโตเติลได้สรุปไว้ในงานหลักของเขาเรื่อง "อภิปรัชญา" อริสโตเติลเริ่มแรกถือว่ากฎแห่งการคิดเป็นกฎแห่งการดำรงอยู่ และถือว่ารูปแบบเชิงตรรกะของการคิดที่แท้จริงเป็นการสะท้อนถึงความสัมพันธ์ที่แท้จริง สำหรับอริสโตเติล ความจริงคือการเชื่อมโยงระหว่างความคิดกับความเป็นจริง เขาถือว่าการตัดสินที่แท้จริงคือแนวคิดที่เชื่อมโยงถึงกันในลักษณะเดียวกับที่สิ่งต่าง ๆ ในธรรมชาติเชื่อมโยงถึงกัน และเท็จคือการตัดสินที่เชื่อมโยงสิ่งที่แยกออกจากกันในธรรมชาติหรือแยกสิ่งที่เชื่อมโยงอยู่ในธรรมชาติ อริสโตเติลได้สร้างตรรกะของตัวเองขึ้นมาโดยใช้แนวคิดเรื่องความจริงนี้ ในนักวิเคราะห์ อริสโตเติลค่อนข้างพัฒนาอย่างละเอียดถี่ถ้วน ตรรกะกิริยาช่วย. อริสโตเติลมองว่าตรรกะเป็นเครื่องมือหรือวิธีการวิจัย เนื้อหาหลักของตรรกะอริสโตเติลคือ ทฤษฎีการหักเงิน. ตรรกะของอริสโตเติลประกอบด้วยองค์ประกอบต่างๆ ทางคณิตศาสตร์(สัญลักษณ์) ตรรกะผลงานของเขาติดตามจุดเริ่มต้นของแคลคูลัสเชิงประพจน์ และหลักคำสอนเรื่องการอ้างเหตุผลของเขาเป็นพื้นฐานของตรรกะภาคแสดง - หนึ่งในพื้นที่ของตรรกะทางคณิตศาสตร์สมัยใหม่

ขั้นตอนสำคัญในการพัฒนาคำสอนของอริสโตเติลคือ ตรรกะของสโตอิกโบราณ(เซโน่, คริสซิพฯลฯ ) เธอเป็นผู้เสริมทฤษฎีอริสโตเติลเรื่องการอ้างเหตุผลด้วยคำอธิบายของการอนุมานที่ซับซ้อน ตรรกะของสโตอิกถือเป็นพื้นฐานของตรรกะทางคณิตศาสตร์สาขาอื่น - ตรรกะเชิงประพจน์ ในบรรดานักคิดโบราณคนอื่นๆ ที่พัฒนาและแสดงความคิดเห็นเกี่ยวกับคำสอนเชิงตรรกะของอริสโตเติล เราควรตั้งชื่อ กาเลนาหลังจากที่ตั้งชื่อบุคคลที่ 4 ของการอ้างเหตุผลอย่างเด็ดขาด พอร์ฟีเรียมีชื่อเสียงจากแผนภาพที่เขาพัฒนาขึ้นโดยแสดงความสัมพันธ์ของการอยู่ใต้บังคับบัญชาระหว่างแนวคิด (“ ต้นไม้ของ Porphyry”); โบติอุสซึ่งผลงานของเขาทำหน้าที่เป็นเครื่องช่วยเชิงตรรกะหลักมาเป็นเวลานาน

ตรรกะยังได้รับการพัฒนาในยุคกลาง แต่ลัทธินักวิชาการได้บิดเบือนคำสอนของอริสโตเติล และปรับให้เข้ากับความเชื่อทางศาสนา

ความสำเร็จของวิทยาศาสตร์เชิงตรรกะในยุคปัจจุบันมีความสำคัญมาก ขั้นตอนที่สำคัญที่สุดในการพัฒนาคือทฤษฎีการเหนี่ยวนำซึ่งพัฒนาโดยนักปรัชญาชาวอังกฤษ เอฟ. เบคอน(1561–) . เบคอนวิพากษ์วิจารณ์ตรรกะนิรนัยของอริสโตเติล ซึ่งบิดเบี้ยวไปตามหลักวิชาการในยุคกลาง ซึ่งในความเห็นของเขา ไม่สามารถใช้เป็นวิธีการค้นพบทางวิทยาศาสตร์ได้ วิธีการนี้ควรเป็นการอุปนัยซึ่งเป็นหลักการที่กำหนดไว้ในงานของเขา "New Organon" (ตรงกันข้ามกับ "Organon แบบเก่าของอริสโตเติล") การพัฒนาวิธีการอุปนัยเป็นข้อดีอย่างมากของเบคอน แต่เขาเปรียบเทียบมันกับวิธีการนิรนัยอย่างไม่ถูกต้อง ในความเป็นจริงวิธีการเหล่านี้ไม่ได้แยกออก แต่เสริมซึ่งกันและกัน เบคอนได้พัฒนาวิธีการเหนี่ยวนำทางวิทยาศาสตร์ ซึ่งต่อมาจัดระบบโดยนักปรัชญาและนักตรรกศาสตร์ชาวอังกฤษ เจ.เอส.มิลเล็ม(1806–1873) ดังนั้นผู้ก่อตั้ง ตรรกะอุปนัย F. Bacon และ J. Mill ได้รับการพิจารณาอย่างถูกต้อง ต่อมา ภายในกรอบของทฤษฎีตรรกะนี้ มีการสร้างทฤษฎีนิรนัยจำนวนมากเพื่อศึกษาปัญหาเชิงตรรกะ

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

การพัฒนาตรรกะเพิ่มเติมนั้นเกี่ยวข้องกับชื่อของนักคิดชาวยุโรปตะวันตกที่โดดเด่นเช่น R. Descartes, G. Leibniz, I. Kant และคนอื่น ๆ ปราชญ์ชาวฝรั่งเศส อาร์. เดการ์ตส์(ค.ศ. 1569–1650) วิพากษ์วิจารณ์ลัทธินักวิชาการในยุคกลาง เขาพัฒนา แนวคิดเกี่ยวกับตรรกะนิรนัยได้กำหนดกฎเกณฑ์ของการวิจัยทางวิทยาศาสตร์ไว้ในบทความเรื่อง “กฎสำหรับการชี้นำจิตใจ” ในปี ค.ศ. 1662 หนังสือ “ตรรกะหรือศิลปะแห่งการคิด” ซึ่งเขียนโดยสาวกของเดส์การตส์ ได้รับการตีพิมพ์ในปารีส อ. อาร์โนและ พี. นิโคลหรือที่รู้จักกันในชื่อ "ตรรกะของพอร์ต-รอยัล" (เนื่องจากผู้เขียนเป็นสมาชิกขององค์กรศาสนาที่ตั้งอยู่ในอารามพอร์ต-รอยัล) หนังสือเล่มนี้มีอิทธิพลสำคัญต่อประวัติศาสตร์การพัฒนาตรรกะที่ตามมาทั้งหมด นักปรัชญาชาวเยอรมันมีส่วนสำคัญในการศึกษาปัญหาเชิงตรรกะ ก. ไลบ์นิซ(ค.ศ. 1646–1716) ผู้กำหนดกฎแห่งเหตุผลที่เพียงพอ หยิบยกแนวคิดเรื่องตรรกศาสตร์ทางคณิตศาสตร์ซึ่งได้รับการพัฒนาในศตวรรษที่ 19-20 เท่านั้น นักปรัชญาชาวเยอรมัน ไอ. คานท์(1724–) และนักปรัชญาและนักวิทยาศาสตร์ชาวยุโรปตะวันตกคนอื่นๆ

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

การมีส่วนร่วมของนักปรัชญาและนักวิทยาศาสตร์ชาวรัสเซียในการพัฒนาตรรกะมีความสำคัญ มีการหยิบยกแนวคิดดั้งเดิมจำนวนหนึ่งขึ้นมา เอ็มวี โลโมโนซอฟ(1711–1765) หนึ่ง. ราดิชชอฟ(1749–1802) เอ็น.จี. เชอร์นิเชฟสกี้(1828–1889) นักตรรกศาสตร์ชาวรัสเซียมีชื่อเสียงในด้านความคิดสร้างสรรค์ในทฤษฎีอนุมาน มิ.ย. คารินสกี้(1804–1917) และ แอล.วี. รุตคอฟสกี้(พ.ศ. 2402–2463) หนึ่งในคนกลุ่มแรก ๆ ที่พัฒนาตรรกะของความสัมพันธ์ระหว่างนักปรัชญาและนักตรรกศาสตร์ ส.ไอ. โพวรรณินทร์(1807–1852) ในช่วงครึ่งหลังของศตวรรษที่ 19 การปฏิวัติที่แท้จริงในตรรกะเกิดขึ้นจากการใช้วิธีการพัฒนาทางคณิตศาสตร์อย่างแพร่หลาย ได้แก่ วิธีพีชคณิต วิธีสัจพจน์ วิธีภาษาที่เป็นทางการ แคลคูลัส และความหมายที่เป็นทางการ ทิศทางนี้ได้รับการพัฒนาในการทำงาน เจ. บูล, W.S. เจวอนซา โพเรตสกี้, จี. เฟรจ, ซี. เพียร์ซ, บี. รัสเซลล์, เจ. ลูกาซีวิชและนักคณิตศาสตร์และนักตรรกศาสตร์คนอื่นๆ การวิเคราะห์ทางทฤษฎีของการให้เหตุผลแบบนิรนัยโดยใช้วิธีแคลคูลัสโดยใช้ภาษาที่เป็นทางการเรียกว่า ทางคณิตศาสตร์(หรือ เป็นสัญลักษณ์)ตรรกะ. อย่างไรก็ตาม ด้วยนวัตกรรมทั้งหมด หัวข้อของการวิเคราะห์เชิงตรรกะโดยพื้นฐานแล้วยังคงเหมือนเดิม

ตรรกะเชิงสัญลักษณ์– พื้นที่การวิจัยเชิงตรรกะที่มีการพัฒนาอย่างเข้มข้น รวมถึงหลายส่วนหรือที่เรียกกันทั่วไปว่า "ตรรกะ" (เช่น ตรรกะเชิงประพจน์ ตรรกะภาคแสดง ตรรกะความน่าจะเป็น และอื่นๆ) ให้ความสำคัญกับการพัฒนาเป็นอย่างมาก ตรรกะหลายค่าซึ่งนอกเหนือจากค่าความจริงสองค่าที่ยอมรับในตรรกะดั้งเดิม - "จริง" และ "เท็จ" - อนุญาตให้ใช้ค่าความจริงหลายค่าได้ โปรดทราบว่าเนื่องจากธรรมชาติของตรรกะดั้งเดิมมีค่าสองค่า จึงเรียกอีกอย่างว่าตรรกะเชิงประพจน์ พัฒนาโดยนักตรรกศาสตร์ชาวโปแลนด์ เจ. ลูกาซีวิคซ์(1878–) ตรรกะสามค่ามีการแนะนำค่าที่สาม - “เป็นไปได้” (“เป็นกลาง”) เขาสร้างระบบ ตรรกะกิริยาช่วยด้วยความหมายว่า “เป็นไปได้” “เป็นไปไม่ได้” “จำเป็น” ฯลฯ พร้อมทั้ง สี่หลักและ ตรรกะที่มีค่าอนันต์. ส่วนที่มีแนวโน้ม ได้แก่ : ตรรกะความน่าจะเป็นซึ่งศึกษาข้อความที่มีความน่าจะเป็นหลายระดับตั้งแต่ 0 ถึง 1 ตรรกะของเวลาและคนอื่น ๆ. สิ่งที่สำคัญที่สุดสำหรับนิติศาสตร์คือส่วนของตรรกะกิริยาที่เรียกว่า ตรรกะทางทันตกรรมการสำรวจโครงสร้างของภาษาคำสั่งเช่น ข้อความที่มีความหมายว่า "บังคับ" "อนุญาต" "ห้าม" "ไม่แยแส" ซึ่งใช้กันอย่างแพร่หลายในกิจกรรมการออกกฎหมายและการบังคับใช้กฎหมาย

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

ตรรกะวิภาษวิธีศึกษากฎการพัฒนาความคิดของมนุษย์ตลอดจนหลักการและข้อกำหนดด้านระเบียบวิธีและข้อกำหนดที่เกิดขึ้นบนพื้นฐานของกฎเหล่านั้น สิ่งเหล่านี้รวมถึงความเที่ยงธรรมและความครอบคลุมของการพิจารณาเรื่อง หลักการของประวัติศาสตร์นิยม การแบ่งแยกของสิ่งหนึ่งไปสู่ด้านตรงข้าม การขึ้นจากนามธรรมไปสู่รูปธรรม หลักการของความสามัคคีของประวัติศาสตร์และตรรกะ ฯลฯ ตรรกะวิภาษวิธีทำหน้าที่ เป็นวิธีการทำความเข้าใจวิภาษวิธีของโลกวัตถุประสงค์

ตรรกะที่เป็นทางการและตรรกศาสตร์วิภาษวิธีศึกษาวัตถุเดียวกัน - ความคิดของมนุษย์ แต่แต่ละตรรกะก็มีหัวข้อการศึกษาเป็นของตัวเอง ซึ่งหมายความว่าตรรกะวิภาษวิธีไม่ได้และไม่สามารถแทนที่ตรรกะที่เป็นทางการได้ เหล่านี้เป็นศาสตร์แห่งการคิดสองศาสตร์ พัฒนาขึ้นจากการมีปฏิสัมพันธ์อย่างใกล้ชิดซึ่งแสดงให้เห็นอย่างชัดเจนในการฝึกฝนการคิดทางวิทยาศาสตร์และเชิงทฤษฎี ซึ่งใช้ในกระบวนการรับรู้ทั้งเครื่องมือเชิงตรรกะที่เป็นทางการและวิธีการพัฒนาด้วยตรรกศาสตร์วิภาษวิธี

ตรรกะที่เป็นทางการศึกษารูปแบบการคิด ระบุโครงสร้างร่วมของความคิดในเนื้อหาต่างๆ ตัวอย่างเช่น เมื่อพิจารณาถึงแนวคิด มันไม่ได้ศึกษาเนื้อหาเฉพาะของแนวคิดต่างๆ (ซึ่งเป็นงานของวิทยาศาสตร์พิเศษ) แต่เป็นแนวคิดที่เป็นรูปแบบหนึ่งของการคิด โดยไม่คำนึงถึงวัตถุประเภทใดที่คิดในแนวคิด เมื่อศึกษาการตัดสิน ตรรกะจะสรุปจากเนื้อหาเฉพาะ โดยระบุโครงสร้างทั่วไปของการตัดสินที่มีเนื้อหาต่างกัน ตรรกะที่เป็นทางการศึกษากฎที่กำหนดความถูกต้องเชิงตรรกะของการคิด โดยที่เป็นไปไม่ได้ที่จะบรรลุผลลัพธ์ที่สอดคล้องกับความเป็นจริงและรู้ความจริง. การคิดที่ไม่ปฏิบัติตามข้อกำหนดของตรรกะที่เป็นทางการนั้นไม่สามารถสะท้อนความเป็นจริงได้อย่างถูกต้อง ดังนั้นการศึกษาการคิด กฎและรูปแบบของมัน จะต้องเริ่มต้นด้วยตรรกะที่เป็นทางการ โดยวิธีการศึกษาหลักคือภาษาที่เป็นทางการบางอย่าง ซึ่งช่วยให้เราสามารถจัดกฎและรูปแบบการคิดอย่างเป็นทางการเพื่อการวิจัยโดยใช้วิธีของเราเอง

การพัฒนาตรรกะในจีนโบราณ อินเดีย และกรีซ

ให้เราอธิบายสั้นๆ เกี่ยวกับพัฒนาการของตรรกะในสมัยโบราณในประเทศจีนและอินเดีย ในประเทศจีน การพัฒนาอย่างรวดเร็วของตรรกะในอดีตเกิดขึ้นพร้อมกับการเกิดขึ้นในประเทศของโรงเรียนจำนวนมากที่แข่งขันและถกเถียงกันอย่างต่อเนื่อง ใช่แล้ว ผู้ร่วมสมัยของขงจื๊อ โมเจีย กลายเป็นที่รู้จักในฐานะผู้ก่อตั้งสำนักโมฮิสม์ (mo-chia) ผู้แทน

โรงเรียนนี้มุ่งเน้นไปที่การค้นหาต้นกำเนิดของเหตุผลที่น่าเชื่อถือและเงื่อนไขในความถูกต้อง ในส่วนของข้อโต้แย้ง ตัวแทนของโรงเรียนแห่งนี้ให้ความสำคัญกับการพัฒนามากกว่า

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

ตรรกะทางพุทธศาสนา

ตรรกะในภาษาสินธุสามารถสืบย้อนไปถึงตำราไวยากรณ์ในช่วงปลายศตวรรษที่ 5 ก่อนคริสต์ศักราช เช่นเดียวกับในประเทศจีนและกรีซ ตรรกะแยกออกจากปรัชญา สำนักปรัชญาอินเดียสองใน 6 แห่งเริ่มพัฒนาปัญหาความรู้เกี่ยวกับระเบียบวิธี - ตอนนั้นเองที่ตรรกะกลายเป็นวิทยาศาสตร์ที่แยกจากกัน ต่อมาการเคลื่อนไหวนี้ได้รับชื่อ Nyaya ซึ่งแปลว่า "ตรรกะ" ความสำเร็จหลักของสิ่งนี้

โรงเรียนสามารถเรียกได้ว่าเป็นการพัฒนาวิธีการทางตรรกะ ข้อความหลักของ Nyaya คือ Nyaya-sutri Akshapadi Guatami (คริสต์ศตวรรษที่ 2) ตัวแทนของ Nyaya มองเห็นหนทางเดียวที่จะหลุดพ้นจากความทุกข์ด้วยการครอบครองความรู้ที่เชื่อถือได้ ดังนั้นจึงไม่น่าแปลกใจที่พวกเขาพัฒนาวิธีการที่ซับซ้อนในการแยกแหล่งความรู้ที่เชื่อถือได้ออกจากแหล่งความรู้ที่ไม่น่าเชื่อถืออื่นๆ พวกเขาระบุแหล่งความรู้ที่เชื่อถือได้ 4 แหล่ง (เรียกว่าบรรพบุรุษ) ได้แก่ การรับรู้ การอนุมาน การเปรียบเทียบ และหลักฐาน ไม่รวมอยู่ในประเพณีเชิงตรรกะของโรงเรียน Vodian

ตรรกะทางพุทธศาสนา และนี่คือสิ่งที่กลายเป็นคู่ต่อสู้ที่สำคัญที่สุดของพวกเขา ใช่แล้ว นาการจัว ตัวแทนของตรรกะทางพุทธศาสนาได้พัฒนาข้อเสนอที่เรียกว่ากตุสโกติหรือเตตราเลมมา

แต่ตรรกะทางพุทธศาสนาถึงจุดสูงสุดในคำสอนของ Diangaga และสาวกธรรมกฤติ จุดศูนย์กลางของการวิจัยเชิงวิเคราะห์ของพวกเขาคือการกำหนดความพิเศษทางตรรกะที่จำเป็น การให้เหตุผลที่พวกเขาแนะนำหลักคำสอนของยุคหรือความแตกต่าง กฎสำหรับการรวมคุณลักษณะต่างๆ ในคำจำกัดความและการยกเว้น

ออกจากเขา ต่อมาโรงเรียนนาวาญาญ่าก็เกิดขึ้นจากทฤษฎีเหล่านี้

ตอนนี้ควรพิจารณารายละเอียดเกี่ยวกับตรรกะของกรีกโบราณ ผู้ก่อตั้งถือเป็นนักปรัชญากรีกโบราณอริสโตเติลนักสารานุกรมผู้ยิ่งใหญ่ผู้แยกแยะตรรกะจากวิทยาศาสตร์อื่น ๆ ถือว่าเป็นวิทยาศาสตร์ที่ช่วยให้ทุกคนได้รับการศึกษาปัญหาใด ๆ เนื่องจากเป็นตรรกะที่ทำให้สามารถระบุได้ ข้อสรุปคืออะไรเพื่อเน้นประเภทและองศาของมัน เรารู้จักวิธีนี้อย่างกว้างขวางว่าเป็นนิรนัย แม้ว่าอริสโตเติลจะเรียกมันว่า "วิธีการไซโลโลจิคัล" ก็ตาม เพราะเขาหยิบยกความเป็นไปได้ในการสร้างข้อโต้แย้งใดๆ ก็ตามในรูปแบบของการให้เหตุผล (นั่นคือ การอ้างเหตุผล) มันเป็นการศึกษาลัทธิอ้างเหตุผลอย่างแม่นยำที่อริสโตเติลอุทิศงานเชิงตรรกะของเขาให้ อันที่จริง คำสอนของอริสโตเติลเกี่ยวกับลัทธิไซโลจิสต์เป็นพื้นฐานสำหรับขอบเขตหนึ่งของตรรกะทางคณิตศาสตร์สมัยใหม่ นั่นคือ ตรรกะของภาคแสดง เช่นเดียวกับอริสโตเติล ตัวแทนของลัทธิสโตอิกนิยมและโซฟิสตรี้ก็สนใจปัญหาของตรรกศาสตร์เช่นกัน ในบรรดาสโตอิกเป็นสิ่งที่ควรค่าแก่การกล่าวถึง Chrysippus ซึ่งมีแนวคิดเรื่องตรรกศาสตร์ของสโตอิก ความสนใจหลักของเขาคือการศึกษารูปแบบการให้เหตุผลดังกล่าวซึ่งมีข้อความเชื่อมโยงถึงกัน ตัวอย่างเช่น คำเหล่านี้เป็นภาษาธรรมชาติ: “ถ้า” แล้ว”, “.และ”, “.หรือ” ฯลฯ ในการวิจัยเชิงตรรกะสมัยใหม่ สิ่งเหล่านี้เรียกว่า "สหภาพเชิงตรรกะ" นอกจากนี้ในบรรดานักวิทยาศาสตร์ที่ยังคงพัฒนาแนวคิดของอริสโตเติลต่อไปก็ควรค่าแก่การจดจำนักปรัชญาและนักตรรกศาสตร์เช่น Porfiry หนึ่งในความสำเร็จของเขาในด้านตรรกะถือได้ว่าเป็นการพัฒนาต้นไม้ที่เรียกว่า Porphyry ซึ่งเป็นแผนภาพที่แสดงให้เห็นถึงความสัมพันธ์ของการอยู่ใต้บังคับบัญชาระหว่างแนวคิดต่างๆ แต่เขาเป็นที่รู้จักไม่เพียงแต่ในเรื่องนี้เท่านั้น แต่ยังรวมถึง "Introduction to Aristotle’s Doctrine of Categories" ซึ่งยังคงใช้เป็นโหมโรงของ "Categories" ของ Aristotle

การพัฒนาตรรกะที่ค่อนข้างน่าสนใจสามารถพบได้ในตรรกะของเพลโต นักปรัชญาชาวกรีกผู้มีชื่อเสียงอีกคนหนึ่ง ใช่ เขาเป็นคนที่สังเกตเห็นว่า "เกณฑ์พื้นฐาน" ของ Protagoras ซึ่งก็คือการตัดสินของบุคคลเป็นเครื่องวัดความจริง นั้นไม่ถูกต้อง เนื่องจากพื้นฐานของการตัดสินไม่ได้ขึ้นอยู่กับเจตจำนงส่วนตัวของบุคคล ตั้งแต่นั้นมา จำเป็นต้องยอมรับความจริงของความขัดแย้งที่ชัดเจน ดังนั้นการตัดสินใดๆ จึงต้องมีเหตุผล ความคิดเห็นของนักปรัชญาดังกล่าวกลายเป็นทั้งการวิพากษ์วิจารณ์ลัทธิซับซ้อนและเป็นพื้นฐานของ "หลักการของการไม่ขัดแย้งกัน" ของอริสโตเติล สำนักของนักโซฟิสต์เป็นกลุ่มแรกที่สนใจในการตระหนักถึงความเป็นไปได้ของการตระหนักถึงแนวคิดเกี่ยวกับตรรกะในฐานะวิทยาศาสตร์ นักปรัชญาเหล่านี้เป็นคนแรกที่แยกความแตกต่างขอบเขตของธรรมชาติและสังคม - "ph'usis" และ "nomos" และกำหนดขอบเขตทั่วไปของการคิดเชิงตรรกะ พวกเขายังเป็นทนายความกลุ่มแรกๆ ที่ใช้ตรรกะในทางปฏิบัติอีกด้วย Stagirite หนึ่งในตัวแทนของลัทธิโซฟิสม์ได้กำหนดแนวคิดของตรรกะที่เป็นทางการ โครงสร้าง กฎพื้นฐาน และเวกเตอร์ของการพัฒนาที่ตามมา ซึ่งกำหนดชะตากรรมและสถานที่ของวิทยาศาสตร์นี้มาจนถึงทุกวันนี้ แม้ว่าข้อเท็จจริงจะผ่านไปหลายศตวรรษแล้วนับตั้งแต่การตายของนักคิด แต่ตรรกะที่เป็นทางการยังคงรักษาแนวคิดหลักของเขาไว้ นักโซฟิสต์มุ่งความสนใจไปที่การวิเคราะห์ข้อผิดพลาดเชิงตรรกะในการให้เหตุผลของผู้คน เป็นเรื่องปกติที่พวกเขาสอนเรื่องเงิน "ศิลปะแห่งการหลอกลวงผู้คน" - การเผยแพร่แผนการให้เหตุผลที่ไม่ถูกต้องโดยมีกฎแห่งตรรกะที่ละเมิดเป็นสิ่งที่ถูกต้อง นอกจากนี้ นักโซฟิสต์ยังใช้ความรู้ของตนอย่างชำนาญเพื่อทำให้คู่ต่อสู้ตกอยู่ในสถานการณ์ที่ไม่เอื้ออำนวยในระหว่างการโต้เถียงด้วยการถามคำถาม ซึ่งเป็นคำตอบที่ยังคงนำบุคคลนั้นเข้าสู่กับดัก ปัจจุบัน ความซับซ้อนหมายถึงข้อผิดพลาดเชิงตรรกะที่ทำขึ้นโดยเจตนาเพื่อทำให้คู่ต่อสู้เข้าใจผิดหรือเพื่อยืนยันข้อความที่ไม่ถูกต้อง

นักโซฟิสต์ให้ความสนใจอย่างมากกับการวิเคราะห์เชิงสัญศาสตร์ Prodicus หนึ่งในตัวแทนของ School of Sophistry ถือว่า "การสอนภาษา" และการใช้ชื่อและตำแหน่งที่ถูกต้องค่อนข้างสำคัญ

จริงอยู่ที่พวกโซฟิสต์ถูกวิพากษ์วิจารณ์ การวิพากษ์วิจารณ์ของอริสโตเติลเองนั้นค่อนข้างสำคัญ: เขาเรียกลัทธิโซฟิสม์ว่า "ข้อพิสูจน์ที่วางแผนไว้" ซึ่งความถูกต้องของข้อสรุปนั้นขึ้นอยู่กับความรู้สึกส่วนตัวเท่านั้นซึ่งเกิดจากความไม่เพียงพอหรือขาดการวิเคราะห์ความหมายเชิงตรรกะ และอริสโตเติลเชื่อมโยงตรรกะที่ดูเหมือนสัมบูรณ์ของนักโซฟิสต์เป็นหลักโดยมีข้อผิดพลาดที่ปกปิดอย่างดี - สัญศาสตร์ (เนื่องจากภาษาเชิงเปรียบเทียบ, คำพ้องเสียง, คำพ้องเสียง, ความหลากหลายของคำที่ละเมิดความชัดเจนของความคิด

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

คำสอนเชิงตรรกะของตะวันออกค่อนข้างดั้งเดิมซึ่งก่อตั้งขึ้นภายใต้อิทธิพลที่สำคัญของความเชื่อทางศาสนา แต่ในบรรดานักคิดของภูมิภาคนี้ นักวิทยาศาสตร์อย่างอิบนุเสนาและอิบนุรุดชสามารถแยกออกมาได้ พวกเขาโต้เถียงกันอยู่ตลอดเวลาเพราะอิบัน รุดช์เป็นผู้สนับสนุน “ลัทธิอริสโตเติ้ลอันแท้จริง” เกี่ยวกับเหตุผลของอิบนุ เซน มีการตีความได้หลายประการ ใช่ ตามที่กล่าวไว้ในข้อแรก อิบนุเสนาแย้งว่าตรรกะมีมาก่อนวิทยาศาสตร์ทั้งหมด ซึ่งจะถูกแบ่งออกเป็นทฤษฎี ซึ่งควรรับประกันความเป็นอยู่ของมนุษย์และวิทยาศาสตร์เชิงปฏิบัติ ตามการตีความผลงานของเขาครั้งที่สอง เขาแบ่งวิทยาศาสตร์ทั้งหมดออกเป็นเชิงปฏิบัติ แต่เป็นเชิงทฤษฎี ตรรกะของอิบนุ เซนประกอบด้วยสี่ส่วน: หลักคำสอนของแนวคิด การตัดสิน การอนุมาน และการโต้แย้ง เขาถือว่า “การสอนเชิงตรรกะเป็นวิธีหนึ่งในการบรรลุความจริง เป็นวิธีการเอาชนะการบิดเบือนและข้อผิดพลาด” เกี่ยวกับอิบนุเสนา “นี่คือเครื่องมือที่เปรียบเทียบความจริงและความเท็จ” ยิ่งไปกว่านั้น เขามั่นใจว่า “หมวดหมู่ที่เป็นตรรกะ แต่หลักการต้องสอดคล้องกับสิ่งต่างๆ” อิบันเสนามีบทบาทสำคัญในการเผยแพร่และเผยแพร่คำสอนของอริสโตเติลและในการพัฒนาการคิดอย่างมีเหตุผล เขาพัฒนาปัญหาเช่นปัญหาของแต่ละบุคคลและข้อผิดพลาดทั่วไปเชิงตรรกะการตัดสิน เขาแบ่งส่วนหลังออกเป็นหมวดหมู่ การรวมอย่างมีเงื่อนไข และการกระจายอย่างมีเงื่อนไข นั่นคือเราสามารถสรุปได้ว่าการสอนเชิงตรรกะของตะวันออกไม่ได้ด้อยไปกว่าการพัฒนาของกรีซ อินเดีย หรือจีนเลย

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

มรดกของนักวิทยาศาสตร์ นักตรรกศาสตร์ และนักปรัชญาชาวรัสเซียในช่วงเวลานี้ก็มีความสำคัญเช่นกัน พวกเขาหยิบยกแนวคิดและทฤษฎีดั้งเดิมจำนวนหนึ่งขึ้นมา การพัฒนาในด้านตรรกะโดยนักวิทยาศาสตร์เช่น Lomonosov, Radishchev, Chernyshevsky เป็นที่รู้จักในปัจจุบัน

ขั้นตอนปัจจุบันของการพัฒนาตรรกะ

ตรรกะสมัยใหม่ถือกำเนิดขึ้นในช่วงปลายศตวรรษที่ 19 – ต้นศตวรรษที่ 20 แต่นักวิทยาศาสตร์ชาวเยอรมัน G. Leibniz ยังถือเป็นผู้ก่อตั้ง แม้ว่ากิจกรรมของเขาจะมีขึ้นตั้งแต่ศตวรรษที่ 17 แต่เราก็สามารถพูดได้อย่างมั่นใจว่าแนวคิดของเขาล้ำหน้ามากจนเป็นพื้นฐานของตรรกะสมัยใหม่ แม้ว่าพวกเขาจะไม่ถูกรับรู้โดยคนรุ่นเดียวกันของไลบนิซก็ตาม มันคือไลบ์นิซในงานของเขาเรื่อง "On the Combinatorial Art" ซึ่งหยิบยกแนวคิดในการสร้างภาษาประดิษฐ์พิเศษที่จะทำให้สามารถเปลี่ยนการใช้เหตุผลเป็นห่วงโซ่สัญญาณบางประเภทได้ ในโอกาสนี้เขาเขียนว่า: “วิธีเดียวที่จะปรับปรุง

ข้อสรุปของเราคือการทำให้พวกเขาเป็นเหมือนนักคณิตศาสตร์เชิงภาพเพื่อที่คุณจะได้ค้นพบข้อผิดพลาดด้วยตาของคุณและหากมีข้อพิพาทเกิดขึ้นในหมู่ผู้คน คุณเพียงแค่ต้องพูดว่า: "มาทำคณิตศาสตร์กันเถอะ" - จากนั้นโดยไม่ต้อง พิธีการพิเศษใด ๆ ก็จะได้เห็นกันว่าใครถูก” กล่าวอีกนัยหนึ่ง Leibniz เสนอให้สร้างสิ่งที่เหมือนกัน

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

แนวคิดการปฏิวัติอีกประการหนึ่งของไลบ์นิซคือทฤษฎีของ "โลกที่เป็นไปได้" ซึ่งเป็นพื้นฐานสำหรับการสร้างความหมายสมัยใหม่สำหรับตรรกะกิริยาช่วย

เมื่อเปรียบเทียบตรรกะของอริสโตเติลกับตรรกะสมัยใหม่ เราสามารถพูดได้ว่ามีความแตกต่างกันอย่างมาก เนื่องจากในปัจจุบัน เราเห็นการขยายความสนใจของนักตรรกวิทยาออกไปอย่างมาก การวิเคราะห์ส่วนนั้นของวัสดุเริ่มต้นขึ้น ซึ่งโดยทั่วไปครั้งหนึ่งถูกปฏิเสธความเป็นไปได้ของการวิเคราะห์เชิงตรรกะ นอกเหนือจากการใช้เหตุผลทางวิทยาศาสตร์เชิงทฤษฎีแล้ว การใช้เหตุผลเชิงปฏิบัติยังได้รับการพัฒนาซึ่งควรให้คำอธิบายสำหรับการกระทำของมนุษย์ ตรรกะส่วนใหม่กำลังเกิดขึ้น ซึ่งมีความสัมพันธ์ใกล้ชิดและคงที่กับความรู้ทางวิทยาศาสตร์สาขาอื่นๆ เช่น คณิตศาสตร์ ภาษาศาสตร์ ปรัชญา กฎหมาย วิทยาการคอมพิวเตอร์ เศรษฐศาสตร์ จิตวิทยา อย่างไรก็ตาม เราไม่สามารถพูดได้ว่าตรรกะสมัยใหม่เป็นการคัดค้านตรรกะของอริสโตเติลอย่างสมบูรณ์และเป็นหมวดหมู่ แต่เป็นความต่อเนื่องของมัน นักวิทยาศาสตร์หลายคนที่ศึกษาประวัติความเป็นมาของตรรกะเห็นด้วยกับเรื่องนี้ “ในการพัฒนาตรรกะสมัยใหม่ ตรรกะของอริสโตเติลดั้งเดิมเข้ามาแทนที่ในรูปแบบที่เรียบง่ายของปัญหาที่กำหนดไว้ล่วงหน้าโดยหัวเรื่อง ในเรื่องนี้มีความคล้ายคลึงกันระหว่างเลขคณิตของชนเผ่าดึกดำบรรพ์กับคณิตศาสตร์สมัยใหม่” A. Whitehead เขียน

ตรรกะเบื้องต้นในขั้นตอนนี้มุ่งเน้นไปที่การวิเคราะห์การใช้เหตุผลทางคณิตศาสตร์โดยเฉพาะ เป็นช่วงเวลาของการพัฒนาตรรกะสมัยใหม่ที่เรียกว่าคลาสสิก นักวิชาการที่โดดเด่นเช่น D. Boole, W. S. Jevons, P. S. Poretsky, G. Frege, C. Pierce, B. Russell, Ya. Lukasevich และนักคณิตศาสตร์และนักตรรกศาสตร์อื่น ๆ อีกมากมายทำงานในทิศทางของตรรกะเชิงสัญลักษณ์ (หรือทางคณิตศาสตร์) พวกเขาแนะนำวิธีการเหล่านั้นที่ใช้กันทั่วไปในคณิตศาสตร์เข้าสู่ตรรกะ เป็นผลให้มีการสร้างสาขาของตรรกะเช่นตรรกะเชิงประพจน์และตรรกะภาคแสดง งานแรกของตรรกะคลาสสิกได้รับการยอมรับว่าเป็น "หลักการทางคณิตศาสตร์" โดยรัสเซลล์และไวท์เฮด

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

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

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

เราเชื่อว่าการคิดเชิงตรรกะของบุคคลและความสามารถในการรับรู้ควรพัฒนาอย่างเป็นระบบและบนพื้นฐานของเครื่องมือคำศัพท์พิเศษและเครื่องมือเชิงตรรกะ ในระหว่างชั้นเรียนของการฝึกอบรมออนไลน์นี้ คุณจะได้เรียนรู้เกี่ยวกับวิธีการศึกษาด้วยตนเองเพื่อพัฒนาการคิดเชิงตรรกะ ทำความคุ้นเคยกับหมวดหมู่หลัก หลักการ คุณสมบัติ และกฎของตรรกะ รวมถึงค้นหาตัวอย่างและแบบฝึกหัดสำหรับการประยุกต์ใช้ความรู้ที่ได้รับและ ทักษะ

การคิดเชิงตรรกะคืออะไร?

เพื่ออธิบายว่า "การคิดเชิงตรรกะ" คืออะไร เราจะแบ่งแนวคิดนี้ออกเป็นสองส่วน: การคิดและตรรกะ ทีนี้มานิยามแต่ละส่วนประกอบเหล่านี้กัน

ความคิดของมนุษย์- นี่คือกระบวนการทางจิตในการประมวลผลข้อมูลและสร้างการเชื่อมโยงระหว่างวัตถุ คุณสมบัติ หรือปรากฏการณ์ของโลกโดยรอบ การคิดช่วยให้บุคคลค้นพบความเชื่อมโยงระหว่างปรากฏการณ์แห่งความเป็นจริง แต่เพื่อให้ความเชื่อมโยงที่พบสะท้อนสภาพความเป็นจริงอย่างแท้จริง การคิดจะต้องเป็นกลาง ถูกต้อง หรือกล่าวอีกนัยหนึ่งคือ สมเหตุสมผล นั่นคือ อยู่ภายใต้กฎหมาย ของตรรกะ

ลอจิกแปลจากภาษากรีกมีความหมายหลายประการ: "ศาสตร์แห่งการคิดที่ถูกต้อง", "ศิลปะแห่งการใช้เหตุผล", "คำพูด", "การใช้เหตุผล" และแม้แต่ "ความคิด" ในกรณีของเรา เราจะดำเนินการต่อจากคำจำกัดความที่ได้รับความนิยมมากที่สุดของตรรกะในฐานะวิทยาศาสตร์เชิงบรรทัดฐานเกี่ยวกับรูปแบบ วิธีการ และกฎของกิจกรรมทางจิตทางปัญญาของมนุษย์ ตรรกะศึกษาวิธีการบรรลุความจริงในกระบวนการรับรู้ในทางอ้อม ไม่ใช่จากประสบการณ์ทางประสาทสัมผัส แต่จากความรู้ที่ได้รับมาก่อนหน้านี้ จึงสามารถนิยามได้ว่าเป็นศาสตร์แห่งวิธีการได้รับความรู้เชิงอนุมาน งานหลักของตรรกะประการหนึ่งคือการกำหนดวิธีการสรุปจากสถานที่ที่มีอยู่และรับความรู้ที่แท้จริงเกี่ยวกับเรื่องของความคิดเพื่อทำความเข้าใจความแตกต่างของเรื่องของความคิดที่กำลังศึกษาและความสัมพันธ์กับแง่มุมอื่น ๆ ของความคิดให้ดีขึ้น ปรากฏการณ์ที่อยู่ระหว่างการพิจารณา

ตอนนี้เราสามารถนิยามการคิดเชิงตรรกะได้แล้ว

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

นอกจากนี้ยังมีการคิดเชิงตรรกะหลายประเภท เราแสดงรายการ โดยเริ่มจากวิธีที่ง่ายที่สุด:

การคิดเป็นรูปเป็นร่างเชิงตรรกะ

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

เพื่อให้เข้าใจว่าความคิดประเภทนี้พัฒนาไปในตัวคุณอย่างไร เราขอแนะนำให้คุณทำแบบทดสอบ IQ "เมทริกซ์แบบก้าวหน้าของ Raven"

แบบทดสอบ Raven's เป็นระดับเมทริกซ์แบบก้าวหน้าสำหรับประเมิน IQ ความสามารถทางจิต และการคิดเชิงตรรกะ พัฒนาขึ้นในปี 1936 โดย John Raven และ Roger Penrose การทดสอบนี้สามารถประเมินไอคิวของผู้ที่ถูกทดสอบได้อย่างเป็นกลางที่สุด โดยไม่คำนึงถึงระดับการศึกษา ชนชั้นทางสังคม ประเภทของกิจกรรม ลักษณะทางภาษาและวัฒนธรรม นั่นคืออาจกล่าวได้ว่ามีความเป็นไปได้สูงที่ข้อมูลที่ได้รับจากการทดสอบนี้จากคนสองคนจากส่วนต่างๆ ของโลกจะประเมิน IQ ของพวกเขาอย่างเท่าเทียมกัน ความเที่ยงธรรมของการประเมินนั้นมั่นใจได้จากข้อเท็จจริงที่ว่าการทดสอบนี้อิงจากรูปภาพตัวเลขเท่านั้น และเนื่องจากเมทริกซ์ของ Raven อยู่ในแบบทดสอบสติปัญญาที่ไม่ใช่คำพูด งานจึงไม่มีข้อความ

การทดสอบประกอบด้วย 60 ตาราง คุณจะได้รับภาพวาดที่มีตัวเลขเชื่อมโยงถึงกันด้วยความสัมพันธ์บางอย่าง หายไปหนึ่งรูป โดยแสดงไว้ที่ด้านล่างของภาพ ท่ามกลางอีก 6-8 รูป งานของคุณคือสร้างรูปแบบที่เชื่อมโยงตัวเลขในภาพและระบุจำนวนตัวเลขที่ถูกต้องโดยเลือกจากตัวเลือกที่เสนอ ตารางแต่ละชุดประกอบด้วยงานที่เพิ่มความยากขึ้น ในขณะเดียวกัน ความซับซ้อนของประเภทของงานจะถูกสังเกตจากซีรีส์หนึ่งไปอีกซีรีส์หนึ่ง

การคิดเชิงตรรกะเชิงนามธรรม

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

การคิดด้วยวาจาและตรรกะ

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

การใช้ตรรกะ

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

ดังที่ได้กล่าวไปแล้ว เรามักจะพยายามคิดอย่างมีเหตุผลในระดับสัญชาตญาณ บางคนทำได้ดี บางคนก็แย่ลง แต่เมื่อเชื่อมต่ออุปกรณ์ลอจิคัล เป็นการดีกว่าที่จะรู้ว่าเราใช้เทคนิคทางจิตอะไร เนื่องจากในกรณีนี้เราสามารถ:

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

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

ความสามารถในการคิดอย่างมีเหตุผลเป็นการผสมผสานทักษะต่างๆ ในการใช้การกระทำทางจิตต่างๆ และรวมถึง:

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

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

จะเรียนรู้สิ่งนี้ได้อย่างไร?

การคิดเชิงตรรกะไม่ได้มอบให้เราตั้งแต่แรกเกิด แต่สามารถเรียนรู้ได้เท่านั้น ตรรกะในการสอนมีสองประเด็นหลัก: เชิงทฤษฎีและเชิงปฏิบัติ

ตรรกะทางทฤษฎี ซึ่งสอนในมหาวิทยาลัย จะแนะนำให้นักเรียนรู้จักกับหมวดหมู่พื้นฐาน กฎหมาย และกฎเกณฑ์ของตรรกศาสตร์

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

หากต้องการเชี่ยวชาญตรรกะอย่างแท้จริง คุณต้องผสมผสานแง่มุมทางทฤษฎีและด้านประยุกต์เข้าด้วยกัน บทเรียนและแบบฝึกหัดควรมุ่งเป้าไปที่การพัฒนาเครื่องมือเชิงตรรกะอัตโนมัติที่ใช้งานง่าย และรวบรวมความรู้ที่ได้รับเพื่อนำไปใช้ในสถานการณ์จริง

ตามหลักการนี้ เราได้รวบรวมการฝึกอบรมออนไลน์ที่คุณกำลังอ่านอยู่ตอนนี้ จุดประสงค์ของหลักสูตรนี้คือเพื่อสอนให้คุณคิดอย่างมีเหตุผลและใช้วิธีการคิดเชิงตรรกะ ชั้นเรียนมุ่งเป้าไปที่การแนะนำพื้นฐานของการคิดเชิงตรรกะ (อรรถาภิธาน ทฤษฎี วิธีการ แบบจำลอง) การดำเนินการทางจิตและรูปแบบการคิด กฎของการโต้แย้ง และกฎแห่งตรรกะ นอกจากนี้ แต่ละบทเรียนยังมีงานและแบบฝึกหัดเพื่อฝึกให้คุณใช้ความรู้ที่ได้รับในทางปฏิบัติ

บทเรียนลอจิก

หลังจากรวบรวมเนื้อหาทางทฤษฎีที่หลากหลาย ตลอดจนได้ศึกษาและปรับประสบการณ์การสอนรูปแบบการคิดเชิงตรรกะประยุกต์ เราได้เตรียมชุดบทเรียนสำหรับการเรียนรู้ทักษะนี้อย่างเต็มที่

เราจะอุทิศบทเรียนแรกของหลักสูตรให้กับหัวข้อที่ซับซ้อน แต่สำคัญมาก - การวิเคราะห์เชิงตรรกะของภาษา เป็นเรื่องที่ควรกล่าวถึงทันทีว่าหัวข้อนี้อาจดูเป็นนามธรรมสำหรับหลาย ๆ คน เต็มไปด้วยคำศัพท์เฉพาะทาง และไม่สามารถนำมาใช้ได้ในทางปฏิบัติ ไม่ต้องกลัว! การวิเคราะห์เชิงตรรกะของภาษาเป็นพื้นฐานของระบบตรรกะและการให้เหตุผลที่ถูกต้อง คำศัพท์ที่เราเรียนรู้ที่นี่จะกลายเป็นตัวอักษรเชิงตรรกะของเรา หากไม่มีความรู้ เราก็ไม่สามารถไปได้ไกลกว่านี้ แต่เราจะค่อยๆ เรียนรู้ที่จะใช้มันอย่างง่ายดาย

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

ในสองบทเรียนแรก เรากล่าวว่างานของตรรกะคือการช่วยให้เราเปลี่ยนจากการใช้ภาษาตามสัญชาตญาณ ที่มาพร้อมกับข้อผิดพลาดและความขัดแย้ง มาเป็นการใช้อย่างมีระเบียบมากขึ้น โดยไม่มีความคลุมเครือ ความสามารถในการจัดการแนวคิดอย่างถูกต้องเป็นหนึ่งในทักษะที่จำเป็นสำหรับสิ่งนี้ ทักษะที่สำคัญไม่แพ้กันอีกประการหนึ่งคือความสามารถในการกำหนดอย่างถูกต้อง ในบทเรียนนี้ เราจะบอกวิธีเรียนรู้สิ่งนี้และวิธีหลีกเลี่ยงข้อผิดพลาดที่พบบ่อยที่สุด

การตัดสินอย่างมีเหตุผลเป็นรูปแบบหนึ่งของการคิดซึ่งมีบางสิ่งที่ยืนยันหรือปฏิเสธเกี่ยวกับโลกรอบตัว วัตถุ ปรากฏการณ์ ตลอดจนความสัมพันธ์และความเชื่อมโยงระหว่างสิ่งเหล่านั้น การตัดสินในตรรกะประกอบด้วยประธาน (สิ่งที่เกี่ยวกับการตัดสิน) ภาคแสดง (สิ่งที่พูดเกี่ยวกับประธาน) โคปูลา (สิ่งที่เชื่อมโยงประธานและภาคแสดง) และปริมาณ (ขอบเขตของประธาน) การตัดสินอาจมีหลายประเภท: ง่ายและซับซ้อน, เด็ดขาด, ทั่วไป, โดยเฉพาะ, ส่วนบุคคล รูปแบบของการเชื่อมโยงระหว่างประธานและภาคแสดงก็แตกต่างกันเช่นกัน: ความเท่าเทียมกัน จุดตัด การอยู่ใต้บังคับบัญชา และความเข้ากันได้ นอกจากนี้ ภายในกรอบของการตัดสินแบบรวม (ซับซ้อน) สามารถมีความเชื่อมโยงของตนเองได้ ซึ่งกำหนดประเภทการตัดสินที่ซับซ้อนอีกหกประเภท ความสามารถในการคิดอย่างมีเหตุมีผลทำให้เกิดความสามารถในการสร้างการตัดสินประเภทต่างๆ ได้อย่างถูกต้อง เข้าใจองค์ประกอบโครงสร้าง คุณลักษณะ ความสัมพันธ์ระหว่างการตัดสิน และตรวจสอบว่าการตัดสินนั้นเป็นจริงหรือเท็จ

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

การอนุมานเป็นรูปแบบการคิดที่สาม ซึ่งจากข้อเสนอหนึ่ง สองหรือมากกว่านั้น เรียกว่าสถานที่ และข้อเสนอใหม่ เรียกว่าข้อสรุปหรือข้อสรุป ตามมา การอนุมานแบ่งออกเป็นสามประเภท: การอนุมานแบบนิรนัย, แบบอุปนัย และแบบอะนาล็อก ในการอนุมานแบบนิรนัย (deduction) ข้อสรุปจะถูกดึงมาจากกฎทั่วไปสำหรับกรณีเฉพาะ การอุปนัยคือการอนุมานซึ่งกฎทั่วไปได้มาจากหลายกรณีโดยเฉพาะ ในการอนุมานโดยการเปรียบเทียบ โดยอาศัยความคล้ายคลึงกันของวัตถุในลักษณะบางอย่าง จะมีการสรุปเกี่ยวกับความคล้ายคลึงกันในลักษณะอื่น ๆ ในบทเรียนนี้ คุณจะคุ้นเคยกับการอนุมานทุกประเภทและประเภทย่อย และเรียนรู้วิธีสร้างความสัมพันธ์ระหว่างเหตุและผลต่างๆ

บทเรียนนี้จะเน้นไปที่การอนุมานแบบหลายสถานที่ เช่นเดียวกับในกรณีของข้อสรุปแบบสถานที่ตั้งเดียว ข้อมูลที่จำเป็นทั้งหมดในรูปแบบที่ซ่อนอยู่ก็จะปรากฏอยู่ในสถานที่แล้ว อย่างไรก็ตาม เนื่องจากขณะนี้จะมีสถานที่หลายแห่ง วิธีการแยกสิ่งเหล่านั้นจึงมีความซับซ้อนมากขึ้น ดังนั้นข้อมูลที่ได้รับโดยสรุปจึงดูไม่สำคัญ นอกจากนี้ ควรสังเกตว่ามีการอนุมานแบบหลายสถานที่หลายประเภท เราจะเน้นไปที่การอ้างเหตุผลเท่านั้น พวกเขาแตกต่างกันตรงที่ทั้งในสถานที่และในข้อสรุปพวกเขามีข้อความแสดงที่มาที่เป็นหมวดหมู่ และขึ้นอยู่กับการมีอยู่หรือไม่มีคุณสมบัติบางอย่างในวัตถุ พวกเขาอนุญาตให้ใครคนหนึ่งได้ข้อสรุปเกี่ยวกับการมีอยู่หรือไม่มีคุณสมบัติอื่น ๆ ในนั้น

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

วิธีการเรียน?

บทเรียนพร้อมแบบฝึกหัดทั้งหมดจะแล้วเสร็จภายใน 1-3 สัปดาห์โดยเชี่ยวชาญเนื้อหาทางทฤษฎีและฝึกฝนเพียงเล็กน้อย แต่เพื่อพัฒนาการคิดเชิงตรรกะ สิ่งสำคัญคือต้องศึกษาอย่างเป็นระบบ อ่านให้มาก และฝึกฝนอย่างต่อเนื่อง

เพื่อให้ได้ผลสูงสุด เราขอแนะนำให้คุณอ่านเนื้อหาทั้งหมดก่อน โดยใช้เวลา 1-2 เย็นกับเนื้อหานั้น จากนั้นให้เรียนวันละ 1 บทเรียน โดยทำแบบฝึกหัดที่จำเป็นและปฏิบัติตามคำแนะนำที่แนะนำ หลังจากที่คุณเชี่ยวชาญบทเรียนทั้งหมดแล้ว ให้ทำซ้ำอย่างมีประสิทธิภาพเพื่อจดจำเนื้อหาได้เป็นเวลานาน ต่อไป พยายามใช้เทคนิคการคิดเชิงตรรกะบ่อยขึ้นในชีวิต เมื่อเขียนบทความ จดหมาย เมื่อติดต่อสื่อสาร ในข้อพิพาท ในธุรกิจ และแม้แต่ในเวลาว่าง เสริมความรู้ของคุณด้วยการอ่านหนังสือและตำราเรียน รวมถึงการใช้เนื้อหาเพิ่มเติมซึ่งจะกล่าวถึงด้านล่าง

วัสดุเพิ่มเติม

นอกจากบทเรียนในส่วนนี้แล้ว เรายังพยายามเลือกเนื้อหาที่เป็นประโยชน์มากมายในหัวข้อที่กำลังพิจารณา:

ปัญหาลอจิก
ทดสอบการคิดเชิงตรรกะ
เกมลอจิก;
คนที่ฉลาดที่สุดในรัสเซียและทั่วโลก
บทเรียนวิดีโอและคลาสมาสเตอร์

ตลอดจนหนังสือและตำราเรียน บทความ คำคม อบรมเสริม

หนังสือและตำราเกี่ยวกับตรรกะ

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

"ตรรกะประยุกต์".นิโคไล นิโคลาเยวิช เนเปย์โวดา;
"ตำราลอจิก".จอร์จี้ อิวาโนวิช เชลปานอฟ;
"ตรรกะ: บันทึกการบรรยาย"มิทรีชาดริน;
“ตรรกะ. หลักสูตรการฝึกอบรม" (ซับซ้อนด้านการศึกษาและระเบียบวิธี)มิทรี อเล็กเซวิช กูเซฟ;
“ตรรกะสำหรับทนายความ” (รวบรวมปัญหา)นรก. เก็ทมาโนวา;

1) คำว่า "ตรรกะ" หมายถึงอะไร? ตรรกะเป็นศาสตร์แห่งวิธีการใช้เหตุผล วิธีการ และกฎแห่งการคิดที่ถูกต้อง

2) เรื่องของตรรกะคืออะไร? "รูปแบบตรรกะ" คืออะไร? แสดงรายการกฎของรูปแบบคลาสสิก ตรรกะ. ในขั้นต้นกฎและรูปแบบของการคิดที่ถูกต้องได้รับการศึกษาภายในขอบเขตของการปราศรัยซึ่งเป็นหนึ่งในวิธีการมีอิทธิพลต่อจิตใจของผู้คนโน้มน้าวพวกเขาถึงความเหมาะสมของพฤติกรรมบางอย่าง นี่เป็นกรณีในอินเดียโบราณ จีนโบราณ กรีกโบราณ โรมโบราณ และรัสเซียในยุคกลาง อย่างไรก็ตาม ในศิลปะแห่งการพูดจาไพเราะนั้น มุมมองเชิงตรรกะยังคงถูกนำเสนอในฐานะผู้ใต้บังคับบัญชา เนื่องจากเทคนิคเชิงตรรกะไม่ได้ให้บริการเป้าหมายของการบรรลุความจริงมากนักเท่ากับเป้าหมายของการโน้มน้าวใจ ผู้ชม.ตรรกะที่เป็นทางการเป็นศาสตร์แห่งกฎและรูปแบบของการคิดที่ถูกต้อง รูปแบบตรรกะของความคิดเฉพาะคือโครงสร้างของความคิดนี้เช่น วิธีการเชื่อมต่อส่วนประกอบต่างๆ รูปแบบตรรกะเป็นวิธีการเชื่อมโยงส่วนที่มีความหมายของการให้เหตุผล (การพิสูจน์ ข้อสรุป ฯลฯ) ตามหลักการพื้นฐานของตรรกะ ความถูกต้องของการให้เหตุผลขึ้นอยู่กับรูปแบบเท่านั้นและไม่ขึ้นอยู่กับเนื้อหาเฉพาะของมัน ชื่อ "ตรรกะที่เป็นทางการ" เน้นย้ำว่าตรรกะนี้สนใจเฉพาะในรูปแบบของการใช้เหตุผลเท่านั้น

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

2) กฎแห่งความสม่ำเสมอเป็นกฎตรรกศาสตร์ซึ่งความคิดที่แยกจากกันไม่สามารถเป็นจริงได้ในเวลาเดียวกัน: "ขณะนี้หิมะตก" และ "ขณะนี้หิมะตก". จากมุมมองของตรรกะ การรวมกันของความคิดดังกล่าวสามารถเป็นเท็จเท่านั้น และไม่ว่าในกรณีใดจะเป็นจริง เป็นการสังเกตว่าความสอดคล้องเริ่มต้นของความคิดของเรานั้นขึ้นอยู่กับการดำเนินต่อไปของกฎแห่งอัตลักษณ์ต่อความมั่นคงของความคิดของเรา ตรรกะแยกแยะความคิดที่เข้ากันไม่ได้สองประเภท :

ก) ความไม่ลงรอยกันอย่างเป็นทางการที่เกิดขึ้นระหว่างความคิดบางอย่างกับการปฏิเสธอย่างเป็นทางการ: "หิมะตก" และ "หิมะไม่ตก"โดยที่ความคิดหนึ่งเป็นการปฏิเสธอย่างเป็นทางการในทันที ("ไม่ ไม่")อื่น.

b) ความไม่ลงรอยกันของเนื้อหา (วัตถุประสงค์) ซึ่งเกิดขึ้นเนื่องจากความไม่ลงรอยกันของลักษณะของตัวเองภายในสิ่งที่เกี่ยวข้อง: "ดอกไม้ - กุหลาบ" และ "ดอกไม้ - เดซี่" ความไม่ลงรอยกันนี้ไม่ได้ถูกกำหนดโดยกฎตรรกะที่เป็นทางการ แต่ตามกฎของการพัฒนาสิ่งต่าง ๆ ด้วยตัวมันเอง ความไม่ลงรอยกันดังกล่าวไม่ได้เกิดขึ้นจากตรรกะ แต่โดยวิทยาศาสตร์เฉพาะเกี่ยวกับวัตถุและปรากฏการณ์ที่เกี่ยวข้อง กฎหมายกำหนดให้ในกรณีที่ความไม่สอดคล้องกันของเรื่องถูกแสดงออกมาในรูปแบบของความขัดแย้งอย่างเป็นทางการ - "สิ่งหนึ่งคือ P และไม่ใช่ P ในเวลาเดียวกัน"- ถูกลบออกโดยการวิจัยเฉพาะและแสดงออกมาในรูปแบบที่สอดคล้องกันอย่างเป็นทางการ มิฉะนั้น ตรรกะจะไม่รับผิดชอบต่อข้อผิดพลาดในการให้เหตุผลและข้อสรุปที่ตามมาเกี่ยวกับวัตถุคงที่

3) กฎหมายของคนกลางที่ได้รับการยกเว้น -นี่คือกฎของตรรกะที่เป็นทางการแบบดั้งเดิม ตามความคิดสองข้อที่ขัดแย้งกันอย่างเป็นทางการ (ความคิดและการปฏิเสธอย่างเป็นทางการ A และไม่ใช่ A) ความคิดหนึ่งจะต้องเป็นจริง และความคิดที่สองเป็นเท็จ จากมุมมองของกฎหมายนี้ ความคิดที่เข้ากันไม่ได้อย่างมีความหมายอาจเป็นความเท็จพร้อมกันได้ แม้ว่าตามกฎแห่งการไม่ขัดแย้ง สิ่งเหล่านี้จะไม่สามารถเป็นจริงได้ในเวลาเดียวกัน กฎหมายตั้งอยู่บนสมมติฐานที่ว่าวัตถุ สิ่งของทุกชนิดสามารถมีหรือไม่มีคุณลักษณะบางอย่างได้: จะเป็นหรือไม่เป็นคน ดอกไม้ ดอกกุหลาบ ดอกเดซี่ และอื่นๆ

4) กฎแห่งความมีเหตุผลเพียงพอเป็นกฎหมายตามซึ่งในการที่จะพิจารณาความคิดบางอย่างถูกหรือผิดเราต้องมีหลักฐานที่เข้มงวดบางประการ

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

3) จะแสดงกฎแห่งความขัดแย้งหรือกฎห้ามความขัดแย้งในเชิงสัญลักษณ์ได้อย่างไร?
4) จะแสดงกฎแห่งอัตลักษณ์และกฎแห่งคนกลางที่ถูกกีดกันในเชิงสัญลักษณ์ได้อย่างไร

5) แนวคิดคืออะไร? กำหนดแนวคิดโดยสังเกตกฎของสัดส่วน

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

คำจำกัดความของแนวคิดเป็นการดำเนินการเชิงตรรกะที่เปิดเผยเนื้อหาของแนวคิดหรือกำหนดความหมายของคำศัพท์

คำจำกัดความของ "กว้างเกินไป" คืออะไร?

1) ตั้งชื่อคุณสมบัติเชิงตรรกะสองประการของแนวคิด พวกเขามีความสัมพันธ์กันอย่างไร? เนื้อหาของแนวคิด- นี่คือสิ่งที่คิดไว้ในแนวคิด เช่น ในแนวคิดเรื่อง “น้ำตาล” เรานึกถึงลักษณะดังต่อไปนี้ หวาน ขาว หยาบ หนัก

ขอบเขตของแนวคิดคือสิ่งที่คิดผ่านแนวคิด เช่น ขอบเขตของแนวคิดคือผลรวมของชนชั้น กลุ่ม จำพวก สายพันธุ์ ฯลฯ ที่สามารถประยุกต์แนวคิดที่กำหนดได้ เช่น ขอบเขตของแนวคิด “สัตว์” ได้แก่ นก ปลา แมลง คน ฯลฯ ขอบเขตของแนวคิด “ธาตุ”: ออกซิเจน ไฮโดรเจน คาร์บอน ไนโตรเจน ฯลฯ ขอบเขตของแนวคิด "รูปสี่เหลี่ยม": สี่เหลี่ยมจัตุรัส, สี่เหลี่ยมผืนผ้า, รูปสี่เหลี่ยมขนมเปียกปูน, สี่เหลี่ยมคางหมู

ดังนั้นความแตกต่างระหว่างขอบเขตของแนวคิดและเนื้อหาของแนวคิดจึงมีดังต่อไปนี้: ขอบเขตของแนวคิดหมายถึงจำนวนทั้งสิ้นของวัตถุที่ควรใช้แนวคิดที่กำหนด และเนื้อหาหมายถึงคุณลักษณะเหล่านั้นที่ประกอบขึ้นเป็น ถึงแนวคิดใดแนวคิดหนึ่ง

!!! เมื่อเนื้อหาของแนวคิดเพิ่มขึ้น ปริมาณของมันจะลดลง และในทางกลับกัน!!!

2. แนวคิดนี้มีอยู่ที่ไหนและอย่างไร? nominalism และ realism คืออะไร? …

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

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

3. โครงสร้างเชิงสัมพันธ์และที่มาของแนวคิดคืออะไร?

ตรรกะการระบุแหล่งที่มาเป็นตรรกะที่ขึ้นอยู่กับหมวดหมู่ของคุณสมบัติ

โครงสร้างคุณสมบัติเป็นแนวคิดที่พิจารณาจากมุมมองของเนื้อหา

ลักษณะเฉพาะของโครงสร้างที่เป็นที่มาของปรากฏการณ์คืออนุญาตให้ไม่เพียง แต่จะจัดเรียงคุณสมบัติที่รวมอยู่ในเนื้อหาของแนวคิดใหม่เท่านั้น แต่ยังเปลี่ยนแปลงได้ขึ้นอยู่กับมุมมองที่ยอมรับด้วย ไม่มีลำดับที่ชัดเจนในรายการคุณลักษณะของแนวคิด เนื้อหาของแนวคิดคือผลรวมหรือชุดของคุณสมบัติ-สัญญาณที่ประกอบเป็นโครงสร้างนี้ ตามกฎแล้ว ข้อสรุปในตรรกะถือเป็นผลจากการอนุมานจากการตัดสินที่มีเหตุผล

โครงสร้างเชิงสัมพันธ์ลักษณะที่เป็นคู่ของแนวคิดนั้นแสดงออกมาในความจริงที่ว่าเนื้อหาของแนวคิดนั้นมีความสัมพันธ์อย่างใกล้ชิดกับปริมาณของมัน ยิ่งเนื้อหาของแนวคิดมีเนื้อหาสมบูรณ์มากเท่าใด ขอบเขตของแนวคิดก็จะยิ่งแย่ลงเท่านั้น หากเนื้อหาของแนวคิดสามารถกำหนดไว้ในหมวดหมู่ของวิธีระบบ-พารามิเตอร์เป็นโครงสร้างที่ระบุแหล่งที่มาได้ ความสัมพันธ์ของแนวคิดโดยปริมาตรก็สามารถกำหนดเป็นโครงสร้างเชิงสัมพันธ์ได้

โครงสร้างเชิงสัมพันธ์ของแนวคิดถูกอธิบายโดยความสัมพันธ์ของแนวคิดในขอบเขตของมัน ความสัมพันธ์นี้ประกอบด้วย 2 แนวคิดขึ้นไป หากแนวคิดมีจำนวนหนึ่ง โครงสร้างเชิงสัมพันธ์ของแนวคิดนั้นก็จะแสดงออกมาในความสัมพันธ์กับตัวมันเอง

4. แนวคิด “โสด” หรือ “เป็นรายบุคคล” คืออะไร? ยกตัวอย่างแนวคิดดังกล่าว .

เดี่ยว- แนวคิดเหล่านั้นที่เกี่ยวข้องกับวัตถุเดี่ยว ๆ (ในกรณีนี้ แนวคิดส่วนบุคคลตรงกับแนวคิดเกี่ยวกับสิ่งต่าง ๆ ) เช่น: “ รัฐมนตรีอังกฤษประจำฝรั่งเศส", "สูงสุด"ภูเขา ในอเมริกา", "ผู้เขียน Dead Souls", "หนังสือเล่มนี้". แนวคิดส่วนบุคคลยังรวมถึงชื่อที่ถูกต้องด้วย เช่น: "คาซเบก", "นิวตัน", "โรม". แนวคิดเกี่ยวกับวัตถุหรือปรากฏการณ์แต่ละอย่าง เช่น ขั้วโลกเหนือ , Lomonosov, มอสโก, สถาบันวัฒนธรรมทางกายภาพแห่งมอสโกเป็นต้น แม้ว่าแนวคิดเหล่านี้จะเกี่ยวข้องกับวัตถุแต่ละชิ้น แต่ก็ยังแตกต่างอย่างมากจากแนวคิด อย่างหลังสะท้อนถึงรูปแบบภายนอกของวัตถุ ในขณะที่แนวคิดส่วนบุคคลสะท้อนถึงแก่นแท้ของวัตถุ

ตรรกะในฐานะวิทยาศาสตร์เกิดขึ้นเมื่อปลายศตวรรษที่ 5 - ต้นศตวรรษที่ 4 ในกรีกโบราณ (เอเธนส์) และถือเป็นเกณฑ์ของการศึกษามานานหลายศตวรรษ ผู้ก่อตั้งตรรกะถือเป็นอริสโตเติลนักปรัชญาชาวกรีกโบราณ บรรพบุรุษของอริสโตเติลในการพัฒนาวิทยาศาสตร์เชิงตรรกะในสมัยกรีกโบราณ ได้แก่ ปาร์เมนิเดส นักปราชญ์แห่งเอเลกา โสกราตีส และเพลโต อริสโตเติลเป็นคนแรกที่จัดระบบความรู้ที่มีอยู่เกี่ยวกับตรรกะและยืนยันรูปแบบและกฎเกณฑ์ของการคิดเชิงตรรกะ ในงานของเขา “Organon” (“เครื่องมือแห่งความรู้”) กฎพื้นฐานของการคิดได้ถูกกำหนดขึ้น เช่น กฎแห่งอัตลักษณ์ ความขัดแย้ง และตรงกลางที่ถูกกีดกัน นอกจากนี้เขายังพัฒนาทฤษฎีแนวคิดและการตัดสิน และสำรวจการอนุมานแบบนิรนัยและการตรรกศาสตร์

มีเหตุผลหลักสองประการที่ทำให้ตรรกะเกิดขึ้นเป็นวิทยาศาสตร์:

1) ความเป็นมาและพัฒนาการเบื้องต้นของปรัชญาและวิทยาศาสตร์ โดยเฉพาะคณิตศาสตร์

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

ประการแรก ลอจิกเกิดขึ้นจากความพยายามที่จะระบุและอธิบายข้อกำหนดที่การคิดเชิงวิทยาศาสตร์อย่างมีเหตุผลต้องสนองเพื่อให้ผลลัพธ์สอดคล้องกับความเป็นจริง

2) การพัฒนาการปราศรัยรวมถึงศิลปะตุลาการซึ่งเจริญรุ่งเรืองภายใต้เงื่อนไขของระบอบประชาธิปไตยกรีกโบราณ คำตัดสินของศาลมักขึ้นอยู่กับหลักฐานเชิงตรรกะของคำปราศรัยของผู้ถูกกล่าวหาหรืออัยการ โดยเฉพาะอย่างยิ่งในสถานการณ์ทางกฎหมายที่ซับซ้อนและสับสน การไม่สามารถกำหนดความคิดของตนเองได้อย่างชัดเจนและชัดเจน รวมถึงเปิดเผยหลุมพรางและ “กับดัก” ของฝ่ายตรงข้ามอาจทำให้ผู้พูดต้องเสียค่าใช้จ่ายอย่างมาก สิ่งนี้ถูกใช้โดยนักปรัชญาที่เรียกว่านักปรัชญา - ครูแห่งปัญญาที่ได้รับค่าจ้าง พวกเขาสามารถ "พิสูจน์" แก่สาธารณชนที่ไม่รู้แจ้งว่าสีขาวเป็นสีดำ และสีดำเป็นสีขาว หลังจากนั้นพวกเขาก็สอนศิลปะให้ทุกคนด้วยเงินจำนวนมาก

หลังจากอริสโตเติลในสมัยกรีกโบราณ ตรรกะก็ได้รับการพัฒนาโดยตัวแทนของสำนักสโตอิกเช่นกัน นักพูดซิเซโรและนักทฤษฎีชาวโรมันโบราณของนักปราศรัย Quintilian มีส่วนสนับสนุนอย่างมากต่อการพัฒนาวิทยาศาสตร์นี้

ในตอนต้นของศตวรรษที่ 19 G.V.F. เฮเกลชี้ให้เห็นข้อจำกัดและความไม่เพียงพอของมันจากมุมมองของการสะท้อนกระบวนการเคลื่อนไหวของความคิด เขาตั้งข้อสังเกตว่าตรรกะดังกล่าวไม่ได้สะท้อนถึงการเคลื่อนไหวของเนื้อหาของความคิด แต่เป็นรูปแบบของกระบวนการคิด เพื่อชดเชยข้อบกพร่องนี้ เฮเกลได้สร้างตรรกะวิภาษวิธีขึ้นมาใหม่และเรียกตรรกะที่มีอยู่ก่อนที่จะเป็นทางการขึ้นมา

เรื่องของการศึกษาตรรกะวิภาษคือกฎของการพัฒนาความคิดของมนุษย์และหลักการของระเบียบวิธีบนพื้นฐานของพวกเขา (ความเป็นกลาง, การพิจารณาที่ครอบคลุมของเรื่อง, หลักการของประวัติศาสตร์นิยม, การแยกส่วนทั้งหมดไปสู่ด้านตรงข้าม, การขึ้นจาก นามธรรมไปจนถึงคอนกรีต เป็นต้น)

ตรรกะวิภาษวิธีเป็นวิธีหนึ่งในการทำความเข้าใจวิภาษวิธีของความเป็นจริง

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

การศึกษาตรรกะอย่างเป็นทางการเป็นสิ่งที่แยกจากกัน แยกจากเนื้อหา

หัวข้อการศึกษาตรรกะที่เป็นทางการคือรูปแบบการคิด

ตรรกะที่เป็นทางการเป็นศาสตร์แห่งโครงสร้างทั่วไปของการคิดที่ถูกต้องในรูปแบบทางภาษา ซึ่งเผยให้เห็นกฎที่ซ่อนอยู่

รูปแบบตรรกะเรียกว่าการเชื่อมโยงความคิดต่างๆ ซึ่งถือเป็นรูปแบบโครงสร้างของการคิด

รูปแบบเชิงตรรกะประกอบด้วยความคิด เช่น รูปแบบเชิงตรรกะอื่นๆ และวิธีการต่างๆ ในการเชื่อมโยงความคิดเหล่านั้น หรือที่เรียกว่าการเชื่อมโยงกัน รูปแบบตรรกะสามประเภท เช่น แนวคิด การตัดสิน การอนุมาน ประกอบด้วยความคิดและวิธีการเชื่อมโยง ความเชื่อมโยง

ตรรกะทั่วไปคือการศึกษารูปแบบตรรกะสามรูปแบบ: แนวคิด การตัดสิน และการอนุมาน

การแนะนำ
1. ต้นกำเนิดและแก่นแท้ของตรรกะในฐานะวิทยาศาสตร์
2. ขั้นตอนทางประวัติศาสตร์หลักในการพัฒนาตรรกะ
2.1 การก่อตัวของตรรกะเชิงสัญลักษณ์ (ทางคณิตศาสตร์)
2.2 การเกิดขึ้นของตรรกะอุปนัย
2.3 การก่อตัวของตรรกะวิภาษวิธี
บทสรุป
วรรณกรรม

การแนะนำ

ลอจิกเป็นหนึ่งในวิทยาศาสตร์ที่เก่าแก่ที่สุด ขณะนี้ยังเป็นไปไม่ได้ที่จะระบุได้อย่างแน่ชัดว่าใคร เมื่อใด และที่ไหนที่หันไปหาแง่มุมของการคิดเหล่านั้นซึ่งประกอบขึ้นเป็นหัวข้อของตรรกะเป็นครั้งแรก ต้นกำเนิดของการสอนเชิงตรรกะบางส่วนสามารถพบได้ในอินเดียในช่วงปลายสหัสวรรษที่ 2 ก่อนคริสต์ศักราช จ. อย่างไรก็ตาม ถ้าเราพูดถึงการเกิดขึ้นของตรรกะในฐานะวิทยาศาสตร์ นั่นคือเกี่ยวกับองค์ความรู้ที่มีระบบไม่มากก็น้อย มันก็คงจะยุติธรรมที่จะถือว่าอารยธรรมที่ยิ่งใหญ่ของกรีกโบราณเป็นแหล่งกำเนิดของตรรกะ มันอยู่ที่นี่ในศตวรรษที่ V-IV จ. ในช่วงระยะเวลาของการพัฒนาอย่างรวดเร็วของประชาธิปไตยและการฟื้นฟูชีวิตทางสังคมและการเมืองอย่างไม่เคยปรากฏมาก่อน รากฐานของวิทยาศาสตร์นี้ถูกวางโดยผลงานของพรรคเดโมคริตุส โสกราตีส และเพลโต บรรพบุรุษซึ่งเป็น "บิดา" แห่งตรรกะได้รับการพิจารณาอย่างถูกต้องว่าเป็นนักคิดที่ยิ่งใหญ่ที่สุดในยุคโบราณซึ่งเป็นลูกศิษย์ของเพลโตอริสโตเติล (384-322 ปีก่อนคริสตกาล) เขาเป็นคนที่รวมตัวกันภายใต้ชื่อทั่วไป "Organon" (เครื่องมือแห่งความรู้ความเข้าใจ) ในงานของเขาเป็นครั้งแรกในการวิเคราะห์และอธิบายรูปแบบตรรกะพื้นฐานและกฎของการให้เหตุผลอย่างถี่ถ้วน ได้แก่ รูปแบบของข้อสรุปจากสิ่งที่ เรียกว่าการตัดสินเชิงหมวดหมู่ - การอ้างเหตุผลเชิงหมวดหมู่ (“ การวิเคราะห์ครั้งแรก”) กำหนดหลักการพื้นฐานของหลักฐานทางวิทยาศาสตร์ (“ การวิเคราะห์ครั้งที่สอง”) ให้การวิเคราะห์ความหมายของข้อความบางประเภท (“ ในการตีความ”) และสรุปสาระสำคัญ แนวทางการพัฒนาหลักคำสอนแนวคิด (“หมวดหมู่”) อริสโตเติลยังให้ความสนใจอย่างจริงจังในการเปิดเผยข้อผิดพลาดเชิงตรรกะประเภทต่างๆ และเทคนิคที่ซับซ้อนในการโต้แย้ง (“On Sophistic Refutations”)

1. ต้นกำเนิดและแก่นแท้ของตรรกะในฐานะวิทยาศาสตร์

ลอจิกมีประวัติศาสตร์อันยาวนานและยาวนาน ซึ่งเชื่อมโยงกับประวัติศาสตร์การพัฒนาสังคมโดยรวมอย่างแยกไม่ออก

การเกิดขึ้นของตรรกะในฐานะทฤษฎีนั้นนำหน้าด้วยการฝึกคิดย้อนกลับไปหลายพันปี ด้วยการพัฒนากิจกรรมแรงงาน วัสดุ และการผลิตของผู้คน มีการปรับปรุงและพัฒนาความสามารถในการคิดของพวกเขาอย่างค่อยเป็นค่อยไป โดยเฉพาะอย่างยิ่งความสามารถในการสรุปและการอนุมาน และไม่ช้าก็เร็วแต่ก็หลีกเลี่ยงไม่ได้ที่จะนำไปสู่ความจริงที่ว่าเป้าหมายของการวิจัยเริ่มคิดตามรูปแบบและกฎหมายของมัน

ประวัติศาสตร์แสดงให้เห็นว่าปัญหาเชิงตรรกะส่วนบุคคลปรากฏขึ้นต่อหน้าจิตใจมนุษย์เมื่อกว่า 2.5 พันปีก่อน ครั้งแรกในอินเดียโบราณและจีนโบราณ จากนั้นพวกเขาก็ได้รับการพัฒนาอย่างสมบูรณ์มากขึ้นในสมัยกรีกโบราณและโรม ระบบความรู้เชิงตรรกะที่สอดคล้องกันไม่มากก็น้อยจะค่อยๆ เป็นรูปเป็นร่าง และวิทยาศาสตร์อิสระก็เป็นรูปเป็นร่าง

มีสองเหตุผลหลักในการพัฒนาตรรกะ หนึ่งในนั้นคือต้นกำเนิดและพัฒนาการเบื้องต้นของวิทยาศาสตร์ โดยเฉพาะคณิตศาสตร์ กระบวนการนี้มีขึ้นตั้งแต่ศตวรรษที่ 6 พ.ศ จ. และได้รับการพัฒนาอย่างสมบูรณ์ที่สุดในสมัยกรีกโบราณ วิทยาศาสตร์ถือกำเนิดขึ้นในการต่อสู้กับเทพนิยายและศาสนา โดยมีพื้นฐานอยู่บนการคิดเชิงทฤษฎี ซึ่งเกี่ยวข้องกับการอนุมานและหลักฐาน จึงต้องศึกษาธรรมชาติของการคิดเองว่าเป็นวิถีแห่งความรู้ความเข้าใจ

ประการแรก ลอจิกเกิดขึ้นจากความพยายามที่จะระบุและพิสูจน์ข้อกำหนดเหล่านั้นที่การคิดทางวิทยาศาสตร์ต้องสนองเพื่อให้ผลลัพธ์สอดคล้องกับความเป็นจริง

เหตุผลอีกประการหนึ่งที่อาจสำคัญยิ่งกว่านั้น ซึ่งเป็นประโยชน์อย่างยิ่งที่นักกฎหมายควรทราบก็คือพัฒนาการของการปราศรัย รวมถึงศิลปะด้านตุลาการ ซึ่งเจริญรุ่งเรืองภายใต้เงื่อนไขของระบอบประชาธิปไตยกรีกโบราณ นักพูดและนักวิทยาศาสตร์ชาวโรมันที่ยิ่งใหญ่ที่สุดซิเซโร (106-43 ปีก่อนคริสตกาล) พูดถึงพลังของนักพูดซึ่งเป็นเจ้าของ "ของประทานอันศักดิ์สิทธิ์" แห่งคารมคมคายเน้นย้ำว่า "เขาสามารถอยู่ได้อย่างปลอดภัยแม้อยู่ท่ามกลางศัตรูติดอาวุธซึ่งได้รับการปกป้องไม่มากนัก ไม้เท้าของเขา ราคาเท่าไรตามตำแหน่งวิทยากร ด้วยคำพูดของเขา เขาสามารถปลุกเร้าความขุ่นเคืองของเพื่อนร่วมชาติของเขาและลงโทษผู้กระทำความผิดทางอาญาและการหลอกลวง และช่วยผู้บริสุทธิ์จากการพิจารณาคดีและการลงโทษด้วยพลังแห่งพรสวรรค์ของเขา เขาสามารถจูงใจคนขี้อายและไม่ตัดสินใจให้กล้าหาญ สามารถนำพวกเขาออกจากข้อผิดพลาด สามารถจุดไฟให้พวกเขาจากคนร้าย และสงบการบ่นต่อคนที่มีค่าควร เขารู้วิธีสุดท้ายด้วยคำเดียวว่าเขาสามารถกระตุ้นและสงบความสนใจของมนุษย์เมื่อสถานการณ์ในคดีต้องการ”

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

ตรรกะเกิดขึ้นจากความพยายามที่จะเปิดเผย "ความลับ" ของพลังคำพูดที่บีบบังคับนี้ เพื่อทำความเข้าใจว่าแหล่งที่มาของมันคืออะไร มีพื้นฐานมาจากอะไร และท้ายที่สุด เพื่อแสดงให้เห็นว่าคำพูดควรมีคุณสมบัติอย่างไรเพื่อโน้มน้าวผู้ฟังและใน ในขณะเดียวกันก็บังคับให้พวกเขาเห็นด้วยหรือไม่เห็นด้วยกับบางสิ่ง รับรู้บางสิ่งว่าจริงหรือเท็จ

ตามคำกล่าวของซิเซโร กรีซ "มีความหลงใหลในวาจาวาจาไพเราะอย่างแท้จริง และมีชื่อเสียงในด้านนี้มาเป็นเวลานาน..." ไม่ใช่เรื่องบังเอิญที่กรีกโบราณกลายเป็นแหล่งกำเนิดของตรรกะในฐานะวิทยาศาสตร์ เป็นเรื่องธรรมดาที่คำว่า "ตรรกะ" นั้นมีต้นกำเนิดมาจากภาษากรีกโบราณ

ผู้ก่อตั้งตรรกะ - หรือที่บางครั้งเรียกว่า "บิดาแห่งตรรกะ" - ถือเป็นนักปรัชญาและนักสารานุกรมชาวกรีกโบราณที่ยิ่งใหญ่ที่สุดอริสโตเติล (384-322 ปีก่อนคริสตกาล)

อริสโตเติลเป็นเจ้าของบทความเกี่ยวกับตรรกะจำนวนหนึ่ง ต่อมาได้รวมกันภายใต้ชื่อ "ออร์กานอน" (จากภาษากรีกออร์กานอน - เครื่องมือ, เครื่องดนตรี)

จุดเน้นของการไตร่ตรองเชิงตรรกะทั้งหมดของเขาคือทฤษฎีความรู้เชิงอนุมาน - การใช้เหตุผลแบบนิรนัยและหลักฐาน ได้รับการพัฒนาด้วยความลึกซึ้งและความใส่ใจที่ผ่านมานานหลายศตวรรษและยังคงรักษาความหมายไว้ได้จนถึงทุกวันนี้ อริสโตเติลยังได้จัดหมวดหมู่ของหมวดหมู่ - แนวคิดทั่วไปที่สุดและการจำแนกประเภทของการตัดสินที่ใกล้เคียงกับพรรคเดโมคริตุส ได้กำหนดกฎพื้นฐานของการคิดสามประการ - กฎแห่งอัตลักษณ์ กฎแห่งความขัดแย้ง และกฎของคนกลางที่ถูกกีดกัน การสอนเชิงตรรกะของอริสโตเติลมีความโดดเด่นตรงที่ว่าในเอ็มบริโอนั้น โดยพื้นฐานแล้วประกอบด้วยส่วนต่อๆ ไปทั้งหมด ทิศทาง และประเภทของตรรกะ - อุปนัย สัญลักษณ์ วิภาษวิธี จริงอยู่ อริสโตเติลเองเรียกวิทยาศาสตร์ที่เขาสร้างขึ้นไม่ใช่ตรรกะ แต่เรียกการวิเคราะห์เป็นหลัก แม้ว่าเขาจะใช้คำว่า "ตรรกะ" คำว่า "ตรรกะ" เองได้เข้ามาเผยแพร่ทางวิทยาศาสตร์ในภายหลังในศตวรรษที่ 3 พ.ศ จ. ยิ่งไปกว่านั้น ตามความหมายคู่ของคำภาษากรีกโบราณ "โลโก้" (ทั้ง "คำ" และ "ความคิด") เขาได้ผสมผสานทั้งศิลปะแห่งการคิด - วิภาษวิธีและศิลปะแห่งการใช้เหตุผล - วาทศาสตร์ มีเพียงความก้าวหน้าของความรู้ทางวิทยาศาสตร์เท่านั้นที่คำนี้เริ่มระบุปัญหาเชิงตรรกะได้อย่างเหมาะสม และวิภาษวิธีและวาทศาสตร์ก็กลายเป็นสาขาความรู้ที่เป็นอิสระ

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

ขั้นใหม่ที่สูงขึ้นในการพัฒนาตรรกะเริ่มต้นขึ้นในศตวรรษที่ 17 ขั้นตอนนี้เชื่อมโยงอย่างเป็นธรรมชาติกับการสร้างสรรค์ภายในกรอบงานของมัน พร้อมด้วยตรรกะนิรนัยของตรรกะอุปนัย มันสะท้อนให้เห็นถึงกระบวนการที่หลากหลายของการได้รับความรู้ทั่วไปโดยอาศัยเนื้อหาเชิงประจักษ์ที่สะสมมากขึ้น ความจำเป็นในการได้รับความรู้ดังกล่าวได้รับการตระหนักอย่างเต็มที่และแสดงออกในผลงานของเขาโดยนักปรัชญาชาวอังกฤษและนักวิทยาศาสตร์ธรรมชาติที่โดดเด่น F. Bacon (1561-1626) เขาเป็นผู้ก่อตั้งตรรกะอุปนัย “... ตรรกะที่มีอยู่ตอนนี้ไม่มีประโยชน์สำหรับการค้นพบความรู้” เขาประกาศคำตัดสินที่รุนแรง ดังนั้น ราวกับว่าตรงกันข้ามกับ "Organon" แบบเก่าของอริสโตเติล เบคอนจึงเขียน "The New Organon..." ซึ่งเขาสรุปตรรกะอุปนัยไว้ เขาให้ความสนใจหลักกับการพัฒนาวิธีการอุปนัยเพื่อพิจารณาการพึ่งพาเชิงสาเหตุของปรากฏการณ์ นี่คือบุญใหญ่ของเบคอน อย่างไรก็ตาม หลักคำสอนเรื่องการปฐมนิเทศที่เขาสร้างขึ้นอย่างแดกดัน กลับกลายเป็นว่าไม่ใช่การปฏิเสธตรรกะก่อนหน้านี้ แต่เป็นการเพิ่มคุณค่าและการพัฒนาเพิ่มเติม มันมีส่วนทำให้เกิดทฤษฎีอนุมานทั่วไป และนี่เป็นเรื่องปกติ เพราะดังที่แสดงด้านล่าง การอุปนัยและการนิรนัยไม่ได้แยกออกจากกัน แต่สมมุติซึ่งกันและกันและอยู่ในความสามัคคีตามธรรมชาติ

ตรรกะอุปนัยได้รับการจัดระบบและพัฒนาโดยนักปรัชญาและนักวิทยาศาสตร์ชาวอังกฤษ J. St. Mill (1806-1873) ในงานสองเล่มของเขาเรื่อง “A System of Syllogistic and Induct Logic” มันมีอิทธิพลอย่างมากต่อการพัฒนาความรู้ทางวิทยาศาสตร์เพิ่มเติมและมีส่วนช่วยให้บรรลุความสูงใหม่

ความต้องการความรู้ทางวิทยาศาสตร์ไม่เพียงแต่ในรูปแบบอุปนัยเท่านั้น แต่ยังรวมถึงวิธีการนิรนัยในศตวรรษที่ 17 ด้วย รวบรวมโดยนักปรัชญาและนักวิทยาศาสตร์ชาวฝรั่งเศส เรอเน เดการ์ต (ค.ศ. 1596-1650) ในงานหลักของเขา "วาทกรรมเกี่ยวกับวิธีการ..." ซึ่งใช้ข้อมูลเป็นหลักจากคณิตศาสตร์ เขาเน้นย้ำถึงความสำคัญของการอนุมานอย่างมีเหตุผลซึ่งเป็นวิธีการหลักของความรู้ทางวิทยาศาสตร์ ผู้ติดตาม Descartes จากอารามใน Port-Royal, A. Arno และ P. Nicole ได้สร้างผลงาน "Logic หรือศิลปะแห่งการคิด" กลายเป็นที่รู้จักในชื่อ Port-Royal Logic และใช้เป็นตำราเรียนเกี่ยวกับวิทยาศาสตร์นี้มาเป็นเวลานาน ในนั้นผู้เขียนไปไกลเกินขอบเขตของตรรกะดั้งเดิมและให้ความสนใจหลักกับวิธีการของความรู้ทางวิทยาศาสตร์และตรรกะของการค้นพบ พวกเขาถือว่าลอจิกเป็นเครื่องมือทางความรู้ความเข้าใจของวิทยาศาสตร์ทั้งหมด การสร้าง "ตรรกะแบบขยาย" ดังกล่าวกลายเป็นเรื่องปกติในศตวรรษที่ 19-20

2. ขั้นตอนทางประวัติศาสตร์หลักในการพัฒนาตรรกะ

2.1 การก่อตัวของตรรกะเชิงสัญลักษณ์ (ทางคณิตศาสตร์)

การปฏิวัติที่แท้จริงในการวิจัยเชิงตรรกะเกิดจากการสร้างสรรค์ในช่วงครึ่งหลังของศตวรรษที่ 19 ตรรกศาสตร์ทางคณิตศาสตร์ ซึ่งเรียกอีกอย่างว่าเชิงสัญลักษณ์และเป็นเวทีใหม่ที่ทันสมัยในการพัฒนาตรรกศาสตร์

จุดเริ่มต้นของตรรกะนี้สามารถสืบหาได้แล้วในอริสโตเติล เช่นเดียวกับผู้ติดตามของเขา ในรูปแบบขององค์ประกอบของตรรกะภาคแสดงและทฤษฎีของการอนุมานแบบกิริยาช่วย เช่นเดียวกับตรรกะเชิงประพจน์ อย่างไรก็ตามการพัฒนาปัญหาอย่างเป็นระบบเกิดขึ้นในภายหลัง

ความสำเร็จที่เพิ่มขึ้นในการพัฒนาคณิตศาสตร์และการแทรกซึมของวิธีการทางคณิตศาสตร์ไปสู่วิทยาศาสตร์อื่น ๆ ในช่วงครึ่งหลังของศตวรรษที่ 17 ปัญหาพื้นฐานสองประการได้ถูกหยิบยกขึ้นมาอย่างมาก ในด้านหนึ่ง นี่คือการใช้ตรรกะเพื่อพัฒนารากฐานทางทฤษฎีของคณิตศาสตร์ และอีกด้านหนึ่ง การคำนวณทางคณิตศาสตร์ของตรรกะเองก็เป็นวิทยาศาสตร์ ความพยายามที่ลึกซึ้งและประสบผลสำเร็จมากที่สุดในการแก้ปัญหาที่เกิดขึ้นนั้นทำโดยนักปรัชญาและนักคณิตศาสตร์ชาวเยอรมันที่ยิ่งใหญ่ที่สุด G. Leibniz (1646-1416) ดังนั้นโดยพื้นฐานแล้วเขาจึงกลายเป็นผู้ก่อตั้งตรรกะทางคณิตศาสตร์ (สัญลักษณ์) ไลบ์นิซฝันถึงช่วงเวลาที่นักวิทยาศาสตร์ไม่ได้มีส่วนร่วมในการวิจัยเชิงประจักษ์ แต่เกี่ยวข้องกับแคลคูลัสด้วยดินสอในมือ เขาพยายามที่จะประดิษฐ์ภาษาสัญลักษณ์สากลขึ้นมาเพื่อจุดประสงค์นี้ ซึ่งวิทยาศาสตร์เชิงประจักษ์ใดๆ ก็สามารถหาเหตุผลเข้าข้างตนเองได้ ในความเห็นของเขาความรู้ใหม่จะเป็นผลมาจากการคำนวณเชิงตรรกะ - แคลคูลัส

แนวคิดของไลบ์นิซได้รับการพัฒนาบางอย่างในศตวรรษที่ 18 และครึ่งแรกของศตวรรษที่ 19 อย่างไรก็ตาม เงื่อนไขที่ดีที่สุดสำหรับการพัฒนาตรรกะเชิงสัญลักษณ์อันทรงพลังเกิดขึ้นเฉพาะในช่วงครึ่งหลังของศตวรรษที่ 19 เท่านั้น มาถึงตอนนี้ การคำนวณทางคณิตศาสตร์ของวิทยาศาสตร์ได้บรรลุความก้าวหน้าที่สำคัญอย่างยิ่งและปัญหาพื้นฐานใหม่ของการพิสูจน์ก็เกิดขึ้นในคณิตศาสตร์ด้วยซ้ำ นักวิทยาศาสตร์ นักคณิตศาสตร์ และนักตรรกศาสตร์ชาวอังกฤษ เจ. บูล (ค.ศ. 1815-1864) ในงานของเขาใช้คณิตศาสตร์กับตรรกะเป็นหลัก เขาให้การวิเคราะห์ทางคณิตศาสตร์ของทฤษฎีอนุมานและพัฒนาแคลคูลัสเชิงตรรกะ (“พีชคณิตแบบบูลีน”) นักตรรกวิทยาและนักคณิตศาสตร์ชาวเยอรมัน G. Frege (1848-1925) ใช้ตรรกะในการศึกษาคณิตศาสตร์ ด้วยแคลคูลัสภาคแสดงที่ขยายออกไป เขาได้สร้างระบบเลขคณิตที่เป็นทางการ นักปรัชญานักตรรกศาสตร์และนักคณิตศาสตร์ชาวอังกฤษ B. Russell (พ.ศ. 2415-2513) ร่วมกับ A. Whitehead (พ.ศ. 2404-2490) ในงานพื้นฐานสามเล่ม“ หลักคณิตศาสตร์” เพื่อจุดประสงค์ในการให้เหตุผลเชิงตรรกะพยายาม ใช้การสร้างตรรกะแบบนิรนัยและสัจพจน์ในรูปแบบที่เป็นระบบ

จึงเป็นการเปิดเวทีใหม่ที่ทันสมัยในการพัฒนาการวิจัยเชิงตรรกะ บางทีคุณลักษณะที่แตกต่างที่สำคัญที่สุดของขั้นตอนนี้คือการพัฒนาและการใช้วิธีการใหม่ในการแก้ปัญหาเชิงตรรกะแบบดั้งเดิม นี่คือการพัฒนาและการใช้ภาษาประดิษฐ์ที่เรียกว่าภาษาที่เป็นทางการ - ภาษาของสัญลักษณ์เช่น ตัวอักษรและสัญญาณอื่น ๆ (จึงเป็นชื่อที่พบบ่อยที่สุดสำหรับตรรกะสมัยใหม่ - "สัญลักษณ์")

2.2 การเกิดขึ้นของตรรกะอุปนัย

วิธีการทดลองแบบอุปนัยของเบคอนประกอบด้วยการสร้างแนวคิดใหม่อย่างค่อยเป็นค่อยไปผ่านการตีความข้อเท็จจริงและปรากฏการณ์ทางธรรมชาติ ตามความเห็นของ Bacon เท่านั้น จึงเป็นไปได้ที่จะค้นพบความจริงใหม่ๆ และไม่ต้องระบุเวลา โดยไม่ปฏิเสธการหักลดหย่อน Bacon ได้กำหนดความแตกต่างและคุณลักษณะของความรู้ทั้งสองวิธีดังนี้: “มีสองวิธีที่มีอยู่และสามารถดำรงอยู่ได้สำหรับการค้นพบความจริง คนหนึ่งทะยานจากความรู้สึกและรายละเอียดไปสู่สัจพจน์ทั่วไปที่สุด และดำเนินการจากรากฐานเหล่านี้และความจริงที่ไม่สั่นคลอนของพวกมัน อภิปรายและค้นพบสัจพจน์สายกลาง นี่คือวิธีที่พวกเขาใช้ในวันนี้ อีกวิธีหนึ่งได้มาจากความรู้สึกและรายละเอียดเพิ่มขึ้นเรื่อยๆ เรื่อยๆ จนมาถึงสัจพจน์ทั่วไปในที่สุด นี่คือเส้นทางที่แท้จริง แต่ไม่ได้รับการทดสอบ”

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

วิธีการอุปนัยของเบคอนจำเป็นต้องมีการรวบรวมข้อเท็จจริงและการจัดระบบ เบคอนหยิบยกแนวคิดในการรวบรวมตารางการวิจัยสามตาราง - ตารางการแสดงตนการขาดงานและขั้นตอนกลาง หากใช้ตัวอย่างที่ชื่นชอบของ Bacon หากมีคนต้องการค้นหารูปแบบของความร้อนเขาก็รวบรวมความร้อนหลายกรณีในตารางแรกโดยพยายามกำจัดทุกสิ่งที่ไม่ได้มีเหมือนกันนั่นคือ ซึ่งก็คือเมื่อมีความร้อนเกิดขึ้น ในตารางที่สอง เขารวบรวมกล่องต่างๆ ที่คล้ายกับกล่องแรก แต่ไม่มีความร้อนมารวมกัน ตัวอย่างเช่น ตารางแรกอาจแสดงรายการรังสีของดวงอาทิตย์ที่สร้างความร้อน ในขณะที่ตารางที่สองอาจรวมสิ่งต่างๆ เช่น รังสีที่มาจากดวงจันทร์หรือดวงดาวที่ไม่สร้างความร้อน บนพื้นฐานนี้ มันเป็นไปได้ที่จะกรองสิ่งเหล่านั้นทั้งหมดที่มีอยู่เมื่อมีความร้อนออก สุดท้าย ตารางที่สามจะรวบรวมกรณีที่มีความร้อนในระดับต่างๆ กัน การใช้โต๊ะทั้งสามนี้ร่วมกัน เราสามารถค้นหาสาเหตุที่ทำให้เกิดความร้อนได้ ตามข้อมูลของเบคอน กล่าวคือ การเคลื่อนไหว นี่เผยให้เห็นหลักการศึกษาคุณสมบัติทั่วไปของปรากฏการณ์และการวิเคราะห์ วิธีการอุปนัยของเบคอนยังรวมถึงการดำเนินการทดลองด้วย

ในการทำการทดลอง สิ่งสำคัญคือต้องเปลี่ยนแปลง ทำซ้ำ ย้ายจากพื้นที่หนึ่งไปอีกพื้นที่หนึ่ง ย้อนสถานการณ์ หยุดมัน เชื่อมต่อกับผู้อื่น และศึกษาในสถานการณ์ที่เปลี่ยนแปลงเล็กน้อย หลังจากนี้คุณสามารถไปยังการทดสอบขั้นเด็ดขาดได้ เบคอนหยิบยกข้อเท็จจริงโดยทั่วๆ ไปที่มีประสบการณ์มาเป็นแกนหลักของวิธีการของเขา แต่ก็ไม่ใช่ผู้ปกป้องความเข้าใจด้านเดียวเกี่ยวกับเรื่องนี้ วิธีการเชิงประจักษ์ของเบคอนนั้นโดดเด่นด้วยความจริงที่ว่าเขาอาศัยเหตุผลให้มากที่สุดเท่าที่จะเป็นไปได้ในการวิเคราะห์ข้อเท็จจริง เบคอนเปรียบเทียบวิธีการของเขากับศิลปะของผึ้ง ซึ่งสกัดน้ำหวานจากดอกไม้ แล้วแปรรูปเป็นน้ำผึ้งด้วยทักษะของตัวเอง เขาประณามนักประจักษ์นิยมที่หยาบคายซึ่งรวบรวมทุกสิ่งที่เข้ามาขวางทาง (หมายถึงนักเล่นแร่แปรธาตุ) เช่นเดียวกับมด เช่นเดียวกับนักเก็งกำไรที่เชื่อถือซึ่งเหมือนแมงมุมที่ถักทอสายใยแห่งความรู้จากตัวเอง (หมายถึงนักวิชาการ) ตามข้อมูลของเบคอน ข้อกำหนดเบื้องต้นสำหรับการปฏิรูปวิทยาศาสตร์ควรคือการชำระล้างจิตใจจากข้อผิดพลาด ซึ่งมีสี่ประเภท เขาเรียกอุปสรรคเหล่านี้ว่าเส้นทางแห่งความรู้ไอดอล: ไอดอลแห่งเผ่า, ถ้ำ, จัตุรัส, โรงละคร ไอดอลแห่งเผ่าพันธุ์เป็นความผิดพลาดที่เกิดจากธรรมชาติทางพันธุกรรมของมนุษย์ ความคิดของมนุษย์มีข้อบกพร่อง เนื่องจาก “มันเป็นเหมือนกระจกเงาที่ไม่เรียบ ซึ่งเมื่อเอาธรรมชาติของมันมาผสมกับธรรมชาติของสรรพสิ่งแล้ว ก็สะท้อนสิ่งต่าง ๆ ออกมาในรูปแบบที่บิดเบี้ยวและเสียโฉม”

มนุษย์ตีความธรรมชาติโดยการเปรียบเทียบกับมนุษย์อยู่ตลอดเวลา ซึ่งแสดงออกในการให้เหตุผลทางเทเลวิทยากับธรรมชาติของเป้าหมายสูงสุดที่ไม่มีลักษณะเฉพาะของมัน นี่คือจุดที่ไอดอลของเผ่าปรากฏตัว นิสัยในการคาดหวังความเป็นระเบียบเรียบร้อยในปรากฏการณ์ทางธรรมชาติมากกว่าความเป็นจริงสามารถพบได้ในสิ่งเหล่านี้ - สิ่งเหล่านี้คือไอดอลของเผ่าพันธุ์ เบคอนยังรวมถึงความปรารถนาของจิตใจมนุษย์ในการสรุปทั่วไปที่ไม่มีมูลในหมู่ไอดอลของครอบครัว เขาชี้ให้เห็นว่าวงโคจรของดาวเคราะห์ที่หมุนรอบตัวเองมักถูกมองว่าเป็นวงกลมซึ่งไม่มีมูลความจริง รูปเคารพของถ้ำเป็นข้อผิดพลาดที่เป็นลักษณะเฉพาะของบุคคลหรือกลุ่มคนบางกลุ่มเนื่องจากความเห็นอกเห็นใจและความชอบส่วนตัว ตัวอย่างเช่น นักวิจัยบางคนเชื่อในอำนาจของสมัยโบราณที่ไม่มีข้อผิดพลาด ในขณะที่คนอื่นๆ มักจะให้ความสำคัญกับสิ่งใหม่มากกว่า “จิตใจมนุษย์ไม่ใช่แสงที่แห้งแล้ง แต่ได้รับการเสริมความแข็งแกร่งด้วยความตั้งใจและความหลงใหล และสิ่งนี้ทำให้เกิดสิ่งที่ทุกคนปรารถนาในทางวิทยาศาสตร์ คนเราค่อนข้างจะเชื่อในความจริงในสิ่งที่เขาชอบ... กิเลสตัณหาเปื้อนและทำให้จิตใจเสียในหลายๆ วิธี ซึ่งบางครั้งก็มองไม่เห็น"

2.3 การก่อตัวของตรรกะวิภาษวิธี

หากทั้งตรรกะแบบดั้งเดิม (อริสโตเติล) และตรรกะเชิงสัญลักษณ์ (คณิตศาสตร์) มีคุณภาพที่แตกต่างกันในการพัฒนาตรรกะที่เป็นทางการเดียวกัน ตรรกะวิภาษวิธีก็เป็นองค์ประกอบที่สำคัญอีกประการหนึ่งของตรรกะสมัยใหม่ในฐานะศาสตร์แห่งการคิด เมื่อพิจารณาถึงประวัติศาสตร์ของตรรกะอีกครั้ง เราพบว่าอริสโตเติลได้วางท่าและพยายามแก้ไขปัญหาพื้นฐานหลายประการของตรรกศาสตร์วิภาษวิธี - ปัญหาในการสะท้อนความขัดแย้งที่แท้จริงในแนวความคิด ปัญหาของความสัมพันธ์ระหว่างบุคคลกับส่วนรวม สิ่งต่างๆ และแนวคิดของมัน ฯลฯ องค์ประกอบของตรรกะวิภาษวิธีค่อยๆสะสมในงานของนักคิดรุ่นต่อๆ ไปและปรากฏให้เห็นอย่างชัดเจนโดยเฉพาะอย่างยิ่งในงานของ Bacon, Hobbes, Descartes และ Leibniz อย่างไรก็ตาม เนื่องจากเป็นวิทยาศาสตร์เชิงตรรกะที่ค่อนข้างอิสระ ซึ่งแตกต่างในเชิงคุณภาพจากตรรกะที่เป็นทางการในแนวทางสู่การคิด ตรรกะวิภาษวิธีจึงเริ่มเป็นรูปเป็นร่างในช่วงปลายศตวรรษที่ 18 - ต้นศตวรรษที่ 19 เท่านั้น ประการแรกสิ่งนี้เชื่อมโยงกับความก้าวหน้าทางวิทยาศาสตร์ด้วย ในการพัฒนาของพวกเขา มีการสรุปขั้นตอนใหม่ที่ชัดเจนมากขึ้น: จากวิทยาศาสตร์เกี่ยวกับวัตถุที่จัดตั้งขึ้นและ "สำเร็จรูป" พวกเขากลายเป็นวิทยาศาสตร์เกี่ยวกับกระบวนการมากขึ้นเกี่ยวกับต้นกำเนิดและการพัฒนาของวัตถุเหล่านี้ตลอดจนการเชื่อมโยงที่รวมเข้าด้วยกัน ให้เป็นหนึ่งเดียวที่ยิ่งใหญ่

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

ในสภาวะเช่นนี้ คำถามเกี่ยวกับกฎแห่งการคิดวิภาษวิธีก็เกิดขึ้นเต็มกำลัง คนแรกที่พยายามแนะนำวิภาษวิธีเข้าสู่ตรรกะอย่างมีสติคือนักปรัชญาชาวเยอรมัน I. Kant (1724-1804) จากการทบทวนประวัติศาสตร์เก่าแก่หลายศตวรรษของการพัฒนาตรรกะโดยเริ่มจากอริสโตเติลก่อนอื่นเขาจึงสรุปผลลัพธ์ของการพัฒนานี้ คานท์ไม่ปฏิเสธความสำเร็จของเธอซึ่งแตกต่างจากรุ่นก่อนๆ บางคน ในทางตรงกันข้ามนักปรัชญาเชื่อว่าตรรกะประสบความสำเร็จอย่างแน่นอนและเป็นหนี้ความสำเร็จเหล่านี้ในการ "กำหนดขอบเขต" และขอบเขตของมันถูกกำหนดโดยข้อเท็จจริงที่ว่ามันเป็น "วิทยาศาสตร์ที่กำหนดอย่างละเอียดและพิสูจน์อย่างเคร่งครัด เป็นเพียงกฎเกณฑ์อย่างเป็นทางการของการคิดทั้งหมดเท่านั้น…”

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

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

ความพยายามอันยิ่งใหญ่ในการพัฒนาระบบบูรณาการของตรรกะวิภาษวิธีใหม่เกิดขึ้นโดยนักปรัชญาชาวเยอรมันอีกคน - G. Hegel (1770-1831) ในงานพื้นฐานของเขา "วิทยาศาสตร์แห่งลอจิก" ประการแรกเขาเปิดเผยความขัดแย้งพื้นฐานระหว่างทฤษฎีตรรกะที่มีอยู่กับการฝึกคิดจริง ซึ่งในเวลานั้นได้มาถึงจุดสูงสุดที่สำคัญแล้ว วิธีแก้ไขความขัดแย้งนี้คือการสร้างสรรค์ของเขา - แม้ว่าจะอยู่ในรูปแบบที่แปลกประหลาดและลึกลับทางศาสนา - ของระบบตรรกะใหม่ จุดเน้นอยู่ที่วิภาษวิธีของการคิดในความซับซ้อนและความไม่สอดคล้องกันทั้งหมด เฮเกลได้ตรวจสอบธรรมชาติของการคิด กฎและรูปแบบของความคิดอีกครั้ง ในเรื่องนี้ เขาได้ข้อสรุปว่า “วิภาษวิธีประกอบขึ้นเป็นธรรมชาติของการคิดเอง ซึ่งเมื่อเป็นเหตุผลแล้ว มันก็จะต้องตกอยู่ในการปฏิเสธตนเอง และกลายเป็นความขัดแย้ง”

นักคิดมองว่างานของเขาคือการหาทางแก้ไขความขัดแย้งเหล่านี้ เฮเกลวิพากษ์วิจารณ์ตรรกะเก่าๆ ธรรมดาๆ อย่างรุนแรงถึงความเชื่อมโยงกับวิธีความรู้เชิงอภิปรัชญา

แต่ในการวิพากษ์วิจารณ์ครั้งนี้เขาไปไกลถึงขนาดปฏิเสธหลักการตามกฎแห่งอัตลักษณ์และกฎแห่งความขัดแย้ง ด้วยการบิดเบือนความสัมพันธ์ที่แท้จริงระหว่างตรรกะที่เป็นทางการและตรรกศาสตร์วิภาษวิธี เขาจึงโจมตีอย่างรุนแรงต่อตรรกะแบบแรกและทำให้การพัฒนาที่ตามมาช้าลงอย่างมาก

บทสรุป

ในการพัฒนา ตรรกะต้องผ่านการพัฒนามาเป็นเวลานาน สถานการณ์ที่สำคัญที่สุดที่นำไปสู่การแยกตรรกะออกเป็นสาขาความรู้ที่เป็นอิสระนั้นมีลักษณะเชิงปฏิบัติที่ชัดเจน เนื่องจากตรรกะในเวลานั้นได้รับการพัฒนาโดยเชื่อมโยงอย่างใกล้ชิดกับความต้องการของวาทศิลป์นั่นคือเป็นส่วนหนึ่งของวาทศาสตร์เชิงปฏิบัติ ศิลปะการพูดในที่สาธารณะ ความสามารถในการโต้เถียง และการโน้มน้าวใจผู้คนได้รับการยกย่องอย่างสูงจากชาวกรีกโบราณ และกลายเป็นหัวข้อของการวิเคราะห์พิเศษในโรงเรียนของพวกที่เรียกว่านักโซฟิสต์ ในระยะแรกรวมไปถึงผู้มีปัญญาที่มีอำนาจในเรื่องต่างๆ จากนั้นพวกเขาก็เริ่มเรียกคนที่สอนศิลปะการพูดจาโดยเสียค่าธรรมเนียม พวกเขาต้องสอนความสามารถในการปกป้องมุมมองของตนอย่างน่าเชื่อถือและหักล้างความคิดเห็นของฝ่ายตรงข้าม

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

เหตุการณ์ที่โดดเด่นในประวัติศาสตร์ของตรรกะในยุคปัจจุบันคือการปรากฏตัวของผลงานของนักปรัชญาชาวอังกฤษ F. Bacon "New Organon" ซึ่งในความเห็นของเขาควรจะแทนที่ "Organon" ของอริสโตเติลในฐานะเครื่องมือแห่งความรู้ การประเมินความสำคัญของรูปแบบของข้อสรุปอย่างมีวิจารณญาณที่ใช้ความรู้ที่มีอยู่ F. Bacon พยายามพัฒนาวิธีการศึกษาธรรมชาติด้วยตัวมันเอง เขาวางรากฐานสำหรับการพัฒนาวิธีการในการสร้างความสัมพันธ์ระหว่างเหตุและผลในความเป็นจริงตามวัตถุประสงค์ การสอนของเขาเกี่ยวกับวิธีการเหล่านี้มีลักษณะที่ค่อนข้างสมบูรณ์ในงานของ J. Fr. เฮอร์เชลและเจ. เซนต์. มิลล์. ผลลัพธ์ของการพัฒนาเหล่านี้ได้เข้าสู่ประวัติศาสตร์ของตรรกะภายใต้ชื่อ "วิธีการอุปนัยสำหรับการสร้างความสัมพันธ์เชิงสาเหตุ" นักวิทยาศาสตร์ผู้มีชื่อเสียงในยุคใหม่หลายคนศึกษาประเด็นของตรรกะและมีส่วนช่วยในการพัฒนา: R. Descartes, G. Leibniz, I. Kant และคนอื่น ๆ เป็นที่น่าสังเกตว่า G. Leibniz หยิบยกแนวคิดหลายประการที่มีลักษณะพื้นฐานซึ่งได้รับการพัฒนาอย่างเข้มข้นในตรรกะสมัยใหม่ จุดเริ่มต้นของขั้นตอนใหม่ในการพัฒนาตรรกะถูกทำเครื่องหมายโดยผลงานของ J. Boole, O. de Morgan นักตรรกศาสตร์ชาวรัสเซีย โพเรตสกี้ ความแตกต่างพื้นฐานของขั้นตอนนี้คือการประยุกต์ใช้วิธีการทางคณิตศาสตร์ในการศึกษาการเชื่อมโยงเชิงตรรกะซึ่งนำไปสู่การสร้างส่วนพิเศษของตรรกะ - พีชคณิตของตรรกะซึ่งเสร็จสมบูรณ์ในงานของ E. Schroeder ต่อจากนั้นด้วยความพยายามของ G. Frege, B. Russell - A. Whitehead วิธีพิเศษในการศึกษาความสัมพันธ์เชิงตรรกะและรูปแบบของข้อสรุปได้รับการพัฒนา - วิธีการทำให้เป็นทางการ สาระสำคัญของวิธีนี้คือการใช้ภาษาที่เป็นทางการที่สร้างขึ้นเป็นพิเศษภายในกรอบของตรรกะเพื่ออธิบายโครงสร้างของข้อความ กฎของตรรกะ และกฎของการอนุมาน การประยุกต์ใช้วิธีนี้เปิดโอกาสใหม่ๆ สำหรับวิทยาศาสตร์นี้ และเป็นจุดเริ่มต้นของการพัฒนาอย่างเข้มข้นภายใต้ชื่อ "ตรรกะเชิงสัญลักษณ์"

ปัจจุบัน ตรรกะเป็นวิทยาศาสตร์ที่มีการแบ่งสาขาและมีหลายแง่มุม ผลลัพธ์และวิธีการถูกนำมาใช้อย่างแข็งขันในหลายสาขาวิชาของความรู้ทางทฤษฎี รวมถึงความรู้ที่เกี่ยวข้องโดยตรงกับกิจกรรมภาคปฏิบัติสมัยใหม่จำนวนหนึ่ง พบการประยุกต์ใช้ในปรัชญา คณิตศาสตร์ จิตวิทยา ไซเบอร์เนติกส์ ภาษาศาสตร์ ฯลฯ จากมุมมองทั่วไปที่สุดในตรรกะสมัยใหม่ ดังที่เราได้กล่าวไปแล้ว มีสามส่วนใหญ่: ตรรกะเชิงสัญลักษณ์ ("เป็นทางการ") ตรรกะเชิงตรรกะ และวิธีการ

รายชื่อวรรณกรรมที่ใช้แล้ว

Bryushinkin V.N. ตรรกะ: หนังสือเรียน. สำหรับมหาวิทยาลัย – ฉบับที่ 3; ถูกต้องเพิ่ม – อ.: การ์ดาริกิ, 2544.
เดกเทียเรฟ M.G. ตรรกะ: หนังสือเรียน. คู่มือสำหรับมหาวิทยาลัย – ม.: เพอร์เซ่, 2003.
Getmanova A.D. ตำราเรียนเกี่ยวกับตรรกะ – ม., 1995.
Eryshev A. A. et al. ตรรกะ: หลักสูตรการบรรยาย / A. A. Eryshev, N. P. Lukashevich, E. F. Slastenko - เคียฟ: MAUP, 2000.
อีวิน เอ.เอ. ลอจิก – ม.: มัธยมปลาย, 2545.
Kirillov V.I., Starchenko A.A. ลอจิก - ม., 2000.
ลอจิก หนังสือเรียน / เอ็ด. อิวาโนวา อี.ไอ. – ม., 2000.