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