- วัตถุประสงค์ของการศึกษา
- ลักษณะเฉพาะ
- ประเภท
- ตรรกะ Deontic
- ตรรกะเทียบเท่า
- ตรรกะที่เทียบเท่าหรือเอนกประสงค์
- ตัวอย่าง
- อ้างอิง
ตรรกะที่เป็นทางการที่เรียกว่าตรรกะทฤษฎีทางคณิตศาสตร์หรือตรรกะซึ่งเป็นตัวกำหนดรูปแบบที่ถูกต้องและถูกต้องของการใช้เหตุผลเป็น ด้วยวิธีปฏิบัตินี้เราพยายามแยกแยะสิ่งที่ถูกต้องจากสิ่งที่ไม่ถูกต้อง
ในตรรกะที่เป็นทางการสัญลักษณ์จะถูกใช้อย่างไม่น่าสงสัยและในวิธีที่ชัดเจนที่สุดเท่าที่จะเป็นไปได้เพื่อให้ไม่สามารถจัดการได้ ด้วยการฝึกฝนนี้ทำให้สามารถพัฒนาความคิดของคุณเองได้
Alfred North Whitehead เป็นหนึ่งในผู้เสนอตรรกะที่เป็นทางการ ที่มา: Wellcome Trust
คำว่า "ตรรกะ" มาจากภาษากรีกโบราณλογικήlogikḗซึ่งแปลว่า "ประกอบไปด้วยเหตุผลทางปัญญาวิภาษวิธีโต้แย้ง" ลอจิกเป็นหนึ่งในสาขาของปรัชญาและคณิตศาสตร์และถือว่าเป็นประโยชน์อย่างยิ่งสำหรับสาขาวิชาเหล่านี้
โดยทั่วไปตรรกะศึกษารูปแบบของความคิด ผลงานชิ้นแรกที่ดำเนินการเกี่ยวกับตรรกะเป็นผลมาจากนักปรัชญาชาวกรีกอริสโตเติลซึ่งเป็นเหตุให้เขาได้ชื่อว่าเป็นบิดาผู้ก่อตั้งพื้นที่แห่งความคิดนี้
ตลอดประวัติศาสตร์นักปรัชญานักคณิตศาสตร์และนักตรรกวิทยาหลายคนได้ปกป้องตรรกะที่เป็นทางการ ในหมู่พวกเขาเราสามารถตั้งชื่อคริสตจักรอลองโซนักคณิตศาสตร์และนักตรรกวิทยา นักปรัชญานักคณิตศาสตร์และนักตรรกวิทยา Gottlob Frege; และนักคณิตศาสตร์และนักปรัชญา Alfred North Whitehead
Alfred Tarski, KurtGödel, Bertrand Russell และ Willard Van Orman Quine ก็เป็นกองหลังที่ยอดเยี่ยมเช่นกัน
วัตถุประสงค์ของการศึกษา
ตรรกะที่เป็นทางการใช้แง่มุมต่างๆเช่นการให้เหตุผลแนวคิดการตัดสินและการสาธิตเป็นเป้าหมายของการศึกษา จากองค์ประกอบเหล่านี้เขาวิเคราะห์และศึกษาทรัพยากรทั้งหมดของภาษาและความหมายเพื่อให้ได้ข้อสรุป
ในแง่นี้เป็นที่ยอมรับว่าในการให้เหตุผลเชิงตรรกะอย่างเป็นทางการนั้นศึกษาจากมุมมองเชิงโครงสร้างจากความถูกต้องหรือความไม่ถูกต้อง
ตรรกะที่เป็นทางการไม่ใช่การศึกษาเชิงประจักษ์ของกระบวนการให้เหตุผล ไม่ควรสับสนกับการโน้มน้าวใจเนื่องจากต้องใช้โครงสร้างของข้อโต้แย้งเพื่อให้ได้ข้อสรุป
ตรรกะนี้เรียกอีกอย่างว่าตรรกะเชิงทฤษฎีหรือแบบบริสุทธิ์และพยายามที่จะทำการศึกษาเชิงนามธรรมของเนื้อหาหรือรูปแบบเชิงตรรกะของข้อโต้แย้งเชิงนิรนัยคำแถลงข้อเสนอและประโยคที่ใช้อย่างมั่นใจ
การศึกษารูปแบบของตรรกะที่เป็นทางการอย่างละเอียดถี่ถ้วนจะช่วยให้แต่ละคนรู้ขั้นตอนที่เกี่ยวข้องกับความคิดของตน
ลักษณะเฉพาะ
ด้านล่างนี้เป็นลักษณะเฉพาะส่วนใหญ่ที่ทำให้ตรรกะแบบเป็นทางการแตกต่างจากตรรกะประเภทอื่น ๆ :
- เป็นวิทยาศาสตร์ที่ศึกษารูปแบบของหลักฐานซึ่งแตกต่างจากตรรกะประเภทอื่น ๆ ที่ศึกษาเฉพาะวัสดุ
- เป็นโครงสร้างที่ไม่มีสาระ
- ก่อตั้งขึ้นภายใต้ส่วนย่อยของระบบที่เป็นทางการ
- ใช้วิธีการที่มีประสิทธิภาพเพื่อให้คุณสามารถแยกแยะสิ่งที่ผิดจากสิ่งที่ถูกต้องได้ด้วยตรรกะที่เป็นทางการ
- ข้อสรุปของการให้เหตุผลที่ถูกต้องหรือความถูกต้องเกิดขึ้นเนื่องจากมีการวิเคราะห์โครงสร้างของสถานที่ที่แท้จริง
- ศึกษาและวิเคราะห์ผู้คนเพื่อรับรู้ความคิดโดยตรงจึงสามารถสร้างรูปแบบใหม่ในใจของแต่ละคนได้
- มีลักษณะเป็นสัญลักษณ์
- จากมุมมองของวิทยาศาสตร์ที่เป็นทางการมันมีบทบาทสำคัญในคณิตศาสตร์ปรัชญาวิทยาศาสตร์คอมพิวเตอร์และสถิติ
- เกี่ยวข้องกับไวยากรณ์เนื่องจากการศึกษาความหมาย
- ศึกษาโครงสร้างซึ่งเป็นเหตุให้เปรียบเทียบกับคณิตศาสตร์
- ยังเกี่ยวข้องกับจิตวิทยาเนื่องจากมุ่งเน้นไปที่การศึกษาความคิดของแต่ละคน
ประเภท
ตรรกะ Deontic
มันมาจากภาษากรีกโบราณδέονdéonและแปลว่า "สิ่งที่จำเป็น" หรือ "สิ่งที่จำเป็น" นักตรรกะชาวออสเตรีย Alois Höfflerเป็นผู้บุกเบิกแนวคิดนี้ซึ่งอ้างถึงการศึกษาและวิเคราะห์บรรทัดฐาน
ตรรกะเทียบเท่า
เป็นประเภทของตรรกะที่สนับสนุนเฉพาะค่าจริงและค่าเท็จ เขาไม่เชื่อในเฉดสีทุกอย่างเป็นสีดำหรือสีขาว ระดับสีเทาเป็นไปไม่ได้ในตรรกะแบบนี้
หลักการของมันตั้งอยู่บนตรรกะของอริสโตเติลซึ่ง ได้แก่ ตัวตนไม่มีความขัดแย้งและบุคคลที่สามที่ถูกยกเว้น
ตรรกะที่เทียบเท่าหรือเอนกประสงค์
ตรรกะประเภทนี้เกิดจากการศึกษาของนักปรัชญา Jan Łukasiewiczและ Emil Post ซึ่งพวกเขาระบุว่าสามารถยอมรับค่าอื่นนอกเหนือจาก "จริง" และ "เท็จ" ที่พบอยู่แล้วได้และค่าเหล่านี้สามารถเข้าถึงได้จริง ไม่มีที่สิ้นสุด.
ในแง่นี้มันแตกต่างจากตรรกะ bivalent ซึ่งยอมรับเพียงสองค่า การศึกษาแสดงให้เห็นว่าตรรกะพหุคูณหรือพหุคูณจัดการกับค่าต่างๆเช่นความเป็นไปได้ความจำเป็นความไม่จำเป็นความจริงความเท็จและความเป็นไปไม่ได้
ในทำนองเดียวกันตรรกะที่เป็นทางการประเภทนี้ยังรับผิดชอบในการศึกษาแง่มุมเชิงปรัชญาและโครงสร้างของข้อโต้แย้ง
ตัวอย่าง
ด้วยตรรกะที่เป็นทางการเป็นไปได้ที่จะเพิ่มมูลค่าของความจริงหรือความเท็จให้กับเหตุผลที่เฉพาะเจาะจง
ดังที่เราได้อธิบายไปก่อนหน้านี้ตรรกะที่เป็นทางการไม่ได้มุ่งเน้นไปที่ความเป็นไปได้ทั้งหมดที่สามารถดึงออกมาจากอาร์กิวเมนต์ จะเน้นเฉพาะว่าเป็นจริงหรือเท็จ ในแง่นั้นด้านล่างเราจะแสดงตัวอย่างบางส่วนตามตรรกะที่เป็นทางการ:
-Buenos Aires เป็นเมืองหลวงของอาร์เจนตินา ดังนั้นทุกคนที่เกิดในบัวโนสไอเรสเป็นชาวอาร์เจนตินา
-Joao พูดภาษาโปรตุเกส Joao เกิดที่โปรตุเกส ทุกคนในโปรตุเกสพูดภาษาโปรตุเกส
- วัวให้นม วัวเป็นสัตว์เลี้ยงลูกด้วยนม สัตว์เลี้ยงลูกด้วยนมทุกชนิดให้นม
-Pedro เป็นสีขาวและMaríaเป็นสีน้ำตาลดังนั้นจึงมีคนผิวขาวและน้ำตาล
-Maríaเล่นในวงดนตรีร็อคออเคสตรา นักดนตรีเป็นคนที่เล่นในวงดนตรีร็อคออเคสตรา มาเรียเป็นนักดนตรี
- โจเซ่มีผมสีดำ Elena มีผมสีน้ำตาล ลูกสาวของพวกเขาอาจเกิดมาพร้อมกับผมสีดำหรือสีน้ำตาล
- เท้ามีห้านิ้วเท้า มนุษย์มีเท้าขวาและเท้าซ้าย แต่ละคนมีนิ้วเท้าสิบนิ้ว
- สเปนเป็นประเทศ สเปนยังคงอยู่ในยุโรป ชาวสเปนทั้งหมดเป็นชาวยุโรป
- Ana เป็นสิ่งมีชีวิต Ana เป็นมนุษย์ สิ่งมีชีวิตทั้งหมดเป็นมนุษย์
- โจเซ่เปียกน้ำ เปียกน้ำ
- มาเรียกินอาหารร้อนๆของเธอ มาเรียถูกไฟไหม้เมื่อกินอาหารร้อนๆของเธอ อาหารร้อนไหม้
- โลกเป็นส่วนหนึ่งของจักรวาล ในจักรวาลมีดาวเคราะห์ โลกเป็นดาวเคราะห์
- ไฟฟ้าส่องสว่าง มีไฟฟ้าส่องสว่างตามท้องถนน ไฟฟ้าส่องสว่างตามท้องถนน
อ้างอิง
- "ตรรกะที่เป็นทางการ" ในสารานุกรมโลกใหม่ สืบค้นเมื่อวันที่ 21 เมษายน 2019 จากสารานุกรมโลกใหม่: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes“ ตรรกะที่เป็นทางการ” ในสืบค้นเมื่อวันที่ 21 เมษายน 2019 จาก Britannica: britannica.com.
- "ตรรกะและการจำแนกประเภท" ใน Academy สืบค้นเมื่อ 23 เมษายน 2019 จาก Academia: academia.edu.
- "ตรรกะที่เป็นทางการ" ในพจนานุกรมปรัชญา สืบค้นเมื่อวันที่ 23 เมษายน 2019 จากพจนานุกรมปรัชญา: ปรัชญา.org.
- "ตรรกศาสตร์โพลีวาเลนต์" ในพจนานุกรมปรัชญา สืบค้นเมื่อวันที่ 23 เมษายน 2019 จากพจนานุกรมปรัชญา: ปรัชญา.org.
- "แง่มุมทั่วไปของตรรกะ" ใน Club Essays (18 สิงหาคม 2013) สืบค้นเมื่อวันที่ 23 เมษายน 2019 จาก Club trials: clubensayos.com.
- "ตรรกะ deontic" ในวิกิพีเดีย สืบค้นเมื่อวันที่ 23 เมษายน 2019 จาก Wikipedia: es.wikipedia.org.
- "ตรรกะอเนกประสงค์" ในวิกิพีเดีย สืบค้นเมื่อวันที่ 23 เมษายน 2019 จาก Wikipedia: es.wikipedia.org.
- "ตรรกะ Bivalent" ในวิกิพีเดีย สืบค้นเมื่อวันที่ 23 เมษายน 2019 จาก Wikipedia: es.wikipedia.org