ตรรกะคืออะไร?

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

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

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

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

อย่าเพิ่งหยุด... มีมากขึ้นหลังจากโฆษณา ;)

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

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

การมีส่วนร่วมของ Frege ต่อตรรกะและปรัชญาของภาษาถือว่ามีความสำคัญจนกระทั่ง ทุกวันนี้และหากไม่มีพวกเขา ก็คงเป็นไปไม่ได้ที่จะสร้างโค้ดโปรแกรมคอมพิวเตอร์ที่สามารถแปลได้ ลูกเต๋า เข้ารหัส โดยเครื่องอื่นๆ ซึ่งหมายความว่าหากไม่มีเครื่องมือทางทฤษฎีทางตรรกะที่ Frege ทิ้งไว้ นักคณิตศาสตร์ชาวอังกฤษ อลัน ทัวริงถือเป็น “บิดา” ของสารสนเทศและคอมพิวเตอร์ สร้างก่อนไม่ได้ คอมพิวเตอร์ ของประวัติศาสตร์

* เครดิตภาพ: การถ่ายภาพฝาปิดเลนส์ / Shutterstock.com

โดย Francisco Porfirio
จบปรัชญา

คุณต้องการอ้างอิงข้อความนี้ในโรงเรียนหรืองานวิชาการหรือไม่ ดู:

พอร์ฟีริโอ, ฟรานซิสโก. "ตรรกะคืออะไร"; โรงเรียนบราซิล. มีจำหน่ายใน: https://brasilescola.uol.com.br/filosofia/o-que-logica.htm. เข้าถึงเมื่อ 27 มิถุนายน 2021.

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

ตรรกะทางคณิตศาสตร์ แนวคิดเก่าเกี่ยวกับตรรกะทางคณิตศาสตร์ แนวคิดใหม่เกี่ยวกับตรรกะทางคณิตศาสตร์ วิวัฒนาการของตรรกะทางคณิตศาสตร์ คุณสมบัติหลักของตรรกะทางคณิตศาสตร์