ลอจิกแบบเป็นทางการ: เป้าหมายของการศึกษา, ลักษณะ, ประเภทและตัวอย่าง
ตรรกะที่เป็นทางการ หรือที่เรียกว่าตรรกะเชิงทฤษฎีหรือตรรกะทางคณิตศาสตร์กำหนดว่าอะไรคือรูปแบบการใช้เหตุผลที่ถูกต้องและถูกต้อง ผ่านการฝึกฝนนี้เราพยายามที่จะแยกความแตกต่างที่ถูกต้องจากความผิด
ในสัญลักษณ์ตรรกะอย่างเป็นทางการมีการใช้อย่างชัดเจนและชัดเจนที่สุดเท่าที่จะทำได้ดังนั้นจึงไม่สามารถจัดการได้ ต้องขอบคุณการฝึกฝนนี้จึงเป็นไปได้ที่จะพัฒนาความคิดของคุณเอง
![](http://questionofwill.com/img/filosof/628/l-gica-formal-objeto-de-estudio.jpg)
คำว่า "ลอจิก" มาจากภาษากรีกโบราณ λογικήlogik "ซึ่งแปลว่า" กอปรด้วยปัญญาวิภาษเหตุผลโต้แย้ง " ลอจิกเป็นหนึ่งในสาขาวิชาปรัชญาและคณิตศาสตร์และถือว่ามีประโยชน์มากสำหรับสาขาวิชาเหล่านี้
โดยทั่วไปแล้วตรรกะศึกษารูปแบบของความคิด ผลงานชิ้นแรกที่เกี่ยวกับตรรกะนั้นมาจากอริสโตเติลนักปรัชญาชาวกรีกซึ่งเป็นสาเหตุที่ทำให้เขาเป็นที่รู้จักในฐานะพ่อผู้ก่อตั้งของความคิดนี้
ตลอดเวลาที่ผ่านมานักปรัชญานักคณิตศาสตร์และนักตรรกวิทยาหลายคนได้ปกป้องตรรกะทางการ ในหมู่พวกเขาเราสามารถตั้งชื่อนักคณิตศาสตร์และนักลอจิสติกโบสถ์อลองโซ; นักปรัชญานักคณิตศาสตร์และนักตรรกวิทยา Gottlob Frege; และนักคณิตศาสตร์และนักปรัชญาอัลเฟรดนอร์ ธ ไวท์เฮด
พวกเขายังเป็นผู้ปกป้องที่ยอดเยี่ยมอัลเฟรดทาร์สกี้เคิร์ตโกเดลเบอร์ทรานด์รัสเซิลล์และวิลลาร์ดแวนออร์แมนควินในหมู่คนอื่น ๆ
วัตถุประสงค์ของการศึกษา
ตรรกะทางการใช้เป็นวัตถุด้านการศึกษาเช่นการใช้เหตุผลแนวคิดการตัดสินและการสาธิต จากองค์ประกอบเหล่านี้จะวิเคราะห์และศึกษาทรัพยากรทั้งหมดของภาษาและความหมายเพื่อให้ได้ข้อสรุป
ในแง่นี้มันเป็นที่ยอมรับว่าในตรรกะเหตุผลการศึกษาเหตุผลจากจุดโครงสร้างจากความถูกต้องหรือความไม่ถูกต้อง
ตรรกะอย่างเป็นทางการไม่ใช่การศึกษาเชิงประจักษ์ของกระบวนการให้เหตุผล ไม่ควรสับสนกับการโน้มน้าวใจเนื่องจากใช้โครงสร้างของข้อโต้แย้งเพื่อให้ได้ข้อสรุป
ตรรกะนี้ยังเป็นที่รู้จักกันในนามของทฤษฎีหรือเหตุผลที่บริสุทธิ์และพยายามที่จะทำการศึกษาเชิงนามธรรมของเนื้อหาหรือรูปแบบเชิงตรรกะของการโต้แย้งแบบนิรนัย, งบ, ข้อเสนอและประโยคที่ใช้อย่างมั่นใจ
การดำเนินการศึกษาอย่างละเอียดเกี่ยวกับรูปแบบตรรกะอย่างเป็นทางการจะช่วยให้แต่ละคนรู้ว่าขั้นตอนที่เกี่ยวข้องกับการคิดของพวกเขา
คุณสมบัติ
ต่อไปนี้เป็นลักษณะเฉพาะที่สุดที่แยกความแตกต่างตรรกะอย่างเป็นทางการจากตรรกะประเภทอื่น ๆ :
- เป็นวิทยาศาสตร์ที่ศึกษารูปแบบของสถานที่แตกต่างจากตรรกะประเภทอื่น ๆ ที่ศึกษาเฉพาะวัสดุ
- มันเป็นโครงสร้างที่ไร้สาระ
- จัดตั้งขึ้นภายใต้ระบบย่อยอย่างเป็นทางการ
- ใช้วิธีการที่มีประสิทธิภาพโดยใช้ตรรกะอย่างเป็นทางการสามารถแยกความแตกต่างจากความผิดทางด้านขวา
- ข้อสรุปของการใช้เหตุผลที่ถูกต้องหรือมีเหตุผลเกิดขึ้นเนื่องจากมีการวิเคราะห์โครงสร้างของสถานที่จริง
- ศึกษาและวิเคราะห์ผู้คนให้เข้ากับความคิดโดยตรงและสามารถกำหนดรูปแบบใหม่ในใจของแต่ละคนได้
- มันมีเอกลักษณ์เฉพาะด้วยการเป็นสัญลักษณ์
- จากมุมมองของวิทยาศาสตร์อย่างเป็นทางการมีบทบาทสำคัญในวิชาคณิตศาสตร์ปรัชญาวิทยาศาสตร์คอมพิวเตอร์และสถิติ
- มันเกี่ยวข้องกับไวยากรณ์เนื่องจากการศึกษาความหมาย
- ศึกษาโครงสร้างซึ่งเป็นเหตุผลที่เปรียบเทียบกับคณิตศาสตร์
- นอกจากนี้ยังเกี่ยวข้องกับจิตวิทยาเพราะมันมุ่งเน้นไปที่การศึกษาความคิดของแต่ละคน
ชนิด
ตรรกะ Deontic
มันมาจากภาษากรีกโบราณ δέον [τος] déon [ไอ] และหมายถึง "สิ่งที่ถึงกำหนด" หรือ "สิ่งที่จำเป็น" นักโลจิสติกส์ชาวออสเตรีย Alois Höfflerเป็นผู้ให้กำเนิดแนวคิดนี้ซึ่งหมายถึงการศึกษาและการวิเคราะห์มาตรฐาน
ตรรกะไบวาเลนซ์
เป็นประเภทของตรรกะที่ยอมรับเฉพาะค่าของจริงและเท็จ เขาไม่เชื่อในความแตกต่างทุกอย่างเป็นสีดำหรือสีขาว สีเทาเป็นไปไม่ได้ในตรรกะชนิดนี้
หลักการของมันอยู่บนพื้นฐานของตรรกะของอริสโตเติ้ลซึ่งเป็นเอกลักษณ์ความไม่ขัดแย้งและข้อยกเว้นที่สาม
ตรรกะหลายส่วนหรือหลายค่า
ตรรกะประเภทนี้เกิดจากการศึกษาที่ดำเนินการโดยนักปรัชญา Jan Łukasiewiczและ Emil Post ซึ่งพวกเขาระบุว่าค่าอื่นนอกเหนือจากคนทั่วไป "จริง" และ "เท็จ" สามารถยอมรับได้ ถึงอินฟินิตี้
ในแง่นี้มันแตกต่างจากตรรกะไบวาเลนต์ซึ่งยอมรับเพียงสองค่า การศึกษาแสดงให้เห็นว่าตรรกะ plurivalent หรือ polyvalent จัดการค่าเช่นความเป็นไปได้, ความจำเป็น, ไม่จำเป็น, ความจริง, เท็จและเป็นไปไม่ได้
ในทำนองเดียวกันตรรกะอย่างเป็นทางการประเภทนี้ยังรับผิดชอบการศึกษาแง่มุมทางปรัชญาและโครงสร้างของข้อโต้แย้ง
ตัวอย่าง
ด้วยเหตุผลอย่างเป็นทางการมันเป็นไปได้ที่จะเพิ่มคุณค่าของความจริงหรือความเท็จให้กับการใช้เหตุผลเฉพาะ
ดังที่เราได้อธิบายไปแล้วก่อนหน้านี้ตรรกะอย่างเป็นทางการไม่ได้มุ่งเน้นไปที่ความเป็นไปได้ทั้งหมดที่สามารถสกัดได้จากการโต้แย้ง มันเน้นเฉพาะว่าสิ่งนี้เป็นจริงหรือเท็จ ในแง่นั้นนี่คือตัวอย่างบางส่วนที่อิงตามตรรกะที่เป็นทางการ:
- บัวโนสไอเรสเป็นเมืองหลวงของอาร์เจนตินา จากนั้นทุกคนที่เกิดในบัวโนสไอเรสเป็นชาวอาร์เจนตินา
Joao พูดภาษาโปรตุเกส Joao เกิดที่ประเทศโปรตุเกส ทุกคนในโปรตุเกสพูดภาษาโปรตุเกส
- วัวให้นม วัวเป็นสัตว์เลี้ยงลูกด้วยนม สัตว์เลี้ยงลูกด้วยนมทุกชนิดให้นม
- เปโดรเป็นสีขาวและมาเรียโมเรน่าจึงมีคนสีขาวและสีน้ำตาล
-Maríaเล่นในวงออร์เคสตราร็อค นักดนตรีเป็นคนที่เล่นในวงดนตรีร็อค มาเรียเป็นนักดนตรี
- โจ้มีผมสีดำ Elena มีผมสีน้ำตาล ลูกสาวของพวกเขาอาจเกิดกับผมสีดำหรือสีน้ำตาล
- เท้ามีห้านิ้ว มนุษย์มีเท้าขวาและเท้าซ้าย แต่ละคนมีสิบเท้าที่เท้าของพวกเขา
- สเปนเป็นประเทศ สเปนอยู่ในยุโรป ชาวสเปนทั้งหมดเป็นชาวยุโรป
- Ana เป็นสิ่งมีชีวิต อานาเป็นมนุษย์ สรรพสัตว์ทั้งหลายเป็นมนุษย์
- โฮเซเปียกด้วยน้ำ น้ำเปียก
- แมรี่กินอาหารร้อนๆของเธอ มาเรียเผาตัวเองด้วยการกินอาหารร้อนๆ อาหารร้อนลวก
- โลกเป็นส่วนหนึ่งของจักรวาล ในจักรวาลมีดาวเคราะห์อยู่ โลกเป็นดาวเคราะห์
- แสงไฟฟ้าส่องสว่าง มีไฟส่องสว่างบนถนน แสงไฟฟ้าส่องไปตามถนน