ความหมายของตรรกะ (มันคืออะไร แนวคิด และคำจำกัดความ)

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

ในความหมายเชิงเปรียบเทียบ ตรรกะของคำเกี่ยวข้องกับ a is วิธีการให้เหตุผลเฉพาะถูกต้องครับ ตัวอย่างเช่น: นี้จะไม่ทำงาน! แผนของคุณไม่มีตรรกะ!

คุณ ปัญหาหรือเกมตรรกะ เป็นกิจกรรมที่บุคคลต้องใช้ a เหตุผลเชิงตรรกะ เพื่อแก้ปัญหา

ตรรกะอริสโตเติล

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

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

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

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

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

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

ข้าวโพดเป็นสุนัข
สุนัขทุกตัวเป็นสัตว์เลี้ยงลูกด้วยนม
ดังนั้น cornmeal จึงเป็นสัตว์เลี้ยงลูกด้วยนม

ตรรกะทางคณิตศาสตร์

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

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

ตรรกะที่เป็นทางการสามารถแบ่งออกเป็นสองกลุ่ม: ตรรกะเชิงประพจน์และตรรกะภาคแสดง

ไลบนิซถูกมองว่าเป็นความคิดที่ริเริ่มแนวคิดของตรรกะแบบเป็นทางการหรือคณิตศาสตร์ ซึ่งกล่าวถึงประเด็นหลักของคณิตศาสตร์ อย่างไรก็ตาม ไม่นานหลังจากปี พ.ศ. 2433 กับ Peano การตั้งคำถามถึงความสอดคล้องของสัจพจน์ก็เริ่มขึ้น หลักการที่สำคัญบางประการของตรรกะที่เป็นทางการมีอยู่ใน The Mathematical Analysis of Logic โดย George Boole (ผู้เขียนตรรกะหรือพีชคณิตของ Boole)

ตรรกะประพจน์

ตรรกะเชิงประพจน์เป็นพื้นที่ของตรรกะที่ตรวจสอบการใช้เหตุผลตามความสัมพันธ์ระหว่างอนุประโยค (ข้อเสนอ) หน่วยขั้นต่ำของวาทกรรมซึ่งอาจเป็นจริงหรือเท็จ