简要说明逻辑证明与实践检验的关系 [论逻辑在实践中的能动作用] .docx

简要说明逻辑证明与实践检验的关系 论逻辑在实践中的能动作用 摘 要实践须要逻辑，逻辑是实践的存在方式。逻辑须要实践，实践是逻辑的本质发展方式。逻辑在实践中的能动作用主要表现在：第一，逻辑在实践中具有指导作用；其次，逻辑在实践中具有提高作用；第三，逻辑在实践中具有分析作用；第四，逻辑在实践中具有预见作用；第五，逻辑在实践中具有推动作用；第六，逻辑在实践中具有设计作用；第七，逻辑在实践中具有调整作用；第八，逻辑在实践中具有反馈作用。由于逻辑在实践中具有能动作用，因此就要深化探讨逻辑在实践中的能动作用，就要充分发挥逻辑在实践中的能动作用。关键词逻辑；实践；能动作用中图分类号 文献标识码 文章编号（）实践须要逻辑，逻辑是实践的存在方式。逻辑须要实践，实践是逻辑的本质发展方式。探讨逻辑在实践中的能动作用，不仅具有理论意义，而且具有实践价值。一、逻辑的内涵逻辑为英语的音译。导源于希腊文。本义是思维、思索、理性、说谈等，指人的辩论和劝服的实力。随着人类实践和相识实力的发展，逻辑的内涵也在发生改变。现在“逻辑”一词，通常有三种内涵：第一，逻辑指逻辑学。逻辑学是探讨思维的形式和规律的科学。逻辑学探究概念、推断、推理及其相互联系的规律，以帮助人们正确地思维，正确地相识世界和改造世界。随着社会的发展，逻辑学的作用将不断增加。逻辑学包括形式逻辑、辩证逻辑和数理逻辑。形式逻辑是从实际思维中抽出思维形式作为自己的探讨对象，它撇开思维的详细内容，从思维的既成形式结构方面探讨概念、推断和推理及它们正确联系的规律和规则。形式逻辑重点探讨思维形式的正确性，是为了使人们自觉地驾驭思维形式的规律，从而使思维能正确地反映客观现实的内容。人们要正确地运用概念、推断和推理，保证思想的确定性、一贯性和无冲突性，就必需遵循形式逻辑的有关规律和规则，其中同一律、冲突律和排中律是形式逻辑的基本规律。形式逻辑的规律和规则，反映了人们共同的最一般的思维方式。辩证逻辑是探讨辩证思维及其规律的逻辑科学，是一门与相识论和辩证法相统一的逻辑科学。列宁在谈到形式逻辑和辩证逻辑时曾说过：“辩证逻辑则要求我们更进一步。要真正地相识事物，就必需把握住、探讨清晰它的一切方面、一切联系和中介。我们恒久也不会完全做到这一点，但是，全面性这一要求可以使我们防止犯错误和防止僵化。这是第一。其次，辩证逻辑要求从事物的发展、自己运动（像黑格尔有时所说的）、改变中来考察事物。就玻璃杯来说，这一点不能一下子就很清晰地看出来，但是玻璃杯也并不是一成不变的，特殊是玻璃杯的用途，它的运用，它同四周世界的联系，都是在改变着的。第三，必需把人的全部实践作为真理的标准，也作为事物同人所须要它的那一点的联系的实际确定者包括到事物的完整的定义中去。第四，辩证逻辑教育说，没有抽象的真理，真理总是详细的已故的普列汉诺夫经常喜爱根据黑格尔的说法这样说。”列宁明确地指出了辩证逻辑的要求。恩格斯在谈到辩证逻辑和形式逻辑的区分时曾说过：“辩证逻辑和旧的单纯形式的逻辑相反，不像后者那样只满意于把思维运动的各种形式，即各种不同的推断形式和推理形式列举出来并且毫无联系地并列起来。相反地，辩证逻辑由此及彼地推导出这些形式，不把它们并列起来，而使它们相互从属，从低级形式发展出高级形式。”辩证逻辑和形式逻辑都是关于思维及其规律的逻辑科学，二者都是作为思维方法、作为保证正确思维的条件而起作用的。但二者是有区分的。形式逻辑是从纯形式的角度来考察人们的思维，重点放在形式化语言的形成规则和变形规律上。辩证逻辑是要求从形式与内容的统一的角度来考察人们的思维，要求对整个相识的历史进程进行综合，进而揭示各种思维形式之间的内在的、本质的、必定的联系，揭示人类思维把握详细真理的逻辑进程，是与相识论和辩证法相统一的逻辑科学。数理逻辑为用数学方法探讨推理和证明等问题的逻辑科学。数理逻辑的主要内容为命题演算、谓词演算和算法理论等。数理逻辑亦称符号逻辑。数理逻辑运用符号把概念和命题表示为公式，把命题间的推理关系表示为公式间的关系，并使推理尽可能转化为公式的推演。由于现代科学技术的发展，结合数学基础问题的探讨，形成了递归论、证明论、模型论和集合论等新的逻辑系统和分支。数理逻辑的成果在现代科学技术和现代社会中，得到了广泛的应用。数理逻辑作为基础理论的逻辑科学，被广泛应用于人工智能、自动限制、计算机科学、统计学和战略学等领域。其次，逻辑指客观的规律性。事物的发展具有客观的规律性。逻辑有时指事物发展的客观的规律性。例如，人们常说的“客观的逻辑”、“事物的逻辑”、“革命的逻辑”、“生活的逻辑”，等等，就是指逻辑的这种内涵。第三，逻辑指思维的规律。人们的思维要合乎规律，即合乎逻辑。人们通常说讲话、写文章要合乎逻辑，要逻辑性强，就是指讲话、写文章，要合乎思维的规律。逻辑思维是人类所特有的理性因素。正确的逻辑思维，有助于人们深刻地相识客观世界和主观世界，把握事物的本质和规律，有目的地改造客观世界和主观世界。二、逻辑与实践的关系唯心主义认为，逻辑规律是先验的或者是人们随意约定的。辩证唯物主义认为，思维规律虽然只是思维本身的规律，而不是客观事物的规律，但是，思维规律是有客观基础的，它们是客观事物的联系在人们头脑中的反映。马克思从来不以超逻辑的、抽象的看法来推理实践问题，马克思是从考察人的生存实践活动，尤其是资本主义生产劳动动身来阐述逻辑的。共产主义对人的解放说究竟，无非是人的逻辑的解放，即人的自由逻辑的涌现。马克思在资本论中对资本主义社会的批判并不是他个人道德义愤的宣言，而是人的逻辑本身在异化中的呻吟。正是这一点，注定了人的逻辑必定要向自己的感性回复。列宁指出：“黑格尔的确证明白：逻辑形式和逻辑规律不是空洞的外壳，而是客观世界的反映。准确些说，不是证明白，而是天才地揣测到了。”逻辑思维是人类思维发展的高级阶段，是人们借助于概念、推断、推理及其他逻辑方法，合乎逻辑地反映客观现实的过程。逻辑思维是人脑对客观事物的间接地、概括地反映。概念是逻辑思维的基本单位或基本形式；推断和推理是概念的进一步绽开与发展。逻辑思维是用科学的抽象的概念揭示事物的本质，表达人们对客观现实的相识的结果。概念不仅表现为相识现实的结果，而且还表现为思维的工具。 第6页 共6页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页第 6 页 共 6 页