4 ประเภทที่สำคัญที่สุดของตรรกะ (และลักษณะ)

ตรรกะคือการศึกษาการใช้เหตุผลและการอนุมาน. เป็นชุดของคำถามและการวิเคราะห์ที่ทำให้เข้าใจได้ว่าข้อโต้แย้งที่ถูกต้องแตกต่างจากการเข้าใจผิดอย่างไร และเราไปถึงได้อย่างไร

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

• บทความแนะนำ: "ความเข้าใจผิดเชิงตรรกะและข้อโต้แย้ง 10 ประเภท"

ตรรกะคืออะไร?

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

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

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

โดยทั่วไปแล้ว ในการพิจารณาระบบอย่างมีเหตุผล ระบบจะต้องเป็นไปตามเกณฑ์สามประการ:

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

ตรรกะ 4 ประเภท types

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

1. ตรรกะทางการ

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

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

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

2. ตรรกะทางการ

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

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

3. ตรรกะเชิงสัญลักษณ์

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

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

4. ตรรกะทางคณิตศาสตร์

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

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

มักจะแบ่งออกเป็นสองประเภทย่อย:

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

การให้เหตุผลเชิงอุปนัย นิรนัย และกิริยาช่วย

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

ในส่วนของการให้เหตุผลเชิงอุปนัยเป็นกระบวนการที่ข้อสรุปถูกวาดไปในทิศทางตรงกันข้าม: จากเฉพาะไปสู่ทั่วไป ตัวอย่างของสิ่งนี้คือ "กาทั้งหมดที่ฉันเห็นเป็นสีดำ" (หลักฐานเฉพาะ); กาทั้งหมดจึงเป็นสีดำ (สรุป)

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

การอ้างอิงบรรณานุกรม:

• กรอค, แอล. (2017). ตรรกะที่ไม่เป็นทางการ สารานุกรมปรัชญาสแตนฟอร์ด สืบค้นเมื่อ 2 ตุลาคม 2018. มีจำหน่ายใน https://plato.stanford.edu/entries/logic-informal/
• ลอจิก (2018) พื้นฐานของปรัชญา สืบค้นเมื่อ 2 ตุลาคม 2018. มีจำหน่ายใน https://www.philosophybasics.com/branch_logic.html
• แม็กนานี, แอล. (2001). การลักพาตัว เหตุผล และวิทยาศาสตร์: กระบวนการของการค้นพบและคำอธิบาย นิวยอร์ก: สำนักพิมพ์ Kluwer Academic Plenum
• แมคกินน์, ซี. (2000). คุณสมบัติเชิงตรรกะ: เอกลักษณ์, การดำรงอยู่, การทำนาย, ความจำเป็น, ความจริง อ็อกซ์ฟอร์ด: คลาเรนดอนกด.
• ควิน, W.V.O. (1986) (1970). ปรัชญาของลอจิก เคมบริดจ์, แมสซาชูเซตส์.: สำนักพิมพ์มหาวิทยาลัยฮาร์วาร์ด.
• ชาปิโร, เอส. และ Kouri, S. (2018). ลอจิกคลาสสิก สืบค้นเมื่อ 2 ตุลาคม 2018. มีอยู่ในลอจิก (2018) พื้นฐานของปรัชญา สืบค้นเมื่อ 2 ตุลาคม 2018. มีจำหน่ายใน https://www.philosophybasics.com/branch_logic.html
• การ์สัน, เจ. (2018). โมดอลลอจิก สารานุกรมปรัชญาสแตนฟอร์ด สืบค้นเมื่อ 2 ตุลาคม 2018. มีจำหน่ายใน https://plato.stanford.edu/entries/logic-modal/