ตรรกะที่เป็นทางการและกฎหมายพื้นฐานของมัน

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

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

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

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

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

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

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

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

กฎหมายของความสอดคล้องหมายความว่าความคิดที่ไม่ควรจะเป็นความขัดแย้ง แต่ควรจะสะท้อนถึงคุณภาพของสิ่งบางอย่าง

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

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

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

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

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