ตรรกะที่สำคัญที่สุด 4 ประเภท (และคุณสมบัติ)

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

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

• บทความที่แนะนำ: ["The 10 ตรรกะลอจิคัลและการโต้เถียงที่ผิดพลาด"] (The 10 เหตุผลของการเข้าใจผิดตรรกะและเหตุผล)

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

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

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

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

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

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

ตรรกะทั้ง 4 ประเภท

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

1. ลอจิกอย่างเป็นทางการ

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

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

2. ตรรกะนอกระบบ

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

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

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

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

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

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

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

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

มันมักจะแบ่งออกเป็นสองชนิดย่อย:

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

เหตุผลเชิงอุปนัยนิรนัยและโมดอล

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

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

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

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

• Groarke, L. (2017) ตรรกะที่ไม่เป็นทางการ สารานุกรมปรัชญาสแตนฟอร์ด สืบค้น 2 ตุลาคม 2018 มีให้ที่ https://plato.stanford.edu/entries/logic-informal/
• ลอจิก (2018) พื้นฐานของปรัชญา สืบค้น 2 ตุลาคม 2018 มีให้ที่ https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. และ Kouri, S. (2018) ตรรกะคลาสสิก สืบค้น 2 ตุลาคม 2018 มีให้ใน Logic (2018) พื้นฐานของปรัชญา สืบค้น 2 ตุลาคม 2018 มีให้ที่ https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018) Modal Logic สารานุกรมปรัชญาสแตนฟอร์ด สืบค้น 2 ตุลาคม 2018 มีให้ที่ https://plato.stanford.edu/entries/logic-modal/