4 ชนิดที่สำคัญที่สุดของตรรกะ (และคุณลักษณะ)
ลอจิกคือการศึกษาเหตุผลและการอนุมาน . เป็นชุดของคำถามและการวิเคราะห์ที่ช่วยให้เราเข้าใจว่าอาร์กิวเมนต์ที่ถูกต้องต่างจาก fallacies และวิธีการที่เรามาถึงพวกเขา
สำหรับเรื่องนี้การพัฒนาระบบและรูปแบบการเรียนที่แตกต่างกันเป็นสิ่งที่ขาดไม่ได้ซึ่งทำให้เกิดตรรกะที่สำคัญสี่ประเภท เราจะดูด้านล่างว่าแต่ละเรื่องเกี่ยวกับอะไร
- บทความที่แนะนำ: ["10 ชนิดของข้อกล่าวหาเชิงตรรกะและข้อโต้แย้ง"] (ข้อผิดพลาดทางตรรกะและข้อโต้แย้ง 10 ประการ)
ตรรกะคืออะไร?
คำว่า "ตรรกะ" มาจากภาษากรีก "โลโก" ซึ่งสามารถแปลได้หลายวิธีคือคำคิดอาร์กิวเมนต์หลักการหรือเหตุผลเป็นหลัก ในแง่นี้ตรรกะคือการศึกษาหลักการและเหตุผล
การศึกษาครั้งนี้มีวัตถุประสงค์เพื่อทำความเข้าใจเกณฑ์การอนุมานที่แตกต่างกันและวิธีการที่เรามาถึงการสาธิตที่ถูกต้องตรงกันข้ามกับการประท้วงที่ไม่ถูกต้อง ดังนั้นคำถามพื้นฐานของตรรกะคืออะไรคือความคิดที่ถูกต้องและเราจะแยกความแตกต่างระหว่างอาร์กิวเมนต์ที่ถูกต้องและความผิดพลาดได้อย่างไร?
ในการตอบคำถามนี้ตรรกะนำเสนอวิธีต่างๆในการจำแนกงบและข้อคิดเห็นไม่ว่าจะเกิดขึ้นในระบบที่เป็นทางการหรือในภาษาธรรมชาติ โดยเฉพาะอย่างยิ่งจะวิเคราะห์ข้อเสนอ (ประโยคที่เปิดเผย) ที่สามารถเป็นจริงหรือเท็จเช่นเดียวกับความผิดพลาดความขัดแย้งความขัดแย้งที่เกี่ยวข้องกับความเป็นเหตุเป็นผลและโดยทั่วไปทฤษฎีของการถกเถียง
ในแง่ทั่วไปการพิจารณาระบบเป็นตรรกะต้องเป็นไปตามเกณฑ์สามข้อ:
- ความมั่นคง (ไม่มีความขัดแย้งระหว่างทฤษฎีที่สร้างระบบ)
- ความแข็งแรง (ระบบทดสอบไม่รวมการอนุมานเท็จ)
- ความสมบูรณ์ (ทุกประโยคที่แท้จริงจะต้องสามารถพิสูจน์ได้)
ตรรกะ 4 ประเภท
ตามที่เราได้เห็นตรรกะใช้เครื่องมือที่แตกต่างกันเพื่อทำความเข้าใจเหตุผลที่เราใช้เพื่อปรับอะไรบางอย่าง ตามเนื้อผ้าสี่ประเภทหลักของตรรกะได้รับการยอมรับแต่ละคนมี subtypes และ specificities บาง เราจะดูด้านล่างว่าแต่ละเรื่องเกี่ยวกับอะไร
1. ตรรกะทางการ
หรือที่เรียกว่าตรรกะแบบดั้งเดิมหรือปรัชญาตรรกะ, มันเกี่ยวกับการศึกษาการอนุมานด้วยเนื้อหาอย่างเป็นทางการและชัดเจนอย่างหมดจด . (ตรรกะหรือทางคณิตศาสตร์) ซึ่งความหมายไม่ได้อยู่ภายใน แต่สัญลักษณ์ของมันมีความหมายเนื่องจากการประยุกต์ใช้ที่เป็นประโยชน์พวกเขาจะได้รับ ปรัชญาประเพณีที่เกิดขึ้นหลังถูกเรียกว่า "แบบแผน" อย่างแม่นยำ
ในทางกลับกันระบบที่เป็นทางการคือระบบที่ใช้เพื่อแยกข้อสรุปออกจากสถานที่หนึ่งแห่งหรือมากกว่า (ข้อสรุปที่เห็นได้ชัด) หรือทฤษฎี (ข้อสรุปของชุดของกฎเกณฑ์ของการอนุมานและสัจพจน์)
2. เหตุผลไม่เป็นทางการ
ส่วนทางตรรกะที่ไม่เป็นทางการคือระเบียบวินัยล่าสุดซึ่ง ศึกษาประเมินและวิเคราะห์ข้อโต้แย้งที่แสดงในภาษาธรรมชาติหรือในชีวิตประจำวัน . ดังนั้นจึงได้รับประเภทของ "นอกระบบ" สามารถพูดหรือเขียนภาษาหรือกลไกใด ๆ และปฏิสัมพันธ์ที่ใช้ในการสื่อสารอะไรก็ได้ ซึ่งแตกต่างจากเหตุผลทางการซึ่งตัวอย่างเช่นจะนำไปใช้กับการศึกษาและพัฒนาภาษาคอมพิวเตอร์; ภาษาทางการหมายถึงภาษาและภาษา
ตรรกะแบบไม่เป็นทางการสามารถวิเคราะห์ได้จากเหตุผลส่วนบุคคลและข้อโต้แย้งในการอภิปรายทางการเมืองข้อโต้แย้งทางกฎหมายหรือสถานที่ที่เผยแพร่โดยสื่อเช่นหนังสือพิมพ์โทรทัศน์อินเทอร์เน็ตเป็นต้น
3. ตรรกศาสตร์สัญลักษณ์
ตรรกะสัญลักษณ์แสดงความสัมพันธ์ระหว่างสัญลักษณ์ บางครั้งก็ใช้ภาษาคณิตศาสตร์ที่ซับซ้อนเนื่องจากมีหน้าที่ในการศึกษาปัญหาที่ตรรกะทางการแบบดั้งเดิมพบว่าซับซ้อนหรือยากที่จะกล่าวถึง โดยปกติจะแบ่งออกเป็นสองชนิดย่อย:
- ตรรกะ Predicative หรือลำดับแรก : เป็นระบบที่เป็นทางการประกอบด้วยสูตรและตัวแปรเชิงปริมาณ
- ประพจน์ : มันเป็นระบบที่เป็นทางการประกอบด้วยข้อเสนอซึ่งสามารถที่จะสร้างข้อเสนออื่น ๆ ผ่านการเชื่อมต่อที่เรียกว่า "การเชื่อมต่อเชิงตรรกะ" ในนี้เกือบจะไม่มีตัวแปรเชิงปริมาณ
4. เหตุผลทางคณิตศาสตร์
ขึ้นอยู่กับผู้เขียนที่อธิบายมันตรรกะทางคณิตศาสตร์สามารถพิจารณาประเภทของตรรกะทางการ อื่น ๆ พิจารณาว่าตรรกะทางคณิตศาสตร์รวมทั้งการประยุกต์ใช้ตรรกศาสตร์อย่างเป็นทางการเพื่อคณิตศาสตร์และการประยุกต์ใช้เหตุผลทางคณิตศาสตร์เพื่อตรรกะทางการ.
พูดกว้างการใช้ภาษาคณิตศาสตร์ในการสร้างระบบตรรกะทำให้สามารถทำซ้ำจิตใจมนุษย์ ตัวอย่างเช่นนี่เป็นปัจจุบันมากในการพัฒนาปัญญาประดิษฐ์และในกระบวนทัศน์การคำนวณในการศึกษาความรู้ความเข้าใจ
โดยปกติจะแบ่งออกเป็นสองชนิดย่อย:
- logicism : เกี่ยวกับการใช้ตรรกะทางคณิตศาสตร์ ตัวอย่างของประเภทนี้คือทฤษฎีการพิสูจน์ทฤษฎีแบบจำลองทฤษฎีเซตและทฤษฎีการทับทิม
- intuitionism : ระบุว่าตรรกะและคณิตศาสตร์เป็นวิธีการที่แอพพลิเคชันมีความสอดคล้องกันในการสร้างโครงสร้างทางจิตที่ซับซ้อน แต่เขากล่าวว่าในตัวเองตรรกะและคณิตศาสตร์ไม่สามารถอธิบายคุณสมบัติลึกขององค์ประกอบที่พวกเขาวิเคราะห์
การอุปนัยการอนุมานและกิริยาช่วย
ในทางกลับกัน, มีเหตุผลสามประเภทที่สามารถพิจารณาระบบตรรกะได้ . นี่เป็นกลไกที่ทำให้เราสามารถสรุปข้อสรุปได้จากสถานที่ การให้เหตุผลเชิงอนุมานทำให้การสกัดดังกล่าวมาจากสถานที่ตั้งทั่วไปในสถานที่เฉพาะเจาะจง ตัวอย่างคลาสสิกคือที่เสนอโดยอริสโตเติล: มนุษย์ทุกคนเป็นมนุษย์ (นี่คือข้อสมมติฐานทั่วไป); โสกราตีสเป็นมนุษย์ (เป็นหลักฐานสำคัญ) และในที่สุดโสกราตีสเป็นมนุษย์ (นี่คือบทสรุป)
เหตุผลของการอนุมานคือกระบวนการที่สรุปไปในทิศทางตรงกันข้าม: โดยเฉพาะจากทั่วไป ตัวอย่างของเรื่องนี้ก็คือ "กากาทุกคนที่ฉันเห็นเป็นสีดำ" (หลักฐานเฉพาะ); แล้วกามทั้งหมดมีสีดำ (ข้อสรุป)
ในที่สุดการให้เหตุผลหรือกิริยาเป็นกิริยาช่วยขึ้นอยู่กับอาร์กิวเมนต์ที่น่าจะเป็นนั่นคือพวกเขาแสดงความเป็นไปได้ (กิริยา) เป็นระบบตรรกะที่เป็นทางการซึ่งมีคำต่างๆเช่น "could", "can", "should", "finally"
บรรณานุกรมอ้างอิง:
- Groarke, L. (2017) ลอจิกแบบไม่เป็นทางการ สารานุกรมปรัชญาสแตนฟอร์ด เรียก 2 ตุลาคม 2018 พร้อมใช้งานที่ //plato.stanford.edu/entries/logic-informal/
- ลอจิก (2018) พื้นฐานของปรัชญา สืบค้นเมื่อวันที่ 2 ตุลาคม 2018 มีจำหน่ายที่ //www.philosophybasics.com/branch_logic.html
- ชาปิโรส์, S. และ Kouri, S. (2018) ลอจิกคลาสสิก เรียก 2 ตุลาคม 2018 พร้อมใช้งานในลอจิก (2018) พื้นฐานของปรัชญา สืบค้นเมื่อวันที่ 2 ตุลาคม 2018 มีจำหน่ายที่ //www.philosophybasics.com/branch_logic.html
- การ์สันเจ (2018) ตรรกะทางลัด สารานุกรมปรัชญาสแตนฟอร์ด เรียก 2 ตุลาคม 2018 พร้อมใช้งานที่ //plato.stanford.edu/entries/logic-modal/
