ลอจิกคืออะไร

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

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

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

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

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

ดูที่นี่ ทั้งหมดเกี่ยวกับความหมายของ อภิปรัชญา .

ตรรกศาสตร์ของอริสโตเติ้ล

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

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

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

ตรรกะการเขียนโปรแกรม

ตรรกะการเขียนโปรแกรมประกอบด้วยรายละเอียดเพิ่มเติมของลำดับตรรกะ หลักการพื้นฐานของมันคือตัวแปรและค่าคงที่ ชื่อที่แทนค่าและไม่ต้องการการซ้ำ และประเภทข้อมูล แบ่งออกเป็น Type 1: text, Type 2: integer, Type 3: real และ Type 4: ตรรกะ ดูว่าคำอธิบายเป็นอย่างไร ของประเภทข้อมูลเหล่านี้:

ประเภทที่ 1: สตริงของอักขระตั้งแต่หนึ่งตัวขึ้นไป โดยปกติจะอยู่ในเครื่องหมายอัญประกาศคู่ ช่องว่างยังเป็นอักขระด้วย

ประเภทที่ 2: ค่าตัวเลขที่เป็นค่าลบและค่าบวกโดยไม่มีตำแหน่งทศนิยม

ประเภทที่ 3: ค่าตัวเลขที่เป็นค่าลบและค่าบวกที่มีตำแหน่งทศนิยม

ประเภทที่ 4: ทางเลือก เช่น ใช่ ไม่ จริง และเท็จ

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

ภาษาโปรแกรมระดับสูงนั้นเข้าใจง่าย เพราะอย่างแรก คำสั่งถูกสร้างขึ้นในไดอะแกรม โดยมีการแปลงตามที่ต้องการ action, SQL (Specification Design Language) เป็นตัวอย่างของภาษาระดับสูง ภาษาระดับต่ำหมายถึงคำสั่งโดยตรงไปยังอุปกรณ์ที่แสดงด้วยตัวอักษรและตัวเลข ภาษา ASSEMBLY เป็นตัวอย่างของภาษาระดับต่ำ

ดูที่นี่ ทั้งหมดเกี่ยวกับ การใช้เหตุผลนิยม .

ตรรกะของการโต้แย้ง

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

การโต้แย้งคือชุดของหลักฐานหรือสมมติฐาน และผลลัพธ์ของพวกมันเรียกว่าข้อสรุป ตัวอย่าง: p1: Goianos ทุกคนร้องเพลงคันทรี่ p2: นักร้องคันทรีทุกคนชอบดนตรี และ p3: ทุกคนจาก Goias ร้องเพลงคันทรี่

การเปรียบเทียบคือการเปรียบเทียบระหว่างข้อโต้แย้งต่างๆ เช่น "แสงสว่างสำหรับวันนี้ ความมืดมีไว้สำหรับกลางคืน";

การอนุมานกำลังบรรลุข้อสรุปโดยใช้ชุดของสถานที่เริ่มต้น การอนุมานมีสองประเภท: การนิรนัยและการอุปนัย ในการนิรนัยนั้นข้อมูลอยู่ในสถานที่ชัดเจนหรือแนะนำ เช่น คำบุพบท A: Birds have beaks. คำบุพบท B: มีการค้นพบนกสายพันธุ์ใหม่ สรุป: สายพันธุ์ใหม่มีจะงอยปาก ในการปฐมนิเทศ สถานที่นำเสนอข้อมูลที่เพียงพอเพื่อให้ได้ข้อสรุป ในการอุปนัยจะได้ข้อสรุปจากความน่าจะเป็นที่เหมาะสมที่สุด ตัวอย่าง: ถ้านกทุกตัวมีจงอยปาก สายพันธุ์ใหม่ก็ต้องมีจงอยปากด้วย

ความหมายของ Logic อยู่ในหมวดปรัชญา

ดูนอกจากนี้:

• ความหมายของจริยธรรม
• ความหมายของญาณวิทยา
• ความหมายของญาณวิทยา
• ความหมายของอภิปรัชญา
• ความหมายของศีลธรรม
• ความหมายของสังคมวิทยา
• ความหมายของประสบการณ์นิยม
• ความหมายของความรู้เชิงประจักษ์
• ความหมายของความรู้แจ้ง
• ความหมายของเหตุผลนิยม