ลอจิกแบบเป็นทางการ: เป้าหมายของการศึกษา, ลักษณะ, ประเภทและตัวอย่าง

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

ในสัญลักษณ์ตรรกะอย่างเป็นทางการมีการใช้อย่างชัดเจนและชัดเจนที่สุดเท่าที่จะทำได้ดังนั้นจึงไม่สามารถจัดการได้ ต้องขอบคุณการฝึกฝนนี้จึงเป็นไปได้ที่จะพัฒนาความคิดของคุณเอง

คำว่า "ลอจิก" มาจากภาษากรีกโบราณ λογικήlogik "ซึ่งแปลว่า" กอปรด้วยปัญญาวิภาษเหตุผลโต้แย้ง " ลอจิกเป็นหนึ่งในสาขาวิชาปรัชญาและคณิตศาสตร์และถือว่ามีประโยชน์มากสำหรับสาขาวิชาเหล่านี้

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

ตลอดเวลาที่ผ่านมานักปรัชญานักคณิตศาสตร์และนักตรรกวิทยาหลายคนได้ปกป้องตรรกะทางการ ในหมู่พวกเขาเราสามารถตั้งชื่อนักคณิตศาสตร์และนักลอจิสติกโบสถ์อลองโซ; นักปรัชญานักคณิตศาสตร์และนักตรรกวิทยา Gottlob Frege; และนักคณิตศาสตร์และนักปรัชญาอัลเฟรดนอร์ ธ ไวท์เฮด

พวกเขายังเป็นผู้ปกป้องที่ยอดเยี่ยมอัลเฟรดทาร์สกี้เคิร์ตโกเดลเบอร์ทรานด์รัสเซิลล์และวิลลาร์ดแวนออร์แมนควินในหมู่คนอื่น ๆ

วัตถุประสงค์ของการศึกษา

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

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

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

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

การดำเนินการศึกษาอย่างละเอียดเกี่ยวกับรูปแบบตรรกะอย่างเป็นทางการจะช่วยให้แต่ละคนรู้ว่าขั้นตอนที่เกี่ยวข้องกับการคิดของพวกเขา

คุณสมบัติ

ต่อไปนี้เป็นลักษณะเฉพาะที่สุดที่แยกความแตกต่างตรรกะอย่างเป็นทางการจากตรรกะประเภทอื่น ๆ :

- เป็นวิทยาศาสตร์ที่ศึกษารูปแบบของสถานที่แตกต่างจากตรรกะประเภทอื่น ๆ ที่ศึกษาเฉพาะวัสดุ

- มันเป็นโครงสร้างที่ไร้สาระ

- จัดตั้งขึ้นภายใต้ระบบย่อยอย่างเป็นทางการ

- ใช้วิธีการที่มีประสิทธิภาพโดยใช้ตรรกะอย่างเป็นทางการสามารถแยกความแตกต่างจากความผิดทางด้านขวา

- ข้อสรุปของการใช้เหตุผลที่ถูกต้องหรือมีเหตุผลเกิดขึ้นเนื่องจากมีการวิเคราะห์โครงสร้างของสถานที่จริง

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

- มันมีเอกลักษณ์เฉพาะด้วยการเป็นสัญลักษณ์

- จากมุมมองของวิทยาศาสตร์อย่างเป็นทางการมีบทบาทสำคัญในวิชาคณิตศาสตร์ปรัชญาวิทยาศาสตร์คอมพิวเตอร์และสถิติ

- มันเกี่ยวข้องกับไวยากรณ์เนื่องจากการศึกษาความหมาย

- ศึกษาโครงสร้างซึ่งเป็นเหตุผลที่เปรียบเทียบกับคณิตศาสตร์

- นอกจากนี้ยังเกี่ยวข้องกับจิตวิทยาเพราะมันมุ่งเน้นไปที่การศึกษาความคิดของแต่ละคน

ชนิด

ตรรกะ Deontic

มันมาจากภาษากรีกโบราณ δέον [τος] déon [ไอ] และหมายถึง "สิ่งที่ถึงกำหนด" หรือ "สิ่งที่จำเป็น" นักโลจิสติกส์ชาวออสเตรีย Alois Höfflerเป็นผู้ให้กำเนิดแนวคิดนี้ซึ่งหมายถึงการศึกษาและการวิเคราะห์มาตรฐาน

ตรรกะไบวาเลนซ์

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

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

ตรรกะหลายส่วนหรือหลายค่า

ตรรกะประเภทนี้เกิดจากการศึกษาที่ดำเนินการโดยนักปรัชญา Jan Łukasiewiczและ Emil Post ซึ่งพวกเขาระบุว่าค่าอื่นนอกเหนือจากคนทั่วไป "จริง" และ "เท็จ" สามารถยอมรับได้ ถึงอินฟินิตี้

ในแง่นี้มันแตกต่างจากตรรกะไบวาเลนต์ซึ่งยอมรับเพียงสองค่า การศึกษาแสดงให้เห็นว่าตรรกะ plurivalent หรือ polyvalent จัดการค่าเช่นความเป็นไปได้, ความจำเป็น, ไม่จำเป็น, ความจริง, เท็จและเป็นไปไม่ได้

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

ตัวอย่าง

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

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

- บัวโนสไอเรสเป็นเมืองหลวงของอาร์เจนตินา จากนั้นทุกคนที่เกิดในบัวโนสไอเรสเป็นชาวอาร์เจนตินา

Joao พูดภาษาโปรตุเกส Joao เกิดที่ประเทศโปรตุเกส ทุกคนในโปรตุเกสพูดภาษาโปรตุเกส

- วัวให้นม วัวเป็นสัตว์เลี้ยงลูกด้วยนม สัตว์เลี้ยงลูกด้วยนมทุกชนิดให้นม

- เปโดรเป็นสีขาวและมาเรียโมเรน่าจึงมีคนสีขาวและสีน้ำตาล

-Maríaเล่นในวงออร์เคสตราร็อค นักดนตรีเป็นคนที่เล่นในวงดนตรีร็อค มาเรียเป็นนักดนตรี

- โจ้มีผมสีดำ Elena มีผมสีน้ำตาล ลูกสาวของพวกเขาอาจเกิดกับผมสีดำหรือสีน้ำตาล

- เท้ามีห้านิ้ว มนุษย์มีเท้าขวาและเท้าซ้าย แต่ละคนมีสิบเท้าที่เท้าของพวกเขา

- สเปนเป็นประเทศ สเปนอยู่ในยุโรป ชาวสเปนทั้งหมดเป็นชาวยุโรป

- Ana เป็นสิ่งมีชีวิต อานาเป็นมนุษย์ สรรพสัตว์ทั้งหลายเป็นมนุษย์

- โฮเซเปียกด้วยน้ำ น้ำเปียก

- แมรี่กินอาหารร้อนๆของเธอ มาเรียเผาตัวเองด้วยการกินอาหารร้อนๆ อาหารร้อนลวก

- โลกเป็นส่วนหนึ่งของจักรวาล ในจักรวาลมีดาวเคราะห์อยู่ โลกเป็นดาวเคราะห์

- แสงไฟฟ้าส่องสว่าง มีไฟส่องสว่างบนถนน แสงไฟฟ้าส่องไปตามถนน