หุ้น:
6 ประเภทหลักตรรกะ
มีหลายแบบด้วยกัน ประเภทของตรรกะ และมุ่งเน้นการศึกษาเพื่อทำความเข้าใจเกี่ยวกับเหตุผลและระบุว่าเมื่อใดที่ถูกต้องหรือไม่ถูกต้อง.
การศึกษาตรรกะได้วิวัฒนาการมาจากยุคของนักปรัชญาชาวกรีกอริสโตเติลมาจนถึงปัจจุบันและสิ่งนี้ได้รับการปรับด้วยความตั้งใจที่จะมีความเฉพาะเจาะจงมากขึ้นและในเวลาเดียวกันก็ปรับให้เข้ากับชีวิตประจำวันของมนุษย์ได้มากขึ้น แอปพลิเคชั่นที่จับต้องได้มากขึ้นในสาขาต่างๆ.
ตรรกะหาการศึกษาอย่างเป็นระบบเกี่ยวกับข้อโต้แย้งและข้อเสนอและตรรกะประเภทต่าง ๆ อนุญาตให้สามารถศึกษาได้ทั้งโครงสร้างที่เป็นทางการอย่างแท้จริงของข้อความเหล่านี้ซึ่งเกี่ยวข้องกับเนื้อหาและพลังของเนื้อหาดังกล่าว.
แม้ว่าตรรกะจะขึ้นอยู่กับการศึกษาของงบมันไม่ได้มุ่งเน้นที่ชัดเจนเกี่ยวกับภาษาธรรมชาติ (ภาษาที่เรารู้) แต่ยูทิลิตี้ของมันได้มาถึงพื้นที่ที่หลากหลายและมีโครงสร้างที่แตกต่างกันเช่นคณิตศาสตร์และ การคำนวณ.
ตรรกะที่เกี่ยวข้องมากที่สุด
เป็นทางการ
ตรรกะที่เป็นทางการหรือที่เรียกกันว่าตรรกะคลาสสิกหรือตรรกะอริสโตเติ้ลคือการศึกษาของข้อเสนอข้อโต้แย้งคำสั่งหรือประโยคจากมุมมองเชิงโครงสร้าง.
เป็นวิธีคิดโครงสร้างและกำหนดรูปแบบที่ถูกต้องหรือไม่ถูกต้องของวิธีการเฉพาะ.
ตรรกะที่เป็นทางการไม่ได้มุ่งเน้นไปที่ความจริงหรือความเท็จของเนื้อหาของการโต้แย้งที่เฉพาะเจาะจง แต่มุ่งเน้นไปที่ความถูกต้องหรือการก่อสร้างรูปแบบของมัน.
กล่าวคือวัตถุแห่งการศึกษาของตรรกะอย่างเป็นทางการไม่ได้ประจักษ์สำหรับนักตรรกวิทยามันไม่เกี่ยวข้องเพื่อตรวจสอบว่าอาร์กิวเมนต์ที่นำเสนอเป็นจริงและพิสูจน์แล้ว; แต่การศึกษาของเขามุ่งเน้นไปที่โครงสร้างของการโต้แย้งอย่างชัดเจน.
ภายในตรรกะอย่างเป็นทางการมีสองประเภทที่สำคัญมากคือตรรกะการอนุมานและตรรกะอุปนัย.
ตรรกะนิรนัยหมายถึงข้อความเฉพาะที่สร้างขึ้นจากแนวคิดทั่วไป การอนุมานเชิงตรรกะประเภทนี้สามารถสร้างขึ้นจากแนวคิดหรือทฤษฎีที่มีอยู่แล้ว.
ตัวอย่างเช่นภายในตรรกะการอนุมานเราอาจพูดได้ว่าถ้ามนุษย์มีขาและคลาราเป็นมนุษย์แล้วคลาราก็มีขา.
ในกรณีของตรรกะอุปนัยการสร้างข้อโต้แย้งเกิดขึ้นในทางตรงกันข้าม; นั่นคือแนวคิดทั่วไปถูกสร้างขึ้นจากข้อโต้แย้งที่เฉพาะเจาะจง.
ตัวอย่างเช่นภายในตรรกะอุปนัยเราสามารถพูดได้ว่าถ้าแมวตัวหนึ่งชอบปลาและอีกตัวก็ชอบมันและอีกตัวก็เช่นกันแมวทุกตัวก็จะชอบปลา.
ไม่เป็นทางการ
ตรรกะทางการเป็นสาขาหนึ่งของการศึกษาที่มุ่งเน้นไปที่ภาษาและข้อความที่เล็ดลอดออกมาจากการสร้างความหมายและข้อโต้แย้ง.
ตรรกะนี้แตกต่างจากตรรกะที่เป็นทางการในตรรกะที่เป็นทางการนั้นศึกษาโครงสร้างของประโยคและข้อเสนอ; และตรรกะที่ไม่เป็นทางการมุ่งเน้นไปที่พื้นหลังของข้อความที่ส่ง.
วัตถุประสงค์ของการศึกษาคือวิธีที่จะโต้แย้งเพื่อให้ได้ผลลัพธ์ที่ต้องการ ตรรกะที่ไม่เป็นทางการตรวจสอบความขัดแย้งทางตรรกะที่มีความสอดคล้องกันมากขึ้นในหมู่ผู้อื่นที่มีโครงสร้างการโต้แย้งที่อ่อนแอ.
ไม่คลาสสิก
ไม่ใช่ตรรกะคลาสสิกหรือตรรกะที่ทันสมัยมีต้นกำเนิดในศตวรรษที่สิบเก้าและเกิดขึ้นในการต่อต้านคำสั่งของตรรกะคลาสสิก.
มันกำหนดรูปแบบอื่น ๆ ของการวิเคราะห์ที่สามารถครอบคลุมมากกว่าที่เป็นไปได้ที่จะล้อมรอบด้วยวิธีการแบบดั้งเดิมของตรรกะ.
นี่คือสิ่งที่องค์ประกอบทางคณิตศาสตร์และสัญลักษณ์รวมอยู่ด้วยงบใหม่หรือทฤษฎีบทที่ประกอบขึ้นเพื่อชดเชยข้อบกพร่องของระบบลอจิกอย่างเป็นทางการ.
ภายในตรรกะที่ไม่คลาสสิกมีประเภทย่อยของตรรกะที่แตกต่างกันเช่น modal, คณิตศาสตร์, trivalent, หมู่คนอื่น ๆ.
ตรรกะประเภทนี้ทั้งหมดแตกต่างกันไปบ้างจากตรรกะที่เป็นทางการหรือรวมองค์ประกอบใหม่ที่ประกอบเข้าด้วยกันและอนุญาตให้การศึกษาเชิงตรรกะของข้อความเฉพาะเจาะจงมีความแม่นยำมากขึ้นและปรับให้เข้ากับอรรถประโยชน์ในชีวิตประจำวัน.
เป็นสัญลักษณ์
สัญลักษณ์ลอจิกจะเรียกว่าลอจิกลำดับที่หนึ่งหรือตรรกะทางคณิตศาสตร์และมีลักษณะโดยใช้สัญลักษณ์ที่ประกอบด้วยภาษาใหม่ที่ "แปล" ข้อโต้แย้ง.
ความตั้งใจของสัญลักษณ์เชิงตรรกะคือการแปลงความคิดเชิงนามธรรมให้เป็นโครงสร้างที่เป็นทางการมากขึ้น.
ในความเป็นจริงมันไม่ได้ใช้ภาษาธรรมชาติ (ภาษา) แต่ใช้ภาษาทางเทคนิคที่แปลงประโยคเป็นองค์ประกอบที่ไวต่อการประยุกต์ใช้กฎที่แน่นอนมากกว่าที่จะสามารถนำมาใช้ในภาษาธรรมชาติ.
จากนั้นสัญลักษณ์เชิงตรรกะช่วยให้การรักษาข้อเสนอผ่านกฎหมายการคำนวณเพื่อหลีกเลี่ยงความสับสนหรือความไม่ถูกต้อง.
มันพยายามที่จะรวมองค์ประกอบทางคณิตศาสตร์ในการวิเคราะห์โครงสร้างตรรกะอย่างเป็นทางการ ในสาขาคณิตศาสตร์ใช้ตรรกะเพื่อพิสูจน์ทฤษฎีบท.
ในระยะสั้นสัญลักษณ์หรือตรรกะทางคณิตศาสตร์พยายามที่จะแสดงความคิดของมนุษย์ผ่านภาษาคณิตศาสตร์.
การประยุกต์ใช้ทางคณิตศาสตร์ของตรรกะนี้ช่วยให้การขัดแย้งและการก่อสร้างมีความแม่นยำมากขึ้น.
เป็นกิริยาช่วย
ตรรกะ Modal มุ่งเน้นไปที่การศึกษาของการขัดแย้ง แต่เพิ่มองค์ประกอบที่เกี่ยวข้องกับความเป็นไปได้ว่าคำสั่งในคำถามเป็นจริงหรือเท็จ.
ตรรกะของกิริยาอ้างว่าสอดคล้องกับความคิดของมนุษย์มากขึ้นดังนั้นจึงรวมถึงการใช้สิ่งปลูกสร้างเช่น "สามารถ", "อาจ", "อาจจะ", "บางครั้ง", "บางที", "อาจจะ", "อาจเป็น", "อาจเป็น" ", ท่ามกลางคนอื่น ๆ.
ในตรรกะโมดัลมันเป็นเรื่องของการพิจารณาสถานการณ์ที่มีความเป็นไปได้และมีแนวโน้มที่จะพิจารณาความเป็นไปได้ทั้งหมดที่มีอยู่จากมุมมองเชิงตรรกะ.
การคำนวณ
ตรรกะการคำนวณเป็นตรรกะชนิดหนึ่งที่ได้มาจากตรรกะเชิงสัญลักษณ์หรือเชิงคณิตศาสตร์โดยจะถูกนำไปใช้ในด้านการคำนวณเท่านั้น.
โปรแกรมคอมพิวเตอร์ใช้ภาษาของการเขียนโปรแกรมเพื่อการพัฒนาและด้วยตรรกะมันเป็นไปได้ที่จะทำงานกับระบบภาษาเหล่านั้นกำหนดงานเฉพาะและดำเนินการตรวจสอบความถูกต้อง.
การอ้างอิง
- "ตรรกะ" ในสารานุกรมบริแทนนิกา สืบค้นเมื่อวันที่ 4 สิงหาคม 2560 จาก Encyclopedia Britannica: britannica.com
- "ตรรกะอย่างเป็นทางการ" ในสารานุกรมบริแทนนิกา สืบค้นเมื่อวันที่ 4 สิงหาคม 2560 จาก Encyclopedia Britannica: britannica.com
- Hernández, F. "ตรรกะการคำนวณ" ที่มหาวิทยาลัยอิสระแห่งชาติของเม็กซิโก สืบค้นเมื่อวันที่ 4 สิงหาคม 2560 จาก National Autonomous University of Mexico: unam.mx
- Muñoz, C. "Logics ที่ไม่ใช่คลาสสิก" ที่ Complutense University of Madrid สืบค้นเมื่อวันที่ 4 สิงหาคม 2560 จาก Universidad Complutense de Madrid: ucm.es
- Julia, J. "ตรรกะสัญลักษณ์คืออะไร" ใน eHow en Español สืบค้นเมื่อวันที่ 4 สิงหาคม 2017 จาก eHow en Español: ehowenespanol.com
- Oller, C. "ตรรกะและการโต้แย้งอย่างเป็นทางการ" (2549) ที่มหาวิทยาลัยลาพลาตา สืบค้นเมื่อวันที่ 4 สิงหาคม 2560 จาก National University of La Plata: rfytp.fahce.unlp.edu.ar
- "การอนุมานแบบหักเหและอุปนัย" ใน Junta de Extremadura สืบค้นเมื่อวันที่ 4 สิงหาคม 2560 ใน Junta de Extremadura: educarex.es.