1) ลอจิก- ในหนังสือ: 1) ขอบเขตสากลของการให้สิ่งต่าง ๆ ในโลกซึ่งยังคงมองไม่เห็น; 2) เทคนิคในการระบุขอบเขตนี้ทางอ้อม

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

3) ลอจิก - - หลักคำสอนเกี่ยวกับการเชื่อมโยงและลำดับของการคิดของมนุษย์ รูปแบบของการพัฒนา ความสัมพันธ์ต่างๆ ของรูปแบบทางจิต และการเปลี่ยนแปลงของพวกเขา L. พิจารณาคำถามเกี่ยวกับวิธีการดำรงอยู่ของความคิด ภาษาของการรวม การสืบพันธุ์ และการแปลกระบวนการคิด ในความหมายกว้างๆ ปรัชญาคือการตรวจสอบความเชื่อมโยงไม่เพียงแต่ในการคิดเท่านั้น แต่ยังรวมถึงความเป็นอยู่ด้วย นั่นคือวรรณกรรมที่เผยให้เห็น "ตรรกะของสิ่งต่าง ๆ" "ตรรกะของเหตุการณ์" และ "การเชื่อมโยงของเวลา" ในด้านนี้ L. เข้ามาใกล้กับภววิทยา ในแง่มุมที่สำคัญ ปรัชญามีความเกี่ยวข้องกับคำสอนเรื่องประชาน การพัฒนา การทำงาน และการอนุรักษ์ และรวมอยู่ในญาณวิทยาโดยตรง ดังนั้นปรัชญาจึงเป็นหนึ่งในแผนกย่อยหลักของปรัชญาและมีบทบาทสำคัญในการปรัชญาอย่างต่อเนื่องเนื่องจากส่วนหลังมักจะเกี่ยวข้องกับประเด็นของการคิดไม่ทางใดก็ทางหนึ่ง. ในศตวรรษที่ 19 ปรัชญาเป็นวิทยาศาสตร์พิเศษ แยกออกจากปรัชญา และเกี่ยวข้องกับการวิเคราะห์อย่างเป็นทางการของการคิดและภาษาของมัน คำถามเกี่ยวกับการพัฒนาความคิด วิวัฒนาการของวิธีการ เงื่อนไขทางวัฒนธรรม ประวัติศาสตร์ และสังคมยังคงอยู่ในความสามารถของปรัชญา ปรัชญาเองในรูปแบบทางสังคม-ประวัติศาสตร์และวัฒนธรรมที่เฉพาะเจาะจง กลายเป็นสาขาสำคัญของการวิจัยเชิงปรัชญา ภายในกรอบของแนวทางนี้สามารถระบุขั้นตอนหลักหลายขั้นตอนในการวิวัฒนาการของแสงและความเข้าใจของมันได้ ในโลกยุคโบราณ การพัฒนาปัญหาเชิงตรรกะเกี่ยวข้องกับกระบวนการจำแนกประเภทของสิ่งเทียมและธรรมชาติ เครื่องมือในกิจกรรมของมนุษย์ และการกระทำของมนุษย์ L. พัฒนาแนวคิดและเทคนิคทั่วไปสำหรับการปฏิบัติงานกับแนวคิดเหล่านั้น เป็นส่วนหนึ่งของปรัชญา มันเป็นเครื่องมือสำคัญในการสร้างภาพของโลกและนำไปใช้ในการปฏิบัติของสังคม ในยุคกลาง วรรณกรรมมุ่งเน้นไปที่การวิจัยเกี่ยวกับรูปแบบการคิดและความสัมพันธ์ของรูปแบบเหล่านั้น การรับรู้ที่มีความหมายนั้นพิจารณาจากมุมมอง ความสอดคล้องกับรูปแบบเชิงตรรกะ หลักคำสอนเรื่องโครงสร้างการคิดของมนุษย์ที่มั่นคง (หรือไม่สั่นคลอน) ซึ่งรับประกันความถูกต้องกลายเป็นข้อกำหนดเบื้องต้นที่สำคัญสำหรับมาตรฐานที่เกิดขึ้นใหม่ของความเป็นเหตุเป็นผลทางวิทยาศาสตร์ ตามหลักวิทยาศาสตร์ธรรมชาติ เมื่อปรัชญาที่เป็นทางการถูกแยกออกจากปรัชญา คำถามเกี่ยวกับความเป็นเหตุเป็นผลของการคิดของมนุษย์ก็พบว่าตัวเองเป็นศูนย์กลางของการโต้เถียงทางปรัชญา ในด้านหนึ่ง ความไม่เพียงพอของเหตุผลอย่างเป็นทางการสำหรับความต้องการของวิทยาศาสตร์สมัยใหม่ สำหรับการพัฒนาบุคลิกภาพของมนุษย์ และการขยายขอบเขตอันไกลโพ้นทางจิตวิญญาณนั้นถูกเปิดเผย ในทางกลับกัน ความจำเป็นในการรักษาเหตุผลและปรัชญาในความหมายที่กว้างที่สุด เนื่องจากเงื่อนไขสำหรับการทำซ้ำวัฒนธรรมได้รับการยืนยัน (Baden neo-Kantianism) ในศตวรรษที่ 20 การวิพากษ์วิจารณ์เชิงปรัชญาเกี่ยวกับความเป็นเหตุเป็นผล (โดยปกติจะตีความว่าเป็นการเชื่อมโยงอย่างเข้มงวดของรูปแบบเชิงตรรกะ) ทวีความเข้มข้นขึ้นและดำเนินการจากตำแหน่งที่แตกต่างกัน (ลัทธิอัตถิภาวนิยม ลัทธิมาร์กซิสม์ ลัทธิลดโครงสร้าง) ในเวลาเดียวกัน ในปรัชญามีแนวโน้มเพิ่มขึ้นในการปฏิบัติต่อวรรณกรรมจากมุมมองทางวัฒนธรรมและประวัติศาสตร์ เพื่อศึกษากฎต่างๆ ที่มีอยู่ในวัฒนธรรมและประเภทของกิจกรรมของมนุษย์ที่แตกต่างกัน ในแง่ของแนวทางเหล่านี้การเน้นในการทำความเข้าใจเนื้อหาของ L กำลังเปลี่ยนไป หากก่อนหน้านี้คุณภาพนี้เกี่ยวข้องกับการชี้แจงการวางแนวทางการคิดเป็นหลักตอนนี้การมุ่งเน้นไปที่การเชื่อมโยงของรูปแบบทางจิตที่เกิดขึ้นในปฏิสัมพันธ์ของมนุษย์ ปฏิสัมพันธ์นี้กำลังรวบรวมและสืบพันธุ์ วี.อี. เคเมรอฟ

4) ลอจิก- - ศาสตร์แห่งกฎและการดำเนินการของการคิดที่ถูกต้อง ตามหลักการพื้นฐานของตรรกะความถูกต้องของการให้เหตุผลจะถูกกำหนดโดยรูปแบบหรือโครงสร้างเชิงตรรกะเท่านั้นและไม่ขึ้นอยู่กับเนื้อหาเฉพาะของข้อความที่รวมอยู่ในนั้น ลักษณะเด่นของการให้เหตุผลที่ถูกต้องคือ ถ้าเหตุผลนั้นเป็นจริง การคิดเชิงตรรกะจะนำไปสู่ข้อสรุปที่แท้จริง (คำตอบของคำถาม) การใช้เหตุผลที่ไม่ถูกต้องสามารถนำไปสู่ข้อสรุปที่แท้จริงและไม่จริงได้ (ความจริงของข้อสรุปเป็นเรื่องของโอกาส) ดังนั้นตรรกะใดที่ชัดเจน - นี่คือกฎสำหรับการใช้เทคนิคทางจิตบางอย่างในการประมวลผลข้อมูล มีตรรกะที่เป็นทางการ ตรรกะมนุษยนิยม ตรรกะของผู้หญิง ตรรกะของเด็ก ตรรกะจิตเภท ตรรกะวิภาษวิธี ตรรกะปรัชญา ฯลฯ แต่นอกเหนือจากตรรกะแล้ว ยังมีการคิดในตัวมันเองอีกด้วย ซึ่งสามารถเชื่อฟังกฎของมัน (การคิดที่ถูกต้อง) และไม่เชื่อฟัง (การคิดที่ไม่ถูกต้อง) ) การคิดแบบไร้เหตุผล) บล็อกเชื่อมโยง จากมุมมองของเรา ตรรกะเป็นส่วนหนึ่งของทฤษฎีความรู้ที่ศึกษาความสัมพันธ์และการดำรงอยู่ของสิ่งต่าง ๆ ในความหมายที่สมบูรณ์ของคำสุดท้าย

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

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

7) ลอจิก- - วิทยาศาสตร์ของรูปแบบและวิธีการคิดที่ถูกต้องโดยทั่วไปซึ่งจำเป็นสำหรับความรู้ที่มีเหตุผลในด้านความเป็นจริงใด ๆ

8) ลอจิก - (โลโก้กรีก - คำ การใช้เหตุผล แนวคิด จิตใจ) - ศาสตร์แห่งรูปแบบ กฎเกณฑ์ และวิธีการของกิจกรรมการเรียนรู้ ความสามารถในการคิดอย่างถูกต้อง (เชิงตรรกะ) ตั้งแต่สมัยโบราณมีการสังเกตคุณสมบัติที่สำคัญของการคิดเชิงรับรู้ของมนุษย์: หากในตอนแรกมีการสร้างข้อความบางอย่างขึ้นมาก็สามารถรับรู้ข้อความอื่น ๆ ได้ แต่ไม่ใช่ข้อความใด ๆ แต่มีเพียงข้อความที่กำหนดไว้อย่างเคร่งครัดเท่านั้น ดังนั้นการคิดทางปัญญาจึงอยู่ภายใต้บังคับบางอย่าง ผลลัพธ์ของมันถูกกำหนดและกำหนดไว้ล่วงหน้าโดยความรู้เดิมเป็นส่วนใหญ่ โสกราตีสใช้คุณสมบัตินี้กันอย่างแพร่หลายในบทสนทนาของเขา โดย​การ​ตั้ง​คำ​ถาม​อย่าง​เชี่ยวชาญ เขา​ชี้​แนะ​คู่​สนทนา​ให้​รับ​เอา​ข้อ​สรุป​ที่​เจาะจง​มาก. (โสกราตีสอธิบายลักษณะวิธีการของเขาว่าลักษณะการสนทนาของเขาคล้ายกับสิ่งที่พยาบาลผดุงครรภ์ทำซึ่งไม่ได้ให้กำเนิดตัวเอง แต่เป็นผู้ให้กำเนิด ดังนั้นเขาจึงถามคนอื่นเท่านั้นซึ่งมีส่วนทำให้เกิดความจริง แต่ตัวเขาเองไม่มีอะไรจะทำ ดังนั้น วิธีการของเขา โสกราตีสจึงเรียกว่า maieutics ซึ่งเป็นศิลปะของพยาบาลผดุงครรภ์) เพลโต นักศึกษาของโสกราตีส จากนั้นอริสโตเติลก็ได้กำหนดเงื่อนไขของการคิดเป็นหัวข้อของการศึกษาพิเศษ ผลลัพธ์ของอริสโตเติลนั้นน่าประทับใจเป็นอย่างยิ่ง ความสำเร็จของเขาเกิดจากการที่เขาขจัดเหตุผลที่สามารถเรียกได้ว่าเป็นเนื้อหาโดยคงไว้เพียงรูปแบบเท่านั้น เขาประสบความสำเร็จโดยการแทนที่ตัวอักษร (ตัวแปร) ในการตัดสินแทนชื่อที่มีเนื้อหาเฉพาะ ตัวอย่างเช่น ในการโต้แย้งโดยปริยาย: “ถ้า Bs ทั้งหมดเป็น Cs และ Aes ทั้งหมดเป็น Bs ดังนั้น Aes ทั้งหมดก็คือ Bs” วิธีการของอริสโตเติลแสดงให้เห็นถึงความจริงที่ว่าความน่าเชื่อถือของผลลัพธ์ของการให้เหตุผลที่มีเนื้อหาต่างกันนั้นไม่เพียงแต่ขึ้นอยู่กับความจริงของตำแหน่งเริ่มต้น (สถานที่) เท่านั้น แต่ยังขึ้นอยู่กับความสัมพันธ์ระหว่างสิ่งเหล่านั้น วิธีการเชื่อมโยงของพวกเขาด้วย เช่น ในรูปแบบของการใช้เหตุผล อริสโตเติลได้กำหนดหลักการที่สำคัญที่สุดสำหรับการเปลี่ยนจากสถานที่จริงไปสู่ข้อสรุปที่แท้จริง ต่อมาหลักการเหล่านี้เริ่มถูกเรียกว่ากฎแห่งอัตลักษณ์ ความขัดแย้ง และการแบ่งแยกระหว่างคนกลาง เขาเสนอระบบทฤษฎีแรกของรูปแบบของการใช้เหตุผล - ที่เรียกว่า การอ้างเหตุผลเชิงยืนยันซึ่งเกี่ยวข้องกับประพจน์ในรูปแบบ "A บางตัวคือ B", "A บางตัวคือ B", "ไม่มี A คือ B", "A บางตัวไม่ใช่ B" ดังนั้น เขาจึงวางรากฐานสำหรับวิทยาศาสตร์เกี่ยวกับวิธีการและรูปแบบการคิดที่ถูกต้องโดยทั่วไป ซึ่งเป็นกฎแห่งความรู้ที่มีเหตุผล ต่อมาวิทยาศาสตร์นี้เริ่มเรียกว่า L.L. ไม่ได้จำกัดตัวเองอยู่เพียงการชี้แจงกรณีที่ความจริงของสถานที่รับประกันความจริงของข้อสรุป การใช้เหตุผลประเภทนี้กลายเป็นหัวข้อหนึ่งของสาขาใดสาขาหนึ่ง - นิรนัย L. แต่พรรคเดโมคริตุสได้พูดคุยถึงปัญหาของการอนุมานแบบอุปนัยแล้วซึ่งมีการดำเนินการเปลี่ยนจากข้อความเฉพาะไปเป็นบทบัญญัติทั่วไปที่มีลักษณะความน่าจะเป็น ความสนใจเป็นพิเศษในการปฐมนิเทศปรากฏในศตวรรษที่ 17 และ 18 เมื่อวิทยาศาสตร์เชิงทดลองเริ่มพัฒนาอย่างรวดเร็ว นักปรัชญาชาวอังกฤษ F. Bacon พยายามครั้งแรกในการทำความเข้าใจเชิงทฤษฎีเกี่ยวกับการเหนี่ยวนำซึ่งตามที่เขาคิดสามารถใช้เป็นวิธีเดียวในการทำความเข้าใจปรากฏการณ์ทางธรรมชาติเพื่อนำไปใช้เพื่อประโยชน์ของผู้คน การนิรนัยและอุปนัยเป็นทิศทางหลักในการพัฒนาวรรณกรรมจนถึงศตวรรษที่ 19 ตัวแทนของปรัชญาเชิงเหตุผล (Descartes, Spinoza, Malebranche, Leibniz) ต้องการการหักล้างในขณะที่ตัวแทนของปรัชญาเชิงประจักษ์ (ราคะ) (ตาม F. Bacon - Hobbes, Locke, Condillac, Berkeley, Hume) เป็นนักอุปนัย Wolf ผู้เสนอระบบความรู้เชิงปรัชญาที่ครอบคลุมในความเห็นของเขาว่าเป็น "วิทยาศาสตร์ของวัตถุที่เป็นไปได้ทั้งหมดเท่าที่เป็นไปได้" พยายามประนีประนอมทิศทางเหล่านี้ โดยทั่วไปแล้ว เป็นนักเหตุผลนิยม เขายังคงเน้นย้ำถึงความสำคัญอย่างแน่วแน่ของการเหนี่ยวนำและความรู้เชิงทดลองในสาขาวิชาวิทยาศาสตร์บางสาขา (เช่น ในฟิสิกส์) อย่างไรก็ตาม แนวคิดของ Wolffian เกี่ยวกับรูปแบบและกฎแห่งการคิดและวิธีการรับรู้ซึ่งพัฒนาขึ้นในเลนินกราดในช่วงศตวรรษที่ 19 ไม่สามารถตอบสนองความต้องการของวิทยาศาสตร์และการปฏิบัติทางสังคมที่พัฒนาอย่างรวดเร็ว คานท์และโดยเฉพาะอย่างยิ่งเฮเกลวิพากษ์วิจารณ์ข้อจำกัดของวิธีการเชิงเหตุผลและอภิปรัชญา L. ต้องเผชิญกับภารกิจในการพัฒนาวิธีการที่จะช่วยให้มีแนวทางในการศึกษาความสัมพันธ์ที่สำคัญอย่างมีสติ เฮเกลพยายามแก้ไขปัญหานี้อย่างจริงจัง ข้อดีที่โดดเด่นของเขาคือการนำแนวคิดการพัฒนาและการเชื่อมโยงโครงข่ายมาสู่วรรณคดี สิ่งนี้ทำให้เขาสามารถวางรากฐานของวรรณกรรมวิภาษวิธีในฐานะทฤษฎีการเคลื่อนไหวของความคิดของมนุษย์จากปรากฏการณ์สู่แก่นแท้ จากความจริงสัมพัทธ์ไปสู่ความจริงสัมบูรณ์ จากความรู้เชิงนามธรรมไปสู่ความรู้ที่เป็นรูปธรรม ตามหมวดหมู่ หลักการ และกฎหมายของวรรณกรรมวิภาษวิธี แนวทางระเบียบวิธีได้รับการพัฒนาเพื่อศึกษาเนื้อหาของวัตถุที่มีความหลากหลายและไม่สอดคล้องกัน ปัจจุบันวรรณกรรมถือเป็นสาขาวิชาวิทยาศาสตร์ที่ค่อนข้างกว้างขวาง ส่วนที่สำคัญและเป็นผู้ใหญ่ที่สุดคือวรรณกรรมทางการซึ่งได้รับชื่อจากหัวข้อที่กล่าวถึงมาตั้งแต่สมัยโบราณ - รูปแบบของความคิดและเหตุผลที่รับประกันว่าจะได้รับความจริงใหม่บนพื้นฐานของความจริงที่จัดตั้งขึ้นแล้วและประการแรก ทั้งหมดเป็นเกณฑ์ความถูกต้องและความสมบูรณ์ของแบบฟอร์มเหล่านี้ เป็นเวลานานแล้วที่วรรณกรรมอย่างเป็นทางการเป็นที่รู้จักในรูปแบบที่อริสโตเติลและนักวิจารณ์ของเขาให้ไว้เป็นหลัก ดังนั้นชื่อที่สอดคล้องกับขั้นตอนนี้คือ Aristotelian L. ประเพณีที่ย้อนกลับไปสู่อริสโตเติลยังก่อให้เกิดคำที่เทียบเท่ากันอีกคำหนึ่ง นั่นคือ ปรัชญาดั้งเดิม ความคงที่ของปัญหาและวิธีการแก้ไขภายในกรอบของปรัชญาอริสโตเติลตลอดหลายศตวรรษที่ผ่านมาได้ให้พื้นฐานแก่คานท์ซึ่งเป็นคนแรกที่ใช้คำว่า "ปรัชญาที่เป็นทางการ ” เชื่อว่าตลอดสองพันปีที่ผ่านไป นับตั้งแต่สมัยของอริสโตเติล แอลคนนี้ไม่ได้ก้าวไปข้างหน้าแม้แต่ก้าวเดียวและมีบุคลิกที่สมบูรณ์โดยพื้นฐานแล้ว คานท์ไม่เคยคิดเลยว่าเพียงครึ่งศตวรรษหลังจากการตายของเขา "ลมที่สอง" จะเริ่มขึ้นในการพัฒนาตรรกะที่เป็นทางการ ขั้นตอนใหม่เชิงคุณภาพนี้เกิดจากความจริงที่ว่าปัญหาที่เกิดจากการศึกษารากฐานเชิงตรรกะของคณิตศาสตร์สามารถเกิดขึ้นได้ ไม่สามารถแก้ไขได้ด้วยตรรกะของอริสโตเติล เกือบจะพร้อมกัน กระบวนการของการทำให้เป็นตรรกะของคณิตศาสตร์และคณิตศาสตร์ของ L กำลังดำเนินการอยู่ เมื่อแก้ไขปัญหาเชิงตรรกะจะมีการใช้วิธีทางคณิตศาสตร์อย่างแข็งขันแคลคูลัสเชิงตรรกะจะถูกสร้างขึ้น มีการดำเนินการตามขั้นตอนที่เป็นรูปธรรมเพื่อนำแนวคิดของไลบนิซไปใช้เกี่ยวกับการใช้วิธีการคำนวณในทางวิทยาศาสตร์ใดๆ J. Boole พัฒนาระบบแรกของพีชคณิต L. ขอบคุณงานของ O. de Morgan, W. Jevons, E. Schroeder, P.S. Poretsky, Peirce, Frege, J. Peano และ Russell ได้สร้างส่วนหลักของคณิตศาสตร์คณิตศาสตร์ซึ่งกลายเป็นสาขาที่สำคัญที่สุดของคณิตศาสตร์อย่างเป็นทางการ ในศตวรรษที่ 20 โดยเฉพาะในยุค 20 และ 30 ในงานของ J. Lukasiewicz E. โพสต์, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. โคลโมโกรอฟ, จี. ไรเชนบัค, เอส.เค. Kleene, P. Detouches-Fevrier, G. Birkhoff และคนอื่นๆ วางรากฐานของส่วนที่ไม่ใช่คลาสสิกของภาษาศาสตร์ที่เป็นทางการ: ภาษาศาสตร์ที่มีหลายค่า, กิริยาช่วย, ความน่าจะเป็น, สัญชาตญาณ, คอนสตรัคติวิสต์ และอื่นๆ ​​มากกว่าสอง ("จริง" "และ" เท็จ") ถือว่าเป็นหนึ่งในคุณลักษณะที่เป็นลักษณะเฉพาะของตรรกะที่ไม่ใช่แบบคลาสสิกหรือที่มักเรียกกันว่าตรรกะที่ไม่ใช่แบบไครซิปปี้ ในช่วงทศวรรษที่ 1930 การพัฒนาตรรกะที่เป็นทางการ มีความเกี่ยวข้องกับการแก้ปัญหาต่าง ๆ ของโลหะวิทยา (กรีก meta - after, over) ศึกษาหลักการสร้างและคุณสมบัติทั่วไปของระบบที่เป็นทางการเช่นปัญหาความสม่ำเสมอความสมบูรณ์ความเป็นอิสระของระบบสัจพจน์ความสามารถในการแก้ไขความสามารถ ของระบบเหล่านี้เพื่อแสดงทฤษฎีที่มีความหมาย ฯลฯ รากฐานของสิ่งที่เรียกว่า "การคิดแบบเครื่องจักร" การศึกษาปัญหาเหล่านี้โดดเด่นด้วยการค้นพบที่โดดเด่นซึ่งมีความสำคัญทางอุดมการณ์และระเบียบวิธีที่สำคัญและเกี่ยวข้องกับชื่อของ Tarski, K. Gödel, A. Church สิ่งที่มีชื่อเสียงที่สุดคือทฤษฎีบทของ K. Gödel เกี่ยวกับความไม่สมบูรณ์ของระบบที่เป็นทางการ รวมถึง เลขคณิตของจำนวนธรรมชาติและทฤษฎีเซตสัจพจน์ ตามทฤษฎีบทนี้ ในแต่ละระบบเหล่านี้ มีข้อเสนอว่าภายในกรอบการทำงานไม่สามารถพิสูจน์หรือหักล้างได้ ดังนั้นจึงแสดงให้เห็นว่าไม่มีทฤษฎีทางวิทยาศาสตร์ที่ถูกต้องเพียงทฤษฎีเดียวเท่านั้นที่สามารถบีบให้อยู่ในกรอบของรูปแบบนิยมได้ A. คริสตจักรได้พิสูจน์ทฤษฎีบทว่าไม่มีอัลกอริธึมสำหรับการแก้ปัญหาหลายประเภท ไม่ต้องพูดถึงอัลกอริทึมที่ช่วยให้สามารถแก้ไขปัญหาใดๆ ก็ได้ (นักตรรกศาสตร์และนักคณิตศาสตร์ที่โดดเด่นหลายคนใฝ่ฝันที่จะประดิษฐ์อัลกอริทึมดังกล่าว) ปัจจุบัน การพัฒนาตรรกะที่เป็นทางการกำลังดำเนินไปในสองทิศทางหลัก: 1) การพัฒนาระบบใหม่ของตรรกะที่ไม่ใช่คลาสสิก (ตรรกะของความจำเป็น การประเมิน คำถาม ตรรกะชั่วคราว ตรรกะอุปนัย ทฤษฎีของความหมายเชิงตรรกะ ฯลฯ) การศึกษาคุณสมบัติของระบบเหล่านี้และความสัมพันธ์ระหว่างระบบเหล่านี้ การสร้างทฤษฎีทั่วไป 2) การขยายขอบเขตของการประยุกต์ใช้รูปแบบ L ผลลัพธ์สุดท้ายที่สำคัญที่สุดที่ได้รับในทิศทางนี้คือรูปแบบ L. ไม่เพียงกลายเป็นเครื่องมือในการคิดที่แม่นยำเท่านั้น แต่ยังเป็น "ความคิด" ของเครื่องมือที่แม่นยำชิ้นแรกด้วย - คอมพิวเตอร์ โดยตรงในบทบาทของหุ้นส่วนที่มนุษย์รวมอยู่ในขอบเขตการแก้ปัญหาที่เขาเผชิญอยู่ L. (ในผลรวมของทุกส่วน) ได้กลายเป็นส่วนสำคัญของวัฒนธรรมมนุษย์ ความสำเร็จของมันถูกนำไปใช้ในกิจกรรมของมนุษย์ที่หลากหลาย มีการใช้กันอย่างแพร่หลายในด้านจิตวิทยาและภาษาศาสตร์ ทฤษฎีการจัดการและการสอน กฎหมายและจริยธรรม ส่วนที่เป็นทางการเป็นพื้นฐานดั้งเดิมของไซเบอร์เนติกส์ คณิตศาสตร์และเทคโนโลยีคอมพิวเตอร์ และทฤษฎีสารสนเทศ หากปราศจากหลักการและกฎหมายของวรรณคดี วิธีการทางปัญญาและการสื่อสารสมัยใหม่ก็เป็นสิ่งที่คิดไม่ถึง การศึกษาของ L. ให้ความสำคัญอย่างยิ่งมาโดยตลอด ปาร์เมนิเดสได้สอนโสกราตีสซึ่งยังไม่มีประสบการณ์ในด้านปรัชญาไว้แล้ว: “ความกระตือรือร้นในการหาเหตุผลของคุณ มั่นใจได้ เป็นสิ่งมหัศจรรย์และศักดิ์สิทธิ์ แต่ในขณะที่คุณยังเด็ก พยายามฝึกฝนให้มากขึ้นในสิ่งที่คนส่วนใหญ่มองว่าเป็นการพูดไร้สาระ (เช่น การดำเนินการโดยใช้แนวคิดที่เป็นนามธรรม - V.B.) มิฉะนั้นความจริงจะหลบเลี่ยงคุณ" ดังที่เราเห็นในสมัยโบราณเป็นที่เข้าใจกันว่าวินัยซึ่งต่อมาได้รับชื่อ L. มีบทบาทด้านระเบียบวิธีเป็นหลักในการค้นหาความจริง วี.เอฟ. เบอร์คอฟ

9) ลอจิก- - ในความหมายกว้าง ๆ - นี่คือศาสตร์เชิงปรัชญาของกฎแห่งการคิดที่ถูกต้อง ในความหมายที่แคบ - ลำดับของความจำเป็นที่สร้างขึ้นในการค้นหาความจริง

10) ลอจิก - (จากโลโก้ภาษากรีก - โลโก้) 1) ความสามารถในการถูกต้องเช่น มีเหตุผล คิด; 2) หลักคำสอนเรื่องอัตลักษณ์และการปฏิเสธ (G. Jacobi) หลักคำสอนเรื่องความสม่ำเสมอและวิธีการรับรู้ (ศาสตร์แห่งตรรกะ) เนื่องจาก "ตรรกะทางการเบื้องต้น" มันเกี่ยวข้องกับคุณสมบัติทั่วไปส่วนใหญ่ที่มีอยู่ในแนวคิดทั้งหมด (ที่มีอยู่) ขั้นพื้นฐาน คุณสมบัติของแนวคิดแสดงออกมาเป็นสัจพจน์เชิงตรรกะ (ดูสัจพจน์) ขั้นแรก พิจารณาหลักคำสอนของแนวคิด จากนั้นจึงพิจารณาหลักคำสอนเรื่องการตัดสิน และสุดท้ายคืออนุมาน หลักคำสอนเกี่ยวกับสัจพจน์เชิงตรรกะ แนวคิด การตัดสิน และการอนุมาน เมื่อนำมารวมกันเป็นตรรกะที่บริสุทธิ์ ตรรกะประยุกต์ครอบคลุมหลักคำสอนของคำจำกัดความ การพิสูจน์ และวิธีการในตรรกะดั้งเดิม มักจะนำหน้าไม่ใช่ด้วยตรรกะทางวิทยาศาสตร์ แต่ด้วยคำสอนทางทฤษฎี-ความรู้ความเข้าใจ จิตวิทยาเกี่ยวกับประสบการณ์ คำอธิบาย และการกำหนด (โดยเฉพาะอย่างยิ่งด้วยความช่วยเหลือจากภาษาพิเศษ คำศัพท์เฉพาะทาง) และการก่อตัวของแนวความคิด บางครั้งก็มีการเพิ่มหลักคำสอนของระบบเข้าไปด้วย ตรรกศาสตร์ (ในฐานะวิทยาศาสตร์) เป็นเพียงหลักคำสอนของการคิดในแนวความคิด แต่ไม่ใช่ของความรู้ผ่านแนวความคิด มันทำหน้าที่เพิ่มความแม่นยำอย่างเป็นทางการของจิตสำนึกและความเที่ยงธรรมของเนื้อหาของการคิดและการรับรู้ ผู้ก่อตั้งตรรกะของยุโรปตะวันตก (ในฐานะวิทยาศาสตร์) คืออริสโตเติล "บิดาแห่งตรรกะ" คำว่า "ตรรกะ" ปรากฏครั้งแรกในหมู่สโตอิก พวกเขาและกลุ่ม Neoplatonists ได้ชี้แจงแง่มุมบางประการของมัน และในยุคกลาง นักวิชาการได้พัฒนามันในรายละเอียดที่เล็กที่สุด ในรายละเอียดปลีกย่อย ลัทธิมนุษยนิยมขับไล่ลัทธินักวิชาการออกจากตรรกะ แต่ไม่สามารถต่ออายุได้ การปฏิรูปใช้ตรรกะของ Melanchthon การต่อต้านการปฏิรูป - ตรรกะของ Suarez โยฮันเนส สตวร์มจากสตราสบูร์กได้พัฒนาตรรกะขึ้นมาในหลักการเหนือลัทธินักวิชาการ ปิแอร์ ราเมต์ มีชื่อเสียงมากขึ้น ตั้งแต่ศตวรรษที่ 17 อิทธิพลต่อตรรกะของขอบเขตความคิดที่เกี่ยวข้องกับคณิตศาสตร์เริ่มเห็นได้ชัดเจน และในวิธีทางเรขาคณิตของสปิโนซานั้นน้อยกว่าในไลบ์นิซซึ่งใช้การปรับปรุงวิธีวิทยาศาสตร์ธรรมชาติในตรรกะ จากไลบ์นิซและคณิตศาสตร์ รวมถึงจากนีโอสกอลัสติซึม มาเป็นตรรกะของโรงเรียนหมาป่า "ตรรกะเหนือธรรมชาติ" ของคานท์ในความเป็นจริงแล้วเป็นทฤษฎีวิพากษ์ความรู้ ซึ่งเป็นตรรกะของภาษาเยอรมัน อุดมคตินิยม (โดยเฉพาะตรรกะของ Hegel) - อภิปรัชญาเชิงเก็งกำไร Schopenhauer, Nietzsche, Bergson และผู้เสนอปรัชญาแห่งชีวิตปฏิเสธตรรกะดั้งเดิม ในปัจจุบัน ตรรกะได้แบ่งออกเป็นหลายทิศทาง: 1) ตรรกะเลื่อนลอย (Hegelianism); 2) ตรรกะทางจิตวิทยา (T. Lipps ส่วนหนึ่ง W. Wundt); 3) ญาณวิทยาหรือตรรกะเหนือธรรมชาติ (neo-Kantianism); 4) ตรรกะเชิงความหมาย (อริสโตเติล, คูลเป, ลัทธินามนิยมสมัยใหม่); 5) ตรรกะของวิชา (Remke, Meinong, Drish); 6) ตรรกะนีโอนักวิชาการ; 7) ตรรกะเชิงปรากฏการณ์; 8) ตรรกะในฐานะระเบียบวิธี (neo-Kantianism) และโลจิสติกส์ ซึ่งเป็นศูนย์กลางของการถกเถียงเกี่ยวกับตรรกะ

11) ลอจิก- - ดู ตรรกะวิภาษวิธี ตรรกะทางคณิตศาสตร์ ตรรกะทางการ

ลอจิก

ในหนังสือ: 1) ขอบเขตสากลของการให้สิ่งต่าง ๆ ในโลกซึ่งยังคงมองไม่เห็น; 2) เทคนิคในการระบุขอบเขตนี้ทางอ้อม

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

หลักคำสอนเรื่องความเชื่อมโยงและลำดับของการคิดของมนุษย์ รูปแบบของการพัฒนา ความสัมพันธ์ต่างๆ ของรูปแบบทางจิต และการเปลี่ยนแปลงของความคิดเหล่านั้น L. พิจารณาคำถามเกี่ยวกับวิธีการดำรงอยู่ของความคิด ภาษาของการรวม การสืบพันธุ์ และการแปลกระบวนการคิด ในความหมายกว้างๆ ปรัชญาคือการตรวจสอบความเชื่อมโยงไม่เพียงแต่ในการคิดเท่านั้น แต่ยังรวมถึงความเป็นอยู่ด้วย นั่นคือวรรณกรรมที่เผยให้เห็น "ตรรกะของสิ่งต่าง ๆ" "ตรรกะของเหตุการณ์" และ "การเชื่อมโยงของเวลา" ในด้านนี้ L. เข้ามาใกล้กับภววิทยา ในแง่มุมที่สำคัญ ปรัชญามีความเกี่ยวข้องกับคำสอนเรื่องประชาน การพัฒนา การทำงาน และการอนุรักษ์ และรวมอยู่ในญาณวิทยาโดยตรง ดังนั้นปรัชญาจึงเป็นหนึ่งในแผนกย่อยหลักของปรัชญาและมีบทบาทสำคัญในการปรัชญาอย่างต่อเนื่องเนื่องจากส่วนหลังมักจะเกี่ยวข้องกับประเด็นของการคิดไม่ทางใดก็ทางหนึ่ง. ในศตวรรษที่ 19 ปรัชญาเป็นวิทยาศาสตร์พิเศษ แยกออกจากปรัชญา และเกี่ยวข้องกับการวิเคราะห์อย่างเป็นทางการของการคิดและภาษาของมัน คำถามเกี่ยวกับการพัฒนาความคิด วิวัฒนาการของวิธีการ เงื่อนไขทางวัฒนธรรม ประวัติศาสตร์ และสังคมยังคงอยู่ในความสามารถของปรัชญา ปรัชญาเองในรูปแบบทางสังคม-ประวัติศาสตร์และวัฒนธรรมที่เฉพาะเจาะจง กลายเป็นสาขาสำคัญของการวิจัยเชิงปรัชญา ภายในกรอบของแนวทางนี้สามารถระบุขั้นตอนหลักหลายขั้นตอนในการวิวัฒนาการของแสงและความเข้าใจของมันได้ ในโลกยุคโบราณ การพัฒนาปัญหาเชิงตรรกะเกี่ยวข้องกับกระบวนการจำแนกประเภทของสิ่งเทียมและธรรมชาติ เครื่องมือในกิจกรรมของมนุษย์ และการกระทำของมนุษย์ L. พัฒนาแนวคิดและเทคนิคทั่วไปสำหรับการปฏิบัติงานกับแนวคิดเหล่านั้น เป็นส่วนหนึ่งของปรัชญา มันเป็นเครื่องมือสำคัญในการสร้างภาพของโลกและนำไปใช้ในการปฏิบัติของสังคม ในยุคกลาง วรรณกรรมมุ่งเน้นไปที่การวิจัยเกี่ยวกับรูปแบบการคิดและความสัมพันธ์ของรูปแบบเหล่านั้น การรับรู้ที่มีความหมายนั้นพิจารณาจากมุมมอง ความสอดคล้องกับรูปแบบเชิงตรรกะ หลักคำสอนเรื่องโครงสร้างการคิดของมนุษย์ที่มั่นคง (หรือไม่สั่นคลอน) ซึ่งรับประกันความถูกต้องกลายเป็นข้อกำหนดเบื้องต้นที่สำคัญสำหรับมาตรฐานที่เกิดขึ้นใหม่ของความเป็นเหตุเป็นผลทางวิทยาศาสตร์ ตามหลักวิทยาศาสตร์ธรรมชาติ เมื่อปรัชญาที่เป็นทางการถูกแยกออกจากปรัชญา คำถามเกี่ยวกับความเป็นเหตุเป็นผลของการคิดของมนุษย์ก็พบว่าตัวเองเป็นศูนย์กลางของการโต้เถียงทางปรัชญา ในด้านหนึ่ง ความไม่เพียงพอของเหตุผลอย่างเป็นทางการสำหรับความต้องการของวิทยาศาสตร์สมัยใหม่ สำหรับการพัฒนาบุคลิกภาพของมนุษย์ และการขยายขอบเขตอันไกลโพ้นทางจิตวิญญาณนั้นถูกเปิดเผย ในทางกลับกัน ความจำเป็นในการรักษาเหตุผลและปรัชญาในความหมายที่กว้างที่สุด เนื่องจากเงื่อนไขสำหรับการทำซ้ำวัฒนธรรมได้รับการยืนยัน (Baden neo-Kantianism) ในศตวรรษที่ 20 การวิพากษ์วิจารณ์เชิงปรัชญาเกี่ยวกับความเป็นเหตุเป็นผล (โดยปกติจะตีความว่าเป็นการเชื่อมโยงอย่างเข้มงวดของรูปแบบเชิงตรรกะ) ทวีความเข้มข้นขึ้นและดำเนินการจากตำแหน่งที่แตกต่างกัน (ลัทธิอัตถิภาวนิยม ลัทธิมาร์กซิสม์ ลัทธิลดโครงสร้าง) ในเวลาเดียวกัน ในปรัชญามีแนวโน้มเพิ่มขึ้นในการปฏิบัติต่อวรรณกรรมจากมุมมองทางวัฒนธรรมและประวัติศาสตร์ เพื่อศึกษากฎต่างๆ ที่มีอยู่ในวัฒนธรรมและประเภทของกิจกรรมของมนุษย์ที่แตกต่างกัน ในแง่ของแนวทางเหล่านี้การเน้นในการทำความเข้าใจเนื้อหาของ L กำลังเปลี่ยนไป หากก่อนหน้านี้คุณภาพนี้เกี่ยวข้องกับการชี้แจงการวางแนวทางการคิดเป็นหลักตอนนี้การมุ่งเน้นไปที่การเชื่อมโยงของรูปแบบทางจิตที่เกิดขึ้นในปฏิสัมพันธ์ของมนุษย์ ปฏิสัมพันธ์นี้กำลังรวบรวมและสืบพันธุ์ วี.อี. เคเมรอฟ

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

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

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

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

(โลโก้กรีก - คำ การใช้เหตุผล แนวคิด จิตใจ) - ศาสตร์แห่งรูปแบบ กฎเกณฑ์ และวิธีการของกิจกรรมการเรียนรู้ ความสามารถในการคิดอย่างถูกต้อง (เชิงตรรกะ) ตั้งแต่สมัยโบราณมีคุณสมบัติที่สำคัญของการคิดทางปัญญาของมนุษย์ได้รับการสังเกต: หากในตอนแรกมีการสร้างข้อความบางอย่างขึ้นมาก็สามารถรับรู้ข้อความอื่น ๆ ได้ แต่ไม่ใช่ข้อความใด ๆ แต่มีเพียงข้อความที่กำหนดไว้อย่างเคร่งครัดเท่านั้น ดังนั้นการคิดทางปัญญาจึงอยู่ภายใต้บังคับบางอย่าง ผลลัพธ์ของมันถูกกำหนดและกำหนดไว้ล่วงหน้าโดยความรู้เดิมเป็นส่วนใหญ่ โสกราตีสใช้คุณสมบัตินี้กันอย่างแพร่หลายในบทสนทนาของเขา โดย​การ​ตั้ง​คำ​ถาม​อย่าง​เชี่ยวชาญ เขา​ชี้​แนะ​คู่​สนทนา​ให้​รับ​เอา​ข้อ​สรุป​ที่​เจาะจง​มาก. (โสกราตีสอธิบายว่าวิธีการของเขามีลักษณะการสนทนาคล้ายกับสิ่งที่พยาบาลผดุงครรภ์ทำซึ่งไม่ได้ให้กำเนิดตัวเอง แต่เป็นผู้ให้กำเนิด ดังนั้นเขาจึงถามคนอื่นเท่านั้นซึ่งมีส่วนทำให้เกิดความจริง แต่ตัวเขาเองไม่มีอะไรจะทำ ดังนั้น วิธีการของเขา โสกราตีสจึงเรียกว่า maieutics ซึ่งเป็นศิลปะของพยาบาลผดุงครรภ์) เพลโต นักศึกษาของโสกราตีส จากนั้นอริสโตเติลก็ได้กำหนดเงื่อนไขของการคิดเป็นหัวข้อของการศึกษาพิเศษ ผลลัพธ์ของอริสโตเติลนั้นน่าประทับใจอย่างยิ่ง ความสำเร็จของเขาเกิดจากการที่เขาขจัดเหตุผลที่สามารถเรียกได้ว่าเป็นเนื้อหาโดยคงไว้เพียงรูปแบบเท่านั้น เขาประสบความสำเร็จโดยการแทนที่ตัวอักษร (ตัวแปร) ในการตัดสินแทนชื่อที่มีเนื้อหาเฉพาะ ตัวอย่างเช่น ในการโต้แย้งโดยปริยาย: “ถ้า Bs ทั้งหมดเป็น Cs และ Aes ทั้งหมดเป็น Bs ดังนั้น Aes ทั้งหมดก็คือ Bs” วิธีการของอริสโตเติลแสดงให้เห็นถึงความจริงที่ว่าความน่าเชื่อถือของผลลัพธ์ของการให้เหตุผลที่มีเนื้อหาต่างกันนั้นไม่เพียงแต่ขึ้นอยู่กับความจริงของตำแหน่งเริ่มต้น (สถานที่) เท่านั้น แต่ยังขึ้นอยู่กับความสัมพันธ์ระหว่างสิ่งเหล่านั้น วิธีการเชื่อมโยงของพวกเขาด้วย เช่น ในรูปแบบของการใช้เหตุผล อริสโตเติลได้กำหนดหลักการที่สำคัญที่สุดสำหรับการเปลี่ยนจากสถานที่จริงไปสู่ข้อสรุปที่แท้จริง ต่อมาหลักการเหล่านี้เริ่มถูกเรียกว่ากฎแห่งอัตลักษณ์ ความขัดแย้ง และการแบ่งแยกระหว่างคนกลาง เขาเสนอระบบทฤษฎีแรกของรูปแบบของการใช้เหตุผล - ที่เรียกว่า การอ้างเหตุผลเชิงยืนยันซึ่งเกี่ยวข้องกับประพจน์ในรูปแบบ "A บางตัวคือ B", "A บางตัวคือ B", "ไม่มี A คือ B", "A บางตัวไม่ใช่ B" ดังนั้น เขาจึงวางรากฐานสำหรับวิทยาศาสตร์เกี่ยวกับวิธีการและรูปแบบการคิดที่ถูกต้องโดยทั่วไป ซึ่งเป็นกฎแห่งความรู้ที่มีเหตุผล ต่อมาวิทยาศาสตร์นี้เริ่มเรียกว่า L.L. ไม่ได้จำกัดตัวเองอยู่เพียงการชี้แจงกรณีที่ความจริงของสถานที่รับประกันความจริงของข้อสรุป การใช้เหตุผลประเภทนี้กลายเป็นหัวข้อหนึ่งของสาขาใดสาขาหนึ่ง - นิรนัย L. แต่พรรคเดโมคริตุสได้พูดคุยถึงปัญหาของการอนุมานแบบอุปนัยแล้วซึ่งมีการดำเนินการเปลี่ยนจากข้อความเฉพาะไปเป็นบทบัญญัติทั่วไปที่มีลักษณะความน่าจะเป็น ความสนใจเป็นพิเศษในการปฐมนิเทศปรากฏในศตวรรษที่ 17 และ 18 เมื่อวิทยาศาสตร์เชิงทดลองเริ่มพัฒนาอย่างรวดเร็ว นักปรัชญาชาวอังกฤษ F. Bacon พยายามครั้งแรกในการทำความเข้าใจเชิงทฤษฎีเกี่ยวกับการเหนี่ยวนำซึ่งตามที่เขาคิดสามารถใช้เป็นวิธีเดียวในการทำความเข้าใจปรากฏการณ์ทางธรรมชาติเพื่อนำไปใช้เพื่อประโยชน์ของผู้คน การนิรนัยและอุปนัยเป็นทิศทางหลักในการพัฒนาวรรณกรรมจนถึงศตวรรษที่ 19 ตัวแทนของปรัชญาเหตุผลนิยม (Descartes, Spinoza, Malebranche, Leibniz) ต้องการการหักล้างในขณะที่ตัวแทนของปรัชญาเชิงประจักษ์ (ราคะ) (ตาม F. Bacon - Hobbes, Locke, Condillac, Berkeley, Hume) เป็นนักอุปนัย Wolf ผู้เสนอระบบความรู้เชิงปรัชญาที่ครอบคลุมในความเห็นของเขาว่าเป็น "วิทยาศาสตร์ของวัตถุที่เป็นไปได้ทั้งหมดเท่าที่เป็นไปได้" พยายามประนีประนอมทิศทางเหล่านี้ โดยทั่วไปแล้ว เป็นนักเหตุผลนิยม เขายังคงเน้นย้ำถึงความสำคัญอย่างแน่วแน่ของการเหนี่ยวนำและความรู้เชิงทดลองในสาขาวิชาวิทยาศาสตร์บางสาขา (เช่น ในฟิสิกส์) อย่างไรก็ตาม แนวคิดของ Wolffian เกี่ยวกับรูปแบบและกฎแห่งการคิดและวิธีการรับรู้ซึ่งพัฒนาขึ้นในเลนินกราดในช่วงศตวรรษที่ 19 ไม่สามารถตอบสนองความต้องการของวิทยาศาสตร์และการปฏิบัติทางสังคมที่พัฒนาอย่างรวดเร็ว คานท์และโดยเฉพาะอย่างยิ่งเฮเกลวิพากษ์วิจารณ์ข้อจำกัดของวิธีการเชิงเหตุผลและอภิปรัชญา L. ต้องเผชิญกับภารกิจในการพัฒนาวิธีการที่จะช่วยให้มีแนวทางในการศึกษาความสัมพันธ์ที่สำคัญอย่างมีสติ เฮเกลพยายามแก้ไขปัญหานี้อย่างจริงจัง ข้อดีที่โดดเด่นของเขาคือการนำแนวคิดการพัฒนาและการเชื่อมโยงโครงข่ายมาสู่วรรณคดี สิ่งนี้ทำให้เขาสามารถวางรากฐานของวรรณกรรมวิภาษวิธีในฐานะทฤษฎีการเคลื่อนไหวของความคิดของมนุษย์จากปรากฏการณ์สู่แก่นแท้ จากความจริงสัมพัทธ์ไปสู่ความจริงสัมบูรณ์ จากความรู้เชิงนามธรรมไปสู่ความรู้ที่เป็นรูปธรรม ตามหมวดหมู่ หลักการ และกฎหมายของวรรณกรรมวิภาษวิธี แนวทางระเบียบวิธีได้รับการพัฒนาเพื่อศึกษาเนื้อหาของวัตถุที่มีความหลากหลายและไม่สอดคล้องกัน ปัจจุบันวรรณกรรมถือเป็นสาขาวิชาวิทยาศาสตร์ที่ค่อนข้างกว้างขวาง ส่วนที่สำคัญและเป็นผู้ใหญ่ที่สุดคือวรรณกรรมทางการซึ่งได้รับชื่อจากหัวข้อที่กล่าวถึงมาตั้งแต่สมัยโบราณ - รูปแบบของความคิดและเหตุผลที่รับประกันว่าจะได้รับความจริงใหม่บนพื้นฐานของความจริงที่จัดตั้งขึ้นแล้วและประการแรก ทั้งหมดเป็นเกณฑ์ความถูกต้องและความสมบูรณ์ของแบบฟอร์มเหล่านี้ เป็นเวลานานแล้วที่วรรณกรรมอย่างเป็นทางการเป็นที่รู้จักในรูปแบบที่อริสโตเติลและนักวิจารณ์ของเขาให้ไว้เป็นหลัก ดังนั้นชื่อที่สอดคล้องกับขั้นตอนนี้คือ Aristotelian L. ประเพณีที่ย้อนกลับไปหาอริสโตเติลยังก่อให้เกิดคำที่เทียบเท่ากันอีกคำหนึ่ง นั่นคือ ปรัชญาดั้งเดิม ความคงที่ของปัญหาและวิธีการแก้ไขภายในกรอบของปรัชญาอริสโตเติลตลอดหลายศตวรรษที่ผ่านมาได้ให้พื้นฐานแก่คานท์ซึ่งเป็นคนแรกที่ใช้คำว่า "ปรัชญาที่เป็นทางการ ” เชื่อว่าตลอดสองพันปีที่ผ่านไป นับตั้งแต่สมัยของอริสโตเติล แอลคนนี้ไม่ได้ก้าวไปข้างหน้าแม้แต่ก้าวเดียวและมีบุคลิกที่สมบูรณ์โดยพื้นฐานแล้ว คานท์ไม่เคยคิดเลยว่าเพียงครึ่งศตวรรษหลังจากการตายของเขา "ลมที่สอง" จะเริ่มขึ้นในการพัฒนาตรรกะที่เป็นทางการ ขั้นตอนใหม่เชิงคุณภาพนี้เกิดจากความจริงที่ว่าปัญหาที่เกิดจากการศึกษารากฐานเชิงตรรกะของคณิตศาสตร์สามารถเกิดขึ้นได้ ไม่สามารถแก้ไขได้ด้วยตรรกะของอริสโตเติล เกือบจะพร้อมกัน กระบวนการของการทำให้เป็นตรรกะของคณิตศาสตร์และคณิตศาสตร์ของ L กำลังดำเนินการอยู่ เมื่อแก้ไขปัญหาเชิงตรรกะจะมีการใช้วิธีทางคณิตศาสตร์อย่างแข็งขันแคลคูลัสเชิงตรรกะจะถูกสร้างขึ้น มีการดำเนินการตามขั้นตอนที่เป็นรูปธรรมเพื่อนำแนวคิดของไลบนิซไปใช้เกี่ยวกับการใช้วิธีการคำนวณในทางวิทยาศาสตร์ใดๆ J. Boole พัฒนาระบบแรกของพีชคณิต L. ขอบคุณงานของ O. de Morgan, W. Jevons, E. Schroeder, P.S. Poretsky, Peirce, Frege, J. Peano และ Russell ได้สร้างส่วนหลักของคณิตศาสตร์คณิตศาสตร์ซึ่งกลายเป็นสาขาที่สำคัญที่สุดของคณิตศาสตร์อย่างเป็นทางการ ในศตวรรษที่ 20 โดยเฉพาะในยุค 20 และ 30 ในงานของ J. Lukasiewicz E. โพสต์, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. โคลโมโกรอฟ, จี. ไรเชนบัค, เอส.เค. Kleene, P. Detouches-Fevrier, G. Birkhoff และคนอื่นๆ วางรากฐานของส่วนที่ไม่ใช่คลาสสิกของภาษาศาสตร์ที่เป็นทางการ: ภาษาศาสตร์ที่มีหลายค่า, กิริยาช่วย, ความน่าจะเป็น, สัญชาตญาณ, คอนสตรัคติวิสต์ และอื่นๆ ​​มากกว่าสอง ("จริง" "และ" เท็จ") ถือว่าเป็นหนึ่งในคุณลักษณะที่เป็นลักษณะเฉพาะของตรรกะที่ไม่ใช่แบบคลาสสิกหรือที่มักเรียกกันว่าตรรกะที่ไม่ใช่แบบไครซิปปี้ ในช่วงทศวรรษที่ 1930 การพัฒนาตรรกะที่เป็นทางการ มีความเกี่ยวข้องกับการแก้ปัญหาต่าง ๆ ของโลหะวิทยา (กรีก meta - after, over) ศึกษาหลักการสร้างและคุณสมบัติทั่วไปของระบบที่เป็นทางการเช่นปัญหาความสม่ำเสมอความสมบูรณ์ความเป็นอิสระของระบบสัจพจน์ความสามารถในการแก้ไขความสามารถ ของระบบเหล่านี้เพื่อแสดงทฤษฎีที่มีความหมาย ฯลฯ รากฐานของสิ่งที่เรียกว่า "การคิดแบบเครื่องจักร" การศึกษาปัญหาเหล่านี้โดดเด่นด้วยการค้นพบที่โดดเด่นซึ่งมีความสำคัญทางอุดมการณ์และระเบียบวิธีที่สำคัญและเกี่ยวข้องกับชื่อของ Tarski, K. Gödel, A. Church สิ่งที่มีชื่อเสียงที่สุดคือทฤษฎีบทของ K. Gödel เกี่ยวกับความไม่สมบูรณ์ของระบบที่เป็นทางการ รวมถึง เลขคณิตของจำนวนธรรมชาติและทฤษฎีเซตสัจพจน์ ตามทฤษฎีบทนี้ ในแต่ละระบบเหล่านี้ มีข้อเสนอว่าภายในกรอบการทำงานไม่สามารถพิสูจน์หรือหักล้างได้ ดังนั้นจึงแสดงให้เห็นว่าไม่มีทฤษฎีทางวิทยาศาสตร์ที่ถูกต้องเพียงทฤษฎีเดียวเท่านั้นที่สามารถบีบให้อยู่ในกรอบของรูปแบบนิยมได้ A. คริสตจักรได้พิสูจน์ทฤษฎีบทว่าไม่มีอัลกอริธึมสำหรับการแก้ปัญหาหลายประเภท ไม่ต้องพูดถึงอัลกอริทึมที่ช่วยให้สามารถแก้ไขปัญหาใดๆ ก็ได้ (นักตรรกศาสตร์และนักคณิตศาสตร์ที่โดดเด่นหลายคนใฝ่ฝันที่จะประดิษฐ์อัลกอริทึมดังกล่าว) ปัจจุบัน การพัฒนาตรรกะที่เป็นทางการกำลังดำเนินไปในสองทิศทางหลัก: 1) การพัฒนาระบบใหม่ของตรรกะที่ไม่ใช่คลาสสิก (ตรรกะของความจำเป็น การประเมิน คำถาม ตรรกะชั่วคราว ตรรกะอุปนัย ทฤษฎีของความหมายเชิงตรรกะ ฯลฯ) การศึกษาคุณสมบัติของระบบเหล่านี้และความสัมพันธ์ระหว่างระบบเหล่านี้ การสร้างทฤษฎีทั่วไป 2) การขยายขอบเขตของการประยุกต์ใช้รูปแบบ L ผลลัพธ์สุดท้ายที่สำคัญที่สุดที่ได้รับในทิศทางนี้คือรูปแบบ L. ไม่เพียงกลายเป็นเครื่องมือในการคิดที่แม่นยำเท่านั้น แต่ยังเป็น "ความคิด" ของเครื่องมือที่แม่นยำชิ้นแรกด้วย - คอมพิวเตอร์ โดยตรงในบทบาทของหุ้นส่วนที่มนุษย์รวมอยู่ในขอบเขตการแก้ปัญหาที่เขาเผชิญอยู่ L. (ในผลรวมของทุกส่วน) ได้กลายเป็นส่วนสำคัญของวัฒนธรรมมนุษย์ ความสำเร็จของมันถูกนำไปใช้ในกิจกรรมของมนุษย์ที่หลากหลาย มีการใช้กันอย่างแพร่หลายในด้านจิตวิทยาและภาษาศาสตร์ ทฤษฎีการจัดการและการสอน กฎหมายและจริยธรรม ส่วนที่เป็นทางการเป็นพื้นฐานดั้งเดิมของไซเบอร์เนติกส์ คณิตศาสตร์และเทคโนโลยีคอมพิวเตอร์ และทฤษฎีสารสนเทศ หากปราศจากหลักการและกฎหมายของวรรณคดี วิธีการทางปัญญาและการสื่อสารสมัยใหม่ก็เป็นสิ่งที่คิดไม่ถึง การศึกษาของ L. ให้ความสำคัญอย่างยิ่งมาโดยตลอด ปาร์เมนิเดสได้สอนโสกราตีสซึ่งยังไม่มีประสบการณ์ในด้านปรัชญาไว้แล้ว: “ความกระตือรือร้นในการหาเหตุผลของคุณ มั่นใจได้ เป็นสิ่งมหัศจรรย์และศักดิ์สิทธิ์ แต่ในขณะที่คุณยังเด็ก พยายามฝึกฝนให้มากขึ้นในสิ่งที่คนส่วนใหญ่มองว่าเป็นการพูดไร้สาระ (เช่น การดำเนินการโดยใช้แนวคิดที่เป็นนามธรรม - V.B.) มิฉะนั้นความจริงจะหลบเลี่ยงคุณ" ดังที่เราเห็นในสมัยโบราณเป็นที่เข้าใจกันว่าวินัยซึ่งต่อมาได้รับชื่อ L. มีบทบาทด้านระเบียบวิธีเป็นหลักในการค้นหาความจริง วี.เอฟ. เบอร์คอฟ

ในความหมายกว้างๆ มันเป็นศาสตร์เชิงปรัชญาเกี่ยวกับกฎแห่งการคิดที่ถูกต้อง ในความหมายที่แคบ - ลำดับของความจำเป็นที่สร้างขึ้นในการค้นหาความจริง

(จากโลโก้ภาษากรีก - โลโก้) 1) ความสามารถในการถูกต้องเช่น มีเหตุผล คิด; 2) หลักคำสอนเรื่องอัตลักษณ์และการปฏิเสธ (G. Jacobi) หลักคำสอนเรื่องความสม่ำเสมอและวิธีการรับรู้ (ศาสตร์แห่งตรรกะ) เนื่องจาก "ตรรกะทางการเบื้องต้น" มันเกี่ยวข้องกับคุณสมบัติทั่วไปส่วนใหญ่ที่มีอยู่ในแนวคิดทั้งหมด (ที่มีอยู่) ขั้นพื้นฐาน คุณสมบัติของแนวคิดแสดงออกมาเป็นสัจพจน์เชิงตรรกะ (ดูสัจพจน์) ขั้นแรก พิจารณาหลักคำสอนของแนวคิด จากนั้นจึงพิจารณาหลักคำสอนเรื่องการตัดสิน และสุดท้ายคืออนุมาน หลักคำสอนเกี่ยวกับสัจพจน์เชิงตรรกะ แนวคิด การตัดสิน และการอนุมาน เมื่อนำมารวมกันเป็นตรรกะที่บริสุทธิ์ ตรรกะประยุกต์ครอบคลุมหลักคำสอนของคำจำกัดความ การพิสูจน์ และวิธีการในตรรกะดั้งเดิม มักจะนำหน้าไม่ใช่ด้วยตรรกะทางวิทยาศาสตร์ แต่ด้วยคำสอนทางทฤษฎี-ความรู้ความเข้าใจ จิตวิทยาเกี่ยวกับประสบการณ์ คำอธิบาย และการกำหนด (โดยเฉพาะอย่างยิ่งด้วยความช่วยเหลือจากภาษาพิเศษ คำศัพท์เฉพาะทาง) และการก่อตัวของแนวความคิด บางครั้งก็มีการเพิ่มหลักคำสอนของระบบเข้าไปด้วย ตรรกศาสตร์ (ในฐานะวิทยาศาสตร์) เป็นเพียงหลักคำสอนของการคิดในแนวความคิด แต่ไม่ใช่ของความรู้ผ่านแนวความคิด มันทำหน้าที่เพิ่มความแม่นยำอย่างเป็นทางการของจิตสำนึกและความเที่ยงธรรมของเนื้อหาของการคิดและการรับรู้ ผู้ก่อตั้งตรรกะของยุโรปตะวันตก (ในฐานะวิทยาศาสตร์) คืออริสโตเติล "บิดาแห่งตรรกะ" คำว่า "ตรรกะ" ปรากฏครั้งแรกในหมู่สโตอิก พวกเขาและกลุ่ม Neoplatonists ได้ชี้แจงแง่มุมบางประการของมัน และในยุคกลาง นักวิชาการได้พัฒนามันในรายละเอียดที่เล็กที่สุด ในรายละเอียดปลีกย่อย ลัทธิมนุษยนิยมขับไล่ลัทธินักวิชาการออกจากตรรกะ แต่ไม่สามารถต่ออายุได้ การปฏิรูปใช้ตรรกะของ Melanchthon การต่อต้านการปฏิรูป - ตรรกะของ Suarez โยฮันเนส สตวร์มจากสตราสบูร์กได้พัฒนาตรรกะขึ้นมาในหลักการเหนือลัทธินักวิชาการ ปิแอร์ ราเมต์ มีชื่อเสียงมากขึ้น ตั้งแต่ศตวรรษที่ 17 อิทธิพลต่อตรรกะของขอบเขตความคิดที่เกี่ยวข้องกับคณิตศาสตร์เริ่มเห็นได้ชัดเจน และในวิธีทางเรขาคณิตของสปิโนซานั้นน้อยกว่าในไลบ์นิซซึ่งใช้การปรับปรุงวิธีวิทยาศาสตร์ธรรมชาติในตรรกะ จากไลบ์นิซและคณิตศาสตร์ รวมถึงจากนีโอสกอลัสติซึม มาเป็นตรรกะของโรงเรียนหมาป่า "ตรรกะเหนือธรรมชาติ" ของคานท์ในความเป็นจริงแล้วเป็นทฤษฎีวิพากษ์ความรู้ ซึ่งเป็นตรรกะของภาษาเยอรมัน อุดมคตินิยม (โดยเฉพาะตรรกะของ Hegel) - อภิปรัชญาเชิงเก็งกำไร Schopenhauer, Nietzsche, Bergson และผู้เสนอปรัชญาแห่งชีวิตปฏิเสธตรรกะดั้งเดิม ในปัจจุบัน ตรรกะได้แบ่งออกเป็นหลายทิศทาง: 1) ตรรกะเลื่อนลอย (Hegelianism); 2) ตรรกะทางจิตวิทยา (T. Lipps ส่วนหนึ่ง W. Wundt); 3) ญาณวิทยาหรือตรรกะเหนือธรรมชาติ (neo-Kantianism); 4) ตรรกะเชิงความหมาย (อริสโตเติล, คูลเป, ลัทธินามนิยมสมัยใหม่); 5) ตรรกะของวิชา (Remke, Meinong, Drish); 6) ตรรกะนีโอนักวิชาการ; 7) ตรรกะเชิงปรากฏการณ์; 8) ตรรกะในฐานะระเบียบวิธี (neo-Kantianism) และโลจิสติกส์ ซึ่งเป็นศูนย์กลางของการถกเถียงเกี่ยวกับตรรกะ

สิ่งที่ตรงกันข้ามกับค่าสัมบูรณ์ที่ไม่สมมาตร มีลักษณะเป็นส่วนขยายเชิงลบ ต่อต้านความเป็นสาระสำคัญ ทำลายตัวเอง...

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

ตรรกะในฐานะวิทยาศาสตร์ประกอบด้วยตรรกะดั้งเดิมและตรรกะสมัยใหม่ (คลาสสิกและไม่ใช่คลาสสิก) โดยเนื้อหาแสดงถึงลำดับเหตุการณ์ของขั้นตอนการพัฒนาวิทยาศาสตร์เชิงตรรกะ พวกเขามีความโดดเด่นด้วยแนวคิดพื้นฐานและวิธีการที่พวกเขาใช้ในการสร้างทฤษฎีที่เป็นทางการและปัญหาที่พวกเขาแก้ไข: ตรรกะดั้งเดิมวิธีการทำให้เป็นทางการใช้ในรูปแบบกึ่งทางการและ ทันสมัย- สะอาด; วี ตรรกะดั้งเดิมหมวดหมู่กลางคือ “แนวคิด” “การตัดสิน” และ “การอนุมาน” และใน ทันสมัย- ข้อความและข้อกำหนด ตรรกะดั้งเดิมก่อให้เกิดวัฒนธรรมแห่งการคิดเช่น เป็นวิธีการพิสูจน์และหักล้าง พื้นฐานของวาทกรรมประเภทต่างๆ เป็นต้น และ ทันสมัยสำรวจการทำงานของการคิดในภาษาวิทยาศาสตร์ เช่น วิเคราะห์หลักการของการสร้าง การเปลี่ยนแปลง และการอ้างเหตุผลของทฤษฎีทางวิทยาศาสตร์

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

ลอจิก (กรีก ladογιχή - ศาสตร์แห่งการคิด จาก ladόγος - ความคิด คำพูด การสอน) - เป็นวิทยาศาสตร์เชิงปรัชญาเกี่ยวกับกฎและรูปแบบของการคิดเชิงทฤษฎีเกี่ยวกับความสัมพันธ์ระหว่างรูปแบบเหล่านี้และเกี่ยวกับข้อผิดพลาดในกระบวนการคิดและวิธีการเอาชนะสิ่งเหล่านั้น

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

วัตถุลอจิก - นี่คือความคิดของมนุษย์อย่างไรก็ตาม ตรรกะศึกษาความคิดของมนุษย์ไม่ใช่พิจารณาทุกรูปแบบโดยคำนึงถึงการก่อตัวและพัฒนาการเช่นเดียวกับที่ทำในกรอบ ปรัชญา(โดยเฉพาะ - ใน ญาณวิทยา) แต่ใช้เฉพาะรูปแบบของการคิดทางทฤษฎีที่มีอยู่ในรูปแบบสำเร็จรูป ไม่เปลี่ยนแปลง ไม่เคลื่อนไหว เหมือนกันกับตัวเองในสถานการณ์ทางสังคมประวัติศาสตร์และวัฒนธรรมใด ๆ ตรรกะสำรวจการคิดโดยไม่เน้นเนื้อหาและการปรับสภาพโดยปัจจัยทางสรีรวิทยาและสังคมวัฒนธรรมซึ่งเป็นเรื่องปกติสำหรับ จิตวิทยาแต่เน้นในการคิดเชิงทฤษฎีเพียงลักษณะทางโครงสร้างที่เป็นทางการเท่านั้น เป็นต้น สาระสำคัญของการวิเคราะห์เชิงตรรกะ คือการลดทอนความคิดลงสู่โครงสร้างและรูปแบบโดยผ่านเนื้อหาที่เป็นนามธรรมควรคำนึงว่าแม้ว่าการวิเคราะห์ความคิดเกี่ยวกับความจริงหรือเท็จของเนื้อหาความเข้าใจ ฯลฯ และก้าวข้ามขอบเขตของตรรกะ แต่หากไม่มีการคิดเชิงตรรกะและการดำรงอยู่ของตรรกะในฐานะวิทยาศาสตร์ก็เป็นไปไม่ได้ ดังนั้นสำหรับตรรกะแล้ว ไม่เพียงแต่จะต้องกำหนดเท่านั้น ขวาแต่ยัง ความจริงรูปแบบความคิดเชิงตรรกะ (การตัดสินและการอนุมาน) ตรรกะไม่ได้มีจุดมุ่งหมายเพื่อให้ได้มาซึ่งความรู้ที่ไม่เป็นความจริงอย่างเห็นได้ชัด เรื่องของตรรกะ - นี่คือระบบที่ซับซ้อนที่รวมเงื่อนไขสากลที่รับประกันความจริงของการคิดซึ่งจะต้องปฏิบัติตามโดยไม่คำนึงถึงเนื้อหาของความคิด

เรื่องของตรรกะ เป็น:

- รูปแบบของการคิดเชิงทฤษฎี: แนวคิด การตัดสิน การอนุมาน

- กฎการคิดทั่วไป:ตัวตน ความขัดแย้ง ไม่รวมเหตุผลที่สามและเพียงพอ

- วิธีการทางวิทยาศาสตร์สากล การคิดเชิงทฤษฎีโดยทั่วไป:การวิเคราะห์ การสังเคราะห์ นามธรรม การทำให้เป็นภาพรวม การทำให้เป็นรูปแบบ ฯลฯ

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

- ภาษาของตรรกะเป็นระบบสัญลักษณ์เฉพาะเพื่อกำหนดรูปแบบความคิดและความเชื่อมโยง

- เงื่อนไข และคำจำกัดความมีเหตุผลในตรรกะ

- ข้อผิดพลาดเชิงตรรกะเป็นไปได้ในกระบวนการคิด

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

คุณสมบัติของการคิดที่ถูกต้อง:

- ความมั่นใจ- ความแม่นยำและความเข้มงวด

- ลำดับต่อมา- ไม่มีความขัดแย้งภายใน

- ความถูกต้อง- มุ่งเน้นไปที่เหตุที่ควรยอมรับว่าความคิดนั้นเป็นจริง

ในการคิดก็แยกแยะได้ เนื้อหาและรูปแบบความคิด:

รูปแบบการคิด - นี่คือโครงสร้างของความคิดวิธีเชื่อมโยงส่วนที่มีความหมาย(แนวคิดในการตัดสิน การตัดสินระหว่างกันในการตัดสินที่ซับซ้อน การตัดสินซึ่งเป็นส่วนหนึ่งของการอนุมาน)

การคิดของมนุษย์เกี่ยวข้องกับกระบวนการ การใช้เหตุผล. การใช้เหตุผล - นี่คือการเปรียบเทียบความคิดและการรวมเข้าด้วยกันเพื่อให้ได้ความรู้ใหม่จากความรู้ที่มีอยู่

การให้เหตุผลเกิดขึ้น ถูกและผิด.

การใช้เหตุผลที่ถูกต้อง - นี่คือเหตุผลที่มีเพียงความคิดเท่านั้น(ข้อสรุป)จำเป็นต้องติดตามจากความคิดอื่น(พัสดุ).

ตัวอย่าง:“ดาวทุกดวงเป็นลูกบอลก๊าซร้อนขนาดยักษ์เรืองแสง พระอาทิตย์ก็เป็นดาว ดังนั้นดวงอาทิตย์จึงเป็นลูกบอลก๊าซร้อนขนาดมหึมาเรืองแสง" ในการโต้แย้งนี้ ความคิดเริ่มแรกสองประการสนับสนุนความคิดที่สาม: “หากคลาสของวัตถุมีคุณสมบัติบางอย่างและวัตถุบางอย่างอยู่ในคลาสนี้ คุณสมบัตินี้ก็จะมีอยู่ในนั้นด้วย”. หรือ: “หากวัตถุมีคุณสมบัติบางอย่างและทุกสิ่งที่มีคุณสมบัตินี้ก็มีคุณสมบัติอื่นเช่นกัน ดังนั้นวัตถุนี้ก็มีคุณสมบัติอื่นนี้ด้วย”:“ดวงอาทิตย์เป็นลูกบอลก๊าซร้อนขนาดยักษ์เรืองแสง ลูกบอลก๊าซร้อนขนาดยักษ์เรืองแสงทั้งหมดสร้างพลังงานจำนวนมหาศาล ด้วยเหตุนี้ ดวงอาทิตย์จึงผลิตพลังงานจำนวนมหาศาล”

การใช้เหตุผลไม่ถูกต้อง - นี่คือเหตุผลที่เกิดข้อผิดพลาดเชิงตรรกะอันเป็นผลมาจากการไม่ปฏิบัติตามกฎหมายและกฎของตรรกะ

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

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

ตัวอย่างเช่น,ในคำจำกัดความ “ตรรกะคือวิทยาศาสตร์เชิงปรัชญา” ในด้านหนึ่งมีเนื้อหา (ความคิด) เฉพาะของมันซึ่งเป็นอิสระจากรูปแบบความคิด (“มีบางสิ่งถูกกล่าวหาเกี่ยวกับบางสิ่งบางอย่าง”) ในทางกลับกันข้อมูลเกี่ยวกับวิธีการของ การเชื่อมโยงองค์ประกอบเชิงโครงสร้างของความคิด (หัวข้อของความคิดและสัญลักษณ์ของหัวข้อของความคิด) ซึ่งเป็นสิ่งที่สนใจตรรกะในฐานะวิทยาศาสตร์

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

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

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

ตัวอย่าง:“นักเทคโนโลยีทุกคนเป็นผู้เชี่ยวชาญในเทคโนโลยีของสาขาการผลิตบางสาขา” เป็นเรื่องจริง “ผู้สมัครทุกคนเป็นนักศึกษาในอนาคต” ไม่เป็นความจริง

ตัวอย่างทั้งหมดนี้แสดงให้เห็นถึงความสำคัญของความรู้และการประยุกต์ กฎสองข้อ: เป็นทางการและ มีความหมาย.

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

ตัวอย่างเช่น,ลองใช้ข้อเสนอที่ว่า "เคียฟเป็นเมืองหลวงของฝรั่งเศส" และ "ถ้าเคียฟเป็นเมืองหลวงของฝรั่งเศส งั้น 22=5" โดยที่ข้อแรกเป็นข้อเสนอที่เรียบง่ายและข้อที่สองคือข้อเสนอที่ซับซ้อนซึ่งเกิดขึ้นจากคำเชื่อม "ถ้า , แล้ว". ขอให้เราใช้กฎตรรกะอย่างเป็นทางการข้อหนึ่งกับการตัดสินเหล่านี้: x, x→y╞ที่, ที่ไหน เอ็กซ์และ ที่- แสดงถึงข้อเสนอที่เรียบง่าย → - หมายถึงการรวมภาษาธรรมชาติ "ถ้าเช่นนั้น", ╞ - หมายถึงความสัมพันธ์ของผลที่ตามมา เมื่อเรากำหนดคำพิพากษาครั้งแรก เอ็กซ์, ที่สอง - x→yตามนี้ครับ คุณ - 22=5. และไม่สำคัญว่าคำตัดสินเหล่านี้จะเป็นจริงหรือสมเหตุสมผลหรือไม่ แน่นอนว่าข้อเสนอแรกไม่จริง และข้อเสนอที่สองก็ไม่จริงเช่นกัน และหากเป็นจริง (“22 = 4”) ก็จะไม่สมเหตุสมผลในความหมายปกติ อย่างไรก็ตาม นี่แสดงให้เห็นว่า สำหรับการใช้กฎอย่างเป็นทางการ ความจริงของการตัดสินและความเชื่อมโยงในความหมายนั้นไม่สำคัญ. และหากเป็นเช่นนั้น ให้กำหนดข้อเสนอแรกว่า "เคียฟเป็นเมืองหลวงของฝรั่งเศส" เป็น กและคำพิพากษา “22=5” - ในจากนั้นเราจะได้สูตรสำหรับการตัดสินที่ซับซ้อน “ถ้าเคียฟเป็นเมืองหลวงของฝรั่งเศส ดังนั้น 22 = 5” ในรูปแบบของนิพจน์ “ถ้า ก, ที่ ใน" เมื่อระบุรูปแบบการตัดสินแล้ว เราก็สามารถใช้กฎที่เป็นทางการกับพวกเขาได้” x, x→y╞ที่“ไม่ทราบความหมายหรือความหมายของคำพิพากษา” ก" และถ้า ก, ที่ ใน" ดังนั้นเมื่อพิจารณาจากคำพิพากษาแล้ว” ก" และถ้า ก, ที่ ใน“ได้ข้อสรุปแล้ว” ใน" ดังนั้นการให้เหตุผลนั้นถูกต้องอย่างเป็นทางการและมีเหตุผล ด้วยเหตุนี้ การใช้เหตุผลเชิงตรรกะอย่างเป็นทางการจึงเกิดขึ้นที่นี่ เพราะมันอยู่ภายใต้กฎเกณฑ์ที่เป็นทางการของตรรกะ และเมื่อมีการพิพากษา" ก" และข้อเสนอ "ถ้า ก, ที่ ใน“จะจริงก็จริงแน่นอนและ” ใน" ถ้าไม่จริงก็เป็นความจริง” ใน» ไม่รับประกัน

อย่างไรก็ตาม ในกระบวนการให้เหตุผล นอกเหนือจากกฎเกณฑ์ที่เป็นทางการแล้ว กฎเนื้อหา(กฎของการอุปนัยที่ไม่สมบูรณ์ กฎการเปรียบเทียบ ฯลฯ) กฎเนื้อหา - นี่คือกฎที่ให้เนื้อหาของสิ่งที่เปลี่ยนแปลงไปตามนั้นอย่างแม่นยำ

ตัวอย่างเช่นให้เรานำกฎการเปรียบเทียบคุณสมบัติซึ่งมีรูปแบบของสูตร:

◊[(ป, ป, ป (x))(ป, ป (ย))→(ป (ย))],

ซึ่งสามารถอ่านได้ดังนี้ “ธาตุ เอ็กซ์มีคุณสมบัติ ป,ป,ปและองค์ประกอบ ที่- คุณสมบัติ ป, ป. เพราะฉะนั้นธาตุ ที่,น่าจะมีทรัพย์สิน ป».

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

(1) "โลก ( เอ็กซ์) คือดาวเคราะห์ ป, โคจรรอบดวงอาทิตย์ ป, ส่องประกายด้วยแสงสะท้อน ป. ดาวศุกร์ ( ที่) คือดาวเคราะห์ ป, โคจรรอบดวงอาทิตย์ ป. ดังนั้นดาวศุกร์ ( ที่) อาจจะส่องแสงสะท้อน ป" (2) "โลก ( เอ็กซ์) คือดาวเคราะห์ ป, โคจรรอบดวงอาทิตย์ ป,มีดาวเทียม ป. ดาวศุกร์ ( ที่) คือดาวเคราะห์ ป, โคจรรอบดวงอาทิตย์ ป. ดังนั้นดาวศุกร์ ( ที่) อาจมีดาวเทียม ป"ซึ่งอย่างที่เรารู้กันว่าดาวศุกร์ไม่มี

2. ตรรกะและภาษา

เครื่องมือที่ช่วยให้คุณแสดงโครงสร้างเชิงตรรกะของความคิดในรูปแบบสัญลักษณ์ที่กระชับและสั้นและทำให้เป็นไปได้ การทำให้เป็นทางการ(lat. ฟอร์มาลิส - รวบรวมตามแบบฟอร์ม) การดำเนินการเชิงตรรกะที่ตามมา (การกระทำที่มีรูปแบบการคิดที่มีเหตุผล) คือ ภาษาของตรรกะ เป็นภาษาที่รับประกันการได้มาของรูปแบบตรรกะบางอย่างจากรูปแบบอื่นตามกฎและกฎหมายที่กำหนดไว้ในตรรกะ และข้อสรุปนี้เองที่กำหนดความถูกต้องของการคิดเชิงทฤษฎี ซึ่งหมายความว่าความถูกต้องของการคิดเชิงทฤษฎีในตรรกะนั้นส่วนใหญ่ถูกกำหนดโดยภาษาของมัน เช่นเดียวกับที่ไม่มีภาษาเชิงตรรกะนอกเหนือจากการกระทำเชิงตรรกะดังนั้น หากไม่มีภาษาเชิงตรรกะ การกระทำเชิงตรรกะใดๆ และท้ายที่สุดแล้ว การคิดที่ถูกต้องก็เป็นไปไม่ได้

ภาษา - เป็นรูปแบบทางสังคมที่แสดงถึงวัสดุที่เป็นธรรมชาติ(ภาษาเสียง ความเป็นพลาสติกของร่างกายมนุษย์: ท่าทาง ท่าทาง การแสดงออกทางสีหน้า) และประดิษฐ์(ภาษาคณิตศาสตร์ ตรรกะ ภาพวาด ดนตรี ป้ายถนน ฯลฯ)ระบบสัญลักษณ์สัญลักษณ์ที่ช่วยให้ผู้คนสื่อสาร เข้าใจโลกและความรู้ในตนเอง จัดเก็บและส่งข้อมูล และควบคุมพฤติกรรมของกันและกัน

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

ภาษาใด ๆ ประกอบด้วยสัญญาณ . เข้าสู่ระบบ - นี่คือองค์ประกอบของภาษาที่มาแทนที่และเป็นตัวแทนของวัตถุและสัญญาณในกระบวนการคิดและการรับรู้

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

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

ขึ้นอยู่กับส่วนขยาย (ค่านิยม) สัญญาณอาจเป็นจินตภาพหรือของจริงก็ได้

สัญญาณในจินตนาการ - สิ่งเหล่านี้เป็นสัญญาณที่มีส่วนขยายไม่สอดคล้องกับวัตถุที่มีอยู่สัญญาณในจินตนาการสะท้อนถึงวัตถุมหัศจรรย์ (“นางเงือกดานูบ”, “สภาพในอุดมคติ”) และวัตถุที่อาจมีอยู่จริง แต่ไม่มีอยู่จริงในพื้นที่ที่ระบุด้วยสัญลักษณ์นี้ (“การเลือกตั้งตามระบอบประชาธิปไตยเสรีของประธานาธิบดีแห่งยูเครนใน 2547 ”) สัญญาณจริง - สิ่งเหล่านี้เป็นสัญญาณที่มีส่วนขยายที่สอดคล้องกับวัตถุหรือคุณลักษณะบางอย่าง(“รัฐธรรมนูญ”, “เงินเฟ้อ”, “ผู้มีอำนาจของยูเครน”)

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

ทั้งหมด สัญญาณแบ่งย่อย บน สัญญาณทางภาษาและ สัญญาณที่ไม่ใช่ภาษา. ประเภทของสัญญาณที่ไม่ใช่ภาษา จัดสรร โดย ลักษณะของการเชื่อมต่อระหว่างเครื่องหมายกับวัตถุและลักษณะเฉพาะ: ป้าย-ภาพ - มีความคล้ายคลึงกันกับวัตถุที่เกี่ยวข้อง(แผนที่ ผังพื้นที่ ภาพวาด ภาพถ่าย) สัญญาณดัชนี (lat. ดัชนี - ตัวบ่งชี้) - มีความสัมพันธ์โดยตรงกับวัตถุที่พวกเขากำหนด(ควันเป็นสัญลักษณ์ของไฟ การเปลี่ยนแปลงความสูงของคอลัมน์ปรอทเป็นสัญญาณของการเปลี่ยนแปลงของความดันบรรยากาศ ตัวบ่งชี้ตัวเลขหรือตัวอักษร: เอ็กซ์, เอ็กซ์...เอ็กซ์โดยที่ 1, 2, n เป็นสัญญาณดัชนี) สัญญาณ-สัญลักษณ์ - ชี้ไปที่วัตถุแต่ไม่ได้เชื่อมต่อทางกายภาพกับวัตถุเหล่านั้น(ป้ายถนนเป็นสัญลักษณ์แจ้งการจัดการจราจรอย่างเหมาะสม ตราแผ่นดิน ธง เพลงสรรเสริญเป็นสัญลักษณ์แห่งมลรัฐของบางประเทศ)... สัญญาณภาษา เป็นตัวแทนของวัตถุ

ป้ายที่แสดงถึงวัตถุเป็น ชื่อของวัตถุ (หรือ ความร้อน). ชื่อ (lat. ชื่อ - ชื่อ) - เป็นการแสดงออกของภาษาธรรมชาติหรือภาษาประดิษฐ์ที่เป็นทางการซึ่งแสดงถึงวัตถุหรือคลาสของวัตถุที่แยกจากกันกล่าวอีกนัยหนึ่ง ชื่อรายการ แก้ไข "พูดอะไร" . ในระดับทฤษฎี การกำหนดวัตถุด้วยชื่อเป็นเงื่อนไขที่ไม่เพียงแต่สำหรับการสื่อสารเท่านั้น แต่ยังรวมถึงการคิดด้วย รายการ(lat. res - subject, thing) เป็นที่เข้าใจที่นี่ ในความหมายกว้างๆ ว่าคือ สิ่งของ ปรากฏการณ์ กระบวนการ คุณสมบัติ ความเชื่อมโยง ความสัมพันธ์ ฯลฯ ทั้งธรรมชาติและสังคมผลิตภัณฑ์ใด ๆ ที่มีอยู่

จำแนกชื่อ บน เดี่ยวและ เป็นเรื่องธรรมดา. เดี่ยว แสดงถึงวัตถุหนึ่งชิ้นและแสดงในภาษาด้วยคำนามเฉพาะ(“G.S. Skovoroda”, “Dnepr”) เมื่อไม่ได้สื่อถึงชื่อที่ถูกต้องอย่างชัดเจนก็จะถูกนำมาใช้ ตัวดำเนินการเพียงเล็กน้อย - "คนที่"(“ผู้ที่พัฒนาวิธีการอุปนัยทางวิทยาศาสตร์”) เป็นเรื่องธรรมดา แสดงถึงชุด(คลาสที่เป็นเนื้อเดียวกัน)วัตถุและมีการแสดงในภาษาด้วยคำนามทั่วไป(“หนังสือ”, “ดาวเคราะห์ของระบบสุริยะ”) ท่ามกลางชื่อสามัญสามารถแยกแยะได้ เรียบง่ายซึ่งไม่มีส่วนที่มีความหมายเป็นอิสระ (“หนังสือ”) และ ซับซ้อน,หรือ พรรณนา,ประกอบด้วยส่วนที่มีความหมายอิสระ (“ดาวเคราะห์ของระบบสุริยะ”: “ดาวเคราะห์”, “ระบบ”, “ระบบสุริยะ”)

ชื่อ(เหมือนป้าย)มี ความหมายและ ความหมาย. ความหมายของชื่อ มีวัตถุที่กำหนดโดยมัน ความหมายของชื่อเรียกว่า การแสดงนัย (lat. denotatus - กำหนด; การกำหนด , ละติจูด การกำหนด - การกำหนด) ความหมายของชื่อ- นี่คือวิธีที่ชื่อกำหนดวัตถุเช่น ข้อมูลบางอย่างเกี่ยวกับวัตถุที่กำหนด ความหมายของชื่อเรียกว่า แนวคิด. ความหมายและความสำคัญแต่งหน้า เนื้อหาชื่อ

ตัวอย่างเช่น,รูปแบบการแสดงออกทางภาษาเช่น "ประเทศที่เล็กที่สุดคือนครรัฐ", "นครรัฐในเมืองหลวงของอิตาลี - โรม", "ประเทศที่มีพื้นที่ 44 เฮกตาร์และมีประชากรประมาณ 1 พันคน", "ศูนย์กลางของคริสตจักรนิกายโรมันคาธอลิก, ที่ประทับของประมุข, สมเด็จพระสันตะปาปาแห่งโรม" ได้ ความหมายเดียวกัน(วาติกัน), แต่ ความหมายที่แตกต่างเพราะ เป็นตัวแทนประเทศที่กำหนดโดยใช้คุณสมบัติต่างๆ เช่น ให้ข้อมูลที่แตกต่างกันเกี่ยวกับเรื่องนี้

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

ตัวอย่างเช่น,ความหมายของคำว่า "Dnepr" อาจเป็นแม่น้ำ มอเตอร์ไซค์ สโมสรฟุตบอล ฯลฯ

หากแสดงถึง(ความหมาย)name ก็คือชื่อ ดังนั้นชื่อเดิมจะถูกใช้เข้ามา ความรู้สึกที่ไม่เปิดเผยชื่อ (“การเป็น” คือ “ประเภทของความเป็นอยู่”, “การตัดสิน” คือ “แนวคิดของการตัดสิน” โดยที่ทุกตัวอย่างวินาทีแสดงให้เห็นถึงการใช้คำศัพท์ที่ไม่เปิดเผยชื่อ)

ในภาษาธรรมชาติที่เรียกว่า "ปฏิปักษ์ของความสัมพันธ์ในการตั้งชื่อ" , ซึ่งในกรณีการเปลี่ยนชื่อเป็นอีกชื่อหนึ่งมีเนื้อหาเหมือนกันแต่รูปแบบต่างกันความหมายของประโยคก็จะเปลี่ยนไป

ตัวอย่างเช่น,เป็นไปไม่ได้ในการสอนภาษาฝรั่งเศส นักปรัชญา อาร์. เดการ์ต มาแทนที่ ความเคลื่อนไหวเป็นคุณลักษณะสากลของสสารวัตถุและองค์ประกอบต่างๆ เปลี่ยนเป็นคุณลักษณะสากลของสสารวัตถุและองค์ประกอบของมันตั้งแต่ศตวรรษที่ 17 การเปลี่ยนแปลงไม่ถือเป็นคุณลักษณะของสสาร สสารซึ่งประกอบด้วยองค์ประกอบหลายอย่างมีความสามารถตามข้อมูลของ R. Descartes มีเพียงการเคลื่อนไหว (เชิงกล) เท่านั้น แต่องค์ประกอบเหล่านี้เอง - เช่นเดียวกับสสารโดยรวม - ไม่มีการเปลี่ยนแปลง

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

สัญญาณที่แสดงถึงคุณลักษณะ - คุณสมบัติและความสัมพันธ์ถูกเรียกว่า ผู้ทำนาย (“ขาว”, “อีก”, “ได้โปรด”, “ภูมิใจ”, “ผู้บุกเบิก”, “ระหว่าง”) กล่าวอีกนัยหนึ่ง ผู้ทำนาย แก้ไข “กำลังพูดอะไรอยู่” .

มีลักษณะเฉพาะของตัวทำนาย ภูมิประเทศ พื้นที่ใช้งาน และพื้นที่แห่งความจริง

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

ระดับ(คลาสละติน - กลุ่ม) วิชาที่สมเหตุสมผลที่จะใช้ภาคแสดงบางอย่างเรียกว่า ขอบเขตของการทำนาย

ดังนั้นขอบเขตการประยุกต์ใช้ตัวทำนาย "ขาย"จะมีคนชนชั้นหนึ่งและ "เลียนแบบ"- จำพวกสัตว์หรือพืช

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

ตัวอย่างเช่น, ผู้ทำนาย "รัก"สามารถบันทึกความสัมพันธ์ของบุคคลกับบุคคลอื่น ประเภทของกิจกรรม บางอย่าง เป็นต้น

ปริมาณของคุณสมบัติหรือความสัมพันธ์ที่แสดงโดยตัวแสดงเรียกว่า ขอบเขตความจริงของผู้ทำนาย.

ตัวอย่างเช่นตามลักษณะที่กำหนด ขอบเขตความจริงของผู้แสดง "สวย"อาจจะเป็นคน การเต้นรำ ดอกไม้ ฯลฯ "ผู้สืบเชื้อสาย"- Paleoanthrope และ Archanthrope, Black Sea Cossack และ Cossack เป็นต้น

นิพจน์ที่แสดงถึงการกระทำต่าง ๆ การดำเนินการกับวัตถุซึ่งเป็นผลมาจากการที่วัตถุใหม่เกิดขึ้นถูกเรียกว่า สัญญาณการทำงาน (นิพจน์ฟังก์ชันโดเมนหรือฟังก์ชันโดเมน , เช่น. ชื่อของฟังก์ชันเรื่อง:ในวิชาคณิตศาสตร์: “√”, “+”, “ กะรัต ก" และอื่น ๆ.; ในภาษาธรรมชาติ: "อายุ" "ส่วนสูง" "มวล" "ความเร็ว" "ระยะทาง" "อาชีพ" ฯลฯ)

ฟังก์ชันรายการ (เหมือนนักพยากรณ์) ก็มี เดี่ยว (“น้ำหนัก”) และ หลายที่นั่ง (“ระยะทาง”) และยังมี พื้นที่ใช้งาน , เช่น. คลาสของวัตถุที่แนะนำให้ใช้ฟังก์ชันบางอย่าง (“มวล” ในฟิสิกส์, “บันทึก” ในคณิตศาสตร์) แต่การใช้ฟังก์ชั่น (เช่น "อายุ" กับ Samarin S.M. ) จะนำไปสู่การก่อตัวของวัตถุใหม่ (ในกรณีนี้คือหมายเลขที่ระบุชื่อเช่น 20) ในเรื่องนี้เราสามารถพูดได้ ไม่เกี่ยวกับอาณาจักรแห่งความจริงและเกี่ยวกับ โดเมนของฟังก์ชันออบเจ็กต์ .

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

โดยทั่วไป ชื่อรายการ (เช่น คำและวลีที่แสดงถึงวัตถุแต่ละชิ้นและประเภทของวัตถุที่เป็นเนื้อเดียวกัน) ผู้ทำนาย (เช่น คำและวลีที่แสดงถึงคุณสมบัติของวัตถุหรือความสัมพันธ์ระหว่างวัตถุ) และ สัญญาณการทำงาน (เช่น สำนวนที่แสดงถึงฟังก์ชันวัตถุประสงค์ การดำเนินการ: “√”, “+”, “ กะรัต ก") เป็น พรรณนา (จากภาษาละติน description - คำอธิบาย พรรณนา )เงื่อนไข (ละติน . ปลายทาง - ชายแดน)

ภาษาก็มีด้วย เงื่อนไขเชิงตรรกะ (ค่าคงที่เชิงตรรกะ หรือค่าคงที่เชิงตรรกะ) เงื่อนไขเชิงตรรกะ แสดงคำและวลีดังกล่าวด้วยภาษาธรรมชาติ, ยังไง "และ" , "หรือ" , "ถ้าอย่างนั้น" , "ไม่" , “ถ้าและถ้าอย่างนั้น” ฯลฯ "ทั้งหมด" ,"บาง" และอื่นๆ "ที่" ,"ที่" ,"ดังนั้น" และอื่น ๆ.

เงื่อนไขตรรกะ "และ" , "หรือ" , "ถ้าอย่างนั้น" , "ไม่" , “ถ้าและถ้าอย่างนั้น”... จับความสัมพันธ์ระหว่างคำพรรณนาระหว่างข้อความระหว่างข้อความ .

คำพูดที่จับความสัมพันธ์เรียกว่า การเชื่อมต่อเชิงตรรกะ . ในบรรดากลุ่มของการเชื่อมโยงเชิงตรรกะไม่เพียงเท่านั้น การเชื่อมต่อเชิงประพจน์ ("และ" , "หรือ" , "ถ้าอย่างนั้น" , "ไม่" , “ถ้าและถ้าอย่างนั้น” ) แต่ยัง การเชื่อมต่อเชิงตรรกะการแก้ไขเป็นการมีอยู่ระหว่างวัตถุแห่งความคิด ความสัมพันธ์("เพลโต เป็นอาจารย์ของอริสโตเติล) และการมีอยู่ของความคิดในเรื่อง คุณสมบัติ("โดเนตสค์ มีศูนย์ภูมิภาค"): "มี" ("ไม่กิน" ), "เป็น" ("ไม่ใช่" ) ซึ่งมีรูปพหูพจน์คือ "แก่นแท้" ("ไม่ใช่ประเด็น" ). ถ้าเกิดเอ็น "มี" ("ไม่กิน" ), "เป็น" ("ไม่ใช่" ) แสดงในแถลงการณ์ คุณสมบัติพวกเขาถูกเรียกว่า เนื่องมาจาก , ถ้า ความสัมพันธ์ - ญาติ . เส้นเอ็นสามารถแสดงออกได้ การดำรงอยู่วัตถุ และ/หรือ คุณลักษณะของมัน และดังนั้นจึงเป็น ดำรงอยู่ นอกจากนี้เส้นเอ็นเหล่านี้ก็สามารถเป็นได้เช่น ยืนยัน ("มี" ), และ เชิงลบ ("ไม่กิน" ).

คำ "และ" , "หรือ" , "ถ้าอย่างนั้น" และอื่น ๆ ในภาษาธรรมดาหรือวรรณกรรมคือ คำสันธานทางไวยากรณ์. พวกเขาเชื่อมโยงประโยคง่ายๆให้เป็นประโยคที่ซับซ้อน พวกเขามีความสำคัญที่นี่ เนื้อหาและความหมาย.

คำ "และ" , "หรือ" , "ถ้าอย่างนั้น" และอื่น ๆ เป็นและ สหภาพแรงงานเชิงตรรกะ. พวกเขาไม่ได้บันทึกการเชื่อมต่อระหว่างประโยคอีกต่อไป แต่ระหว่างคำสั่งต่างๆ เท่านั้น ค่าบูลีน(ความจริงและไม่จริง) ของข้อความง่ายๆ ที่ประกอบขึ้นเป็นข้อความที่ซับซ้อน

ในตรรกะก็มี ชื่อพิเศษและสัญลักษณ์ของคำสันธานเชิงตรรกะ: « และ» - ร่วม(), « หรือ» - การแยกทาง(), « ถ้าอย่างนั้น» - ความหมาย(→), « หากและหากเป็นเช่นนั้น» - ความเท่าเทียมกัน- (≡) ฯลฯ ธรรมชาติของพวกมันถูกศึกษาโดยตรรกะเชิงประพจน์ ด้วยความช่วยเหลือของพวกเขา ข้อความง่ายๆ (คำตัดสิน) จะถูกสร้างขึ้นเป็นข้อความที่ซับซ้อนซึ่งมีชื่อของคำเชื่อมที่สอดคล้องกัน: คำสันธาน การแยกทางฯลฯ พวกเขาก็เหมือน ๆ กัน คำสันธานเชิงประพจน์, หรือ การเชื่อมต่อเชิงประพจน์(ข้อเสนอภาษาละติน - ข้อเสนอ, แถลงการณ์)

เงื่อนไขเชิงตรรกะ "ทั้งหมด" ,"บาง"... ให้ลักษณะเชิงปริมาณในข้อความง่ายๆ คำศัพท์เชิงตรรกะเหล่านี้แสดงถึงตัวดำเนินการเชิงตรรกะ ซึ่งรวมถึง ปริมาณ (จากภาษาละติน กวนตัม - เท่าไหร่): ปริมาณทั่วไป (-"ทั้งหมด" ) และ ปริมาณการดำรงอยู่ (-"บาง" ). พวกเขามีความคล้ายคลึงกันของภาษาธรรมชาติและสัญลักษณ์อื่น ๆ

เงื่อนไขเชิงตรรกะ "นั่น" ,"ที่" , "ดังนั้น..." สะท้อนการแสดงออกเชิงพรรณนาของวัตถุแห่งความคิดในข้อความง่ายๆ

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

ได้รับคุณสมบัติอย่างเป็นทางการของข้อความ (โดยไม่คำนึงถึงการโต้ตอบกับข้อมูลที่เป็นข้อเท็จจริง) คุณค่าความจริง มีสำนวนเชิงสัญลักษณ์ด้วย: 1 (จริง), 0 (ไม่จริง). ข้อความอย่างเป็นทางการสามารถมีค่าความจริงได้ไม่เพียงแค่สองค่าเท่านั้น กล่าวคือ เป็น สองหลักแต่ยัง ไม่ชัดเจน.

คำศัพท์เชิงตรรกะในภาษาของตรรกะ แสดงดังต่อไปนี้ ตัวอักษร:

1. 1) ก, ข, ค- สัญลักษณ์ของชื่อเดี่ยวหรือตัวแปรหัวเรื่อง
2. 2) x, ย, z- สัญลักษณ์ของชื่อสามัญหรือตัวแปรหัวเรื่อง
3. 3) ป, ถาม, ร, … ป, ถาม, ร- สัญลักษณ์ของตัวทำนายซึ่งระบุตำแหน่งหรือตัวแปรตัวทำนาย
4. 4) พี, ถาม, ร- สัญลักษณ์ของข้อความหรือตัวแปรเชิงประพจน์
5. 5) - สัญลักษณ์ของปริมาณทั่วไป (“ ทั้งหมด”,“ ไม่มี”,“ ใด ๆ ”,“ ใด ๆ ”,“ แต่ละ” ฯลฯ );
6. 6) - สัญลักษณ์ของปริมาณการดำรงอยู่ ("ไม่ใช่ทั้งหมด", "บางส่วน", "มีเช่นนี้", "ส่วนใหญ่", "ชนกลุ่มน้อย", "บางส่วน", "บางครั้ง" ฯลฯ );
7. 7) ส, ป- สัญลักษณ์ของเรื่องและภาคแสดงของการพิพากษา
8. 8) ม- สัญลักษณ์ระยะกลางของการอนุมาน (ทั่วไปสำหรับสองสถานที่)
9. 9) ก- สัญลักษณ์ของการตัดสินที่ยืนยันโดยทั่วไป (“ ทุกอย่างสมี ร»);
10. 10) อี- สัญลักษณ์ของการตัดสินเชิงลบโดยทั่วไป (“ทั้งหมดสไม่กิน ร»);
11. 11) ฉัน - สัญลักษณ์ของการตัดสินโดยยืนยันเป็นการส่วนตัว (“บางส่วนสมี ร»);
12. 12) เกี่ยวกับ- สัญลักษณ์ของการตัดสินเชิงลบบางส่วน (“บางส่วนสไม่กิน ร»);
13. 13) () - สัญญาณทางเทคนิคของวงเล็บซ้ายและขวาใช้ในการเขียนเช่นเงื่อนไขการตัดสินที่ซับซ้อน
14. 14) < >- ป้ายวงเล็บเพื่อระบุการเชื่อมต่อและการแตกแยกแบบปิดหรือสมบูรณ์
15. 15) ฌา, ~อา, อา, - สัญลักษณ์ปฏิเสธ (“ ไม่ใช่ -a”,“ ไม่เป็นความจริงที่ a”);
16. 16) , & - สัญลักษณ์ร่วม (“และ”);
17. 17) - สัญลักษณ์ของการรวมกันของการแยกที่อ่อนแอ (ไม่เข้มงวด) (“ หรือ”);
18. 18) - สัญลักษณ์ของการรวมกันของการแยกที่รุนแรง (เข้มงวด) (“ อย่างใดอย่างหนึ่งหรือ”);
19. 19) →, - สัญลักษณ์ของการรวมกันโดยนัย (“ ถ้าเช่นนั้น”);
20. 20) ↔, ≡ - สัญลักษณ์ของการรวมกันที่เทียบเท่า (“ ถ้าและถ้าเป็นเช่นนั้น”);
21. 21) - - สัญลักษณ์ของการเชื่อมโยงเชิงตรรกะของการตัดสิน (“ คือ”, “ไม่ใช่”, “สาระสำคัญ”, “ไม่ใช่สาระสำคัญ”, “เป็น”, “ไม่ใช่”);
22. 22) - สัญลักษณ์ของการดำเนินการเชิงตรรกะของการเพิ่มแนวคิด (คลาส)
23. 23) - สัญลักษณ์ของการดำเนินการเชิงตรรกะของการคูณหรือจุดตัดของแนวคิด
24. 24) - สัญลักษณ์ของการอยู่ใต้บังคับบัญชาการรวมชั้นเรียนภายในชั้นเรียน
25. 25) \ - สัญลักษณ์ของการดำเนินการเชิงตรรกะของการลบแนวคิด
26. 26)  - สัญลักษณ์ของตัวดำเนินการกิริยา "จำเป็น";
27. 27) ◊ - สัญลักษณ์ของตัวดำเนินการกิริยา "เป็นไปได้";
28. 28) - สัญลักษณ์ของตัวดำเนินการกิริยา "สุ่ม";
29. 29) i - สัญลักษณ์ของตัวดำเนินการกิริยา "จริงๆ";
30. 30) ร- สัญลักษณ์ของตัวดำเนินการกิริยา "อนุญาต";
31. 31) เอฟ- สัญลักษณ์ของตัวดำเนินการกิริยา "ต้องห้าม";
32. 32) เกี่ยวกับ- สัญลักษณ์ของตัวดำเนินการโมดอล “จำเป็น”;
33. 33) ถึง- สัญลักษณ์ของตัวดำเนินการกิริยา "รู้";
34. 34) ใน- สัญลักษณ์ของตัวดำเนินการกิริยา "เชื่อ" (นับ)
35. 35) 1, ฉัน, ที- สัญลักษณ์ "จริง";
36. 36) 0, x, ฉ- สัญลักษณ์ "ไม่จริง";
37. 37) ร- สัญลักษณ์แห่งความสัมพันธ์
38. 38) ก, ใน, กับ- สัญลักษณ์ของข้อความ
39. 39) ฟ- สัญลักษณ์แห่งคำจำกัดความ (คำจำกัดความ)

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

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

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

ชุดของสัญลักษณ์หมายถึงที่จับโครงสร้างเชิงตรรกะของการให้เหตุผลและการเชื่อมโยงเชิงตรรกะขององค์ประกอบของโครงสร้างนี้เป็น ภาษาหัวเรื่อง , หรือ ภาษาวัตถุ: "ทั้งหมด ส มี ร" ก การวิเคราะห์เชิงตรรกะของโครงสร้างการให้เหตุผลการเชื่อมโยงเครื่องหมายของโครงสร้างนี้และขั้นตอนสำหรับความสัมพันธ์กับความหมายเกิดขึ้นบนพื้นฐาน ภาษาโลหะ: ส หมายถึงเรื่องของความคิด ร- สัญลักษณ์ของเรื่องแห่งความคิด "มี"กำหนดความสัมพันธ์ระหว่างพวกเขา "ทั้งหมด"- ชุดของวัตถุบางชุดที่สะท้อนให้เห็นโดยธรรมชาติ ส(หัวเรื่อง) และ ร(ภาคแสดง)

โครงสร้างภาษาธรรมชาติ นำเสนอ สัญศาสตร์สามส่วน (กรีก σημειωτικόν - การศึกษาสัญญาณ จากภาษากรีก σημεϊον - เครื่องหมาย) - ศาสตร์แห่งสัญลักษณ์และภาษาในฐานะระบบสัญลักษณ์: ไวยากรณ์ (กรีกσύνταζις - โครงสร้างการรวมกันโดยที่สัญญาณถูกวิเคราะห์นั่นคือหลักการของการสร้างสัญญาณกฎของการเชื่อมต่อและการวางตำแหน่งของสัญญาณทางภาษาในระบบสัญญาณบางอย่างถูกกำหนด) ความหมาย (กรีก σημαντικός - หมายถึง; โดยมีการเปิดเผยความสัมพันธ์ระหว่างเครื่องหมายและความหมาย, ศึกษาความหมายและความสำคัญของการแสดงออกทางภาษา, วิเคราะห์ภาษาเป็นระบบสัญลักษณ์ตามหน้าที่ของคำจำกัดความและการกำหนด) และ เชิงปฏิบัติ (จากภาษากรีก πραγμα - ธุรกิจ การกระทำ โดยที่ความสัมพันธ์ระหว่างระบบสัญลักษณ์และพาหะของมัน จะพิจารณาวิธีใช้สัญลักษณ์และภาษาเป็นระบบสัญลักษณ์ในสถานการณ์เชิงปฏิบัติเฉพาะ)

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

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

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

ลักษณะทั่วไป

แล้วตรรกะคืออะไร? คำจำกัดความของตรรกะมีหลายแง่มุมมาก แปลจากภาษากรีกแปลว่า "ความคิด" "จิตใจ" "คำพูด" และ "กฎหมาย" ในการตีความสมัยใหม่ แนวคิดนี้ใช้ในสามกรณี:

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

ปัญหาลอจิก

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

ตรรกะที่ไม่เป็นทางการ

ตรรกะแบ่งออกเป็นส่วนใหญ่:

1. ไม่เป็นทางการ.
2. เป็นทางการ.
3. สัญลักษณ์
4. วิภาษ.

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

ตรรกะที่เป็นทางการและเชิงสัญลักษณ์

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

ตรรกะวิภาษวิธี

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

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

วัตถุลอจิก

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

เรื่องของตรรกะ

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

1. การรับรู้ทางประสาทสัมผัส ดำเนินการโดยใช้อวัยวะรับความรู้สึกหรือเครื่องมือ
2. การรับรู้อย่างมีเหตุผล ดำเนินการโดยใช้การคิดเชิงนามธรรม

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

การรับรู้ทางประสาทสัมผัส

ภาพทางประสาทสัมผัสหมายถึงความรู้เกี่ยวกับคุณสมบัติภายนอกของสิ่งต่าง ๆ และปรากฏการณ์บางอย่าง การรับรู้ทางประสาทสัมผัสสามารถเกิดขึ้นได้สามรูปแบบ:

1. ความรู้สึก. สะท้อนถึงคุณสมบัติส่วนบุคคลของวัตถุ
2. การรับรู้. สะท้อนถึงวัตถุโดยรวม แสดงถึงภาพลักษณ์องค์รวม
3. ผลงาน. นี่คือภาพของวัตถุที่เก็บรักษาไว้ในความทรงจำ

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

การรับรู้อย่างมีเหตุผล

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

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

แนวคิด

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

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

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

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

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

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

คำพิพากษา

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

การคิดที่ถูกต้องคือการได้รับความรู้ที่แท้จริงใหม่จากความรู้ที่แท้จริง การคิดผิดยังส่งผลให้เกิดความรู้เท็จอีกด้วย ตัวอย่างเช่น มีสองข้อเสนอ: “ถ้าอีวานก่อการปล้น เขาเป็นอาชญากร” และ “อีวานไม่ได้ก่อการปล้น” การตัดสินว่า "อีวานไม่ใช่อาชญากร" ซึ่งได้รับจากข้อมูลนี้อาจเป็นเท็จ เนื่องจากการที่เขาไม่ได้ก่ออาชญากรรมไม่ได้บ่งชี้ว่าเขาไม่ได้ก่ออาชญากรรมอื่น ๆ

การอนุมาน

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

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

บทสรุป

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

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

ความรู้ -นี่คือข้อมูลที่อาสาสมัครได้รับ ประมวลผลโดยเขาบนพื้นฐานของประสบการณ์ส่วนตัวหรือการปฏิบัติทางสังคม และทำหน้าที่เป็นผู้ควบคุมกิจกรรมการเปลี่ยนแปลงทางปัญญาของเขา

ผู้เข้าร่วมทำสิ่งนี้ผ่านการรับรู้ทางประสาทสัมผัสและการคิดเชิงนามธรรม ผ่านการสะท้อนทางประสาทสัมผัส (ความรู้สึก การรับรู้ ความคิด) ตามกระบวนการทางจิต บุคคลจะรับรู้วัตถุแต่ละชิ้นและคุณสมบัติของวัตถุเหล่านั้น

ความรู้สึก -กระบวนการทางจิตที่ง่ายที่สุดในการสะท้อนคุณสมบัติส่วนบุคคลของวัตถุและสถานะภายในของร่างกายที่เกิดขึ้นจากผลกระทบโดยตรงของสิ่งเร้าทางวัตถุต่อประสาทสัมผัส

เกี่ยวกับ "หัวข้อ", "หมวดหมู่", "ในการพิสูจน์ข้อโต้แย้งที่ซับซ้อน", "ในการตีความ" นักตรรกศาสตร์ไบแซนไทน์ได้รวมผลงานทั้งหมดของอริสโตเติลไว้ในชื่อสามัญว่า "ออร์กานอน" (เครื่องมือแห่งความรู้) - ซม.: อริสโตเติล. ปฏิบัติการ ต. 2 ม. 2521

การรับรู้ -นี่คือกระบวนการสะท้อนวัตถุและปรากฏการณ์ของโลกวัตถุประสงค์ที่ส่งผลกระทบต่อเครื่องวิเคราะห์ของมนุษย์ในปัจจุบัน

ผลงาน -นี่เป็นกระบวนการสะท้อนวัตถุและปรากฏการณ์ด้วยภาพและทั่วไป (หรือคุณสมบัติส่วนบุคคล) ซึ่งไม่ส่งผลกระทบต่อประสาทสัมผัสของเราในปัจจุบัน

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

ผู้คนมักให้เหตุผลโดยพยายามดึงความรู้ใหม่ๆ ออกมาจากความรู้ที่พวกเขามี ความรู้ที่ได้รับในลักษณะนี้เรียกว่าอนุมาน กระบวนการสร้างความรู้เชิงอนุมานเป็นไปตามกฎตรรกะบางประการตามธรรมชาติ

วัตถุประสงค์หลักของตรรกะคือการสำรวจกฎทางจิตที่เฉพาะเจาะจงอย่างแม่นยำ และพัฒนากฎเกณฑ์สำหรับการได้รับความรู้เชิงอนุมาน

ด้วยเหตุนี้ เป้าหมายของตรรกะในฐานะวิทยาศาสตร์จึงอยู่ที่การคิดของมนุษย์

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

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

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

ลักษณะของการคิดคือความจริงที่ว่าความรู้เกี่ยวกับความเป็นจริงและการพัฒนาความรู้นั้นดำเนินการในลักษณะทั่วไปและทางอ้อม

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

ในทางอ้อม เนื่องจากการคิดทำให้เราได้รับความรู้ใหม่ๆ เกี่ยวกับโลก ไม่ใช่ทุกครั้งที่หันไปหาประสบการณ์โดยตรง แต่อาศัยความรู้เดิม หากเรารู้อย่างแน่ชัดว่าฝ่ายตุลาการปกป้องสิทธิของพลเมืองอยู่เสมอ จากนั้นใช้ความคิดนี้เป็นการตัดสินเบื้องต้น เราจะได้รับคำกล่าวที่แท้จริงใหม่: “ศาลในสหพันธรัฐรัสเซียก็ปกป้องสิทธิของพลเมืองรัสเซียด้วย”

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

ดังนั้นเราจึงสามารถกำหนดตรรกะได้ว่าเป็นวิทยาศาสตร์

ลอจิก(จากภาษากรีก Aouo

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

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

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

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

ตัวอย่างเช่น สองข้อเสนอต่อไปนี้:

“ Cato the Elder พูดถึงความจำเป็นในการทำลาย Carthage” และ “ Plevako - ทนายความที่มีไหวพริบ” - ไม่มีเนื้อหาเหมือนกัน แต่มีโครงสร้างเชิงตรรกะที่เหมือนกัน ในการตัดสินครั้งแรกและครั้งที่สอง วัตถุแห่งความคิดจะถูกนำมาประกอบ บางชนิดทรัพย์สินบางอย่าง ในทางแผนผังจะมีลักษณะดังนี้: S คือ P โดยที่: S เป็นเรื่องของความคิด; (ตั้งแต่ lat. วิชา- หัวเรื่องในแถลงการณ์ - การตัดสิน - หัวเรื่องเชิงตรรกะ); P - คุณสมบัติที่เกิดจากวัตถุนี้ (ตั้งแต่ lat. การวิจัย -สิ่งที่กล่าวในคำแถลง-คำพิพากษานั้นเป็นภาคแสดง)

เพื่อยืนยันข้อสรุปของเรา ให้พิจารณาข้อโต้แย้งอีกสองข้อ: “นักบินอวกาศทุกคนเป็นผู้กล้าหาญ G. Titov - นักบินอวกาศ ด้วยเหตุนี้ G. Titov จึงเป็นคนที่กล้าหาญ” และ “นักศึกษาปีแรกของ Russian Academy of Justice ทุกคนศึกษาตรรกะ Tanya Petrova เป็นนักเรียนปีแรกที่ Russian Academy of Justice เพราะฉะนั้น,

Tanya Petrova ศึกษาตรรกะ" เนื้อหาของข้อโต้แย้งเหล่านี้แตกต่างกัน แต่โครงสร้างเชิงตรรกะ (รูปแบบ) เหมือนกัน ตามตรรกะมักจะเขียนดังนี้:

ข้อเสนอ “M คือ P” และ “S คือ M” มีความสัมพันธ์กันโดยใช้คำทั่วไปคือ “M” (ตัวอักษร “M” หมายถึงแนวคิดที่มีเนื้อหาเหมือนกันในข้อความที่หนึ่งและที่สอง เรียกว่า ระยะกลาง (จาก lat. ปานกลาง- เฉลี่ย)) และด้วยเหตุนี้จึงสามารถสรุปได้: "S คือ P"

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

ประวัติความเป็นมาของตรรกะย้อนกลับไปมากกว่า 2.5 พันปี และแบ่งออกเป็นสองขั้นตอนหลัก ครั้งแรกเริ่มต้นด้วยผลงานของอริสโตเติลและดำเนินต่อไปจนถึงต้นศตวรรษที่ 20 ประการที่สองคือตั้งแต่ครั้งนั้นจนถึงปัจจุบัน แทบจะเป็นไปไม่ได้เลยที่จะแสดงรายการนักคิดที่โดดเด่นทุกคนที่พัฒนาตรรกะ ควรมีหลักสูตรพิเศษเฉพาะสำหรับปัญหานี้ ในเวลาเดียวกันควรสังเกตว่าในสมัยกรีกโบราณตัวแทนของโรงเรียน "สโตอิก" (Chrinsii) ให้ความสนใจอย่างมากกับตรรกะ บุคคลที่โดดเด่นที่สุดคนหนึ่งในวัฒนธรรมเชิงตรรกะของยุคกลางคือ I.D. Scot F. Bacon มีส่วนสำคัญในการพัฒนาตรรกะที่เป็นทางการในฐานะวิทยาศาสตร์ พระองค์ทรงวางรากฐานสำหรับหลักคำสอนเชิงตรรกะของการเหนี่ยวนำ โดยมีจุดประสงค์เพื่อค้นหาความสัมพันธ์เชิงสาเหตุระหว่างปรากฏการณ์ในโลกโดยรอบผ่านการสังเกตและการทดลอง เจ. เอส. มิลล์ได้พัฒนาวิธีการชักนำทางวิทยาศาสตร์โดยอาศัยการสร้างความสัมพันธ์เชิงสาเหตุ G. Leibniz ยืนยันความคิดเกี่ยวกับความเป็นไปได้ในการนำเสนอข้อพิสูจน์เป็นการคำนวณทางคณิตศาสตร์ D. Boole ตีความการอนุมานอันเป็นผลมาจากการแก้ความเท่าเทียมกันเชิงตรรกะ G. Frege ใช้ตรรกะเพื่อศึกษารากฐานของคณิตศาสตร์ ต่อมามีส่วนสำคัญในการพัฒนาตรรกะโดย B. Bolzano, O. De Morgan, W. S. Jevons, C. S. Pierce, E. Schroeder และคนอื่นๆ

จุดเริ่มต้นของศตวรรษที่ 20 ถือเป็นการปฏิวัติทางตรรกะ ผลลัพธ์พื้นฐานได้รับโดย K. Gödel, D. Gilbert, B. Racel, A. Tarski, A. N. Whitehead, A. Church และคนอื่นๆ

เพื่อนร่วมชาติของเรามีส่วนช่วยอย่างมากในการพัฒนาตรรกะ วิวัฒนาการของแนวคิดเชิงตรรกะในรัสเซียมีความเกี่ยวข้องกับกลุ่มดาวที่ยอดเยี่ยม: เหล่านี้คือพี่น้อง Likhud, M.V. Lomonosov, P.S. Poretsky, N.A. Vasilyev, A.A. Markov-son เป็นต้น ในช่วงไม่กี่ทศวรรษที่ผ่านมา A. P. Alekseev ได้ทำอะไรมากมาย L. B. Bazhenov, V. A. Bocharov, E. K. Voishvillo, A. D. Getmanova, D. P. Gorsky, A. A. Ivin, Yu. V. Ivlev, V. I. Kirillov, S. A. Lebedev, V. I. Markin, A. L. Nikiforov, S. I. Povarnin, G. I. Ruzavin, P. Sergeich, V. I. Svintsov, A. A. Starchenko, M.K. Treushnikov, A.I. Uemov ฯลฯ

• ตรงกันข้ามกับตรรกะวิภาษวิธีซึ่งในแง่หนึ่งสอดคล้องกับทฤษฎีความรู้