แนวคิดในคำจำกัดความ ABC

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

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

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

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

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

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

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