6 ประเภทหลักตรรกะ

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

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

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

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

ตรรกะที่เกี่ยวข้องมากที่สุด

เป็นทางการ

ตรรกะที่เป็นทางการหรือที่เรียกกันว่าตรรกะคลาสสิกหรือตรรกะอริสโตเติ้ลคือการศึกษาของข้อเสนอข้อโต้แย้งคำสั่งหรือประโยคจากมุมมองเชิงโครงสร้าง

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

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

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

ภายในตรรกะอย่างเป็นทางการมีสองประเภทที่สำคัญมาก: ตรรกะการอนุมานและตรรกะอุปนัย

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

ยกตัวอย่างเช่นในตรรกะเชิงนิรนัยเราสามารถพูดได้ว่าถ้ามนุษย์มีขาและคลาราเป็นมนุษย์แล้วคลาราก็มีขา

ในกรณีของตรรกะอุปนัยการสร้างข้อโต้แย้งเกิดขึ้นในทางตรงกันข้าม; นั่นคือแนวคิดทั่วไปถูกสร้างขึ้นจากข้อโต้แย้งที่เฉพาะเจาะจง

ตัวอย่างเช่นภายในตรรกะอุปนัยเราสามารถพูดได้ว่าถ้าแมวตัวหนึ่งชอบปลาตัวหนึ่งก็ชอบตัวมันและอีกตัวก็เช่นกันแมวทุกตัวก็จะชอบปลา

ไม่เป็นทางการ

ตรรกะทางการเป็นสาขาหนึ่งของการศึกษาที่มุ่งเน้นไปที่ภาษาและข้อความที่เล็ดลอดออกมาจากการสร้างความหมายและข้อโต้แย้ง

ตรรกะนี้แตกต่างจากตรรกะที่เป็นทางการในตรรกะที่เป็นทางการนั้นศึกษาโครงสร้างของประโยคและข้อเสนอ; และตรรกะที่ไม่เป็นทางการมุ่งเน้นไปที่พื้นหลังของข้อความที่ส่ง

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

ไม่คลาสสิก

ไม่ใช่ตรรกะคลาสสิกหรือตรรกะที่ทันสมัยมีต้นกำเนิดในศตวรรษที่สิบเก้าและเกิดขึ้นในการต่อต้านการ enunciations ของตรรกะคลาสสิก

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

นี่คือองค์ประกอบทางคณิตศาสตร์และสัญลักษณ์ที่รวมอยู่งบใหม่หรือทฤษฎีบทที่มาประกอบการข้อบกพร่องของระบบตรรกะอย่างเป็นทางการ

ภายในตรรกะที่ไม่คลาสสิคมีตรรกะย่อยต่าง ๆ เช่น modal, คณิตศาสตร์, trivalent และอื่น ๆ

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

เป็นสัญลักษณ์

สัญลักษณ์เชิงตรรกะเรียกอีกอย่างหนึ่งว่าตรรกะลำดับแรกหรือตรรกะทางคณิตศาสตร์และมีลักษณะโดยใช้สัญลักษณ์ที่ประกอบด้วยภาษาใหม่ที่ "แปล" อาร์กิวเมนต์

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

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

จากนั้นสัญลักษณ์เชิงตรรกะช่วยให้การรักษาข้อเสนอผ่านกฎหมายการคำนวณเพื่อหลีกเลี่ยงความสับสนหรือความไม่ถูกต้อง

มันพยายามที่จะรวมองค์ประกอบทางคณิตศาสตร์ในการวิเคราะห์โครงสร้างตรรกะอย่างเป็นทางการ ในสาขาคณิตศาสตร์ใช้ตรรกะเพื่อพิสูจน์ทฤษฎีบท

ในระยะสั้นสัญลักษณ์หรือตรรกะทางคณิตศาสตร์พยายามที่จะแสดงความคิดของมนุษย์ผ่านภาษาคณิตศาสตร์

การประยุกต์ใช้ทางคณิตศาสตร์ของตรรกะนี้ช่วยให้การขัดแย้งและการก่อสร้างมีความแม่นยำมากขึ้น

เป็นกิริยาช่วย

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

ตรรกะกิริยาอ้างว่าสอดคล้องกับความคิดของมนุษย์มากขึ้นดังนั้นจึงรวมถึงการใช้สิ่งปลูกสร้างเช่น "สามารถ", "อาจ", "อาจจะ", "บางครั้ง", "บางที", "อาจจะ", "อาจเป็น", "อาจเป็น" ", ท่ามกลางคนอื่น ๆ

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

การคำนวณ

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

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