逻辑证明与实践检验

真理是主观认识对客观事物及其规律性的正确反映。检验知识的真理性的标准问题就是如何判定人的知识(包括命题、理论体系)和客观实际相一致的问题。客观实际本身不能是这种标准。主观领域的东西,诸如清晰性、共认性、原则、逻辑,等等,也都不能作为这种     

实践检验和逻辑证明

实践检验和逻辑证明是不同的。把逻辑证明和实践相并列,认为真理有二个标准是错误的,但是,否认或贬低逻辑证明的作用也是片面的。辩证唯物主义在承认实践是检验真理唯一标准的基础上,正确估计了逻辑证明的作用,并科学地阐明了这两者的关系. (一)以认识或客观对象为标准为什么不可能真理的标准,是指据以区分真理和谬误的准绳。由于真理和谬误都是主观对客观的关系:前者是主观对客观的正确反映,后者是歪曲的反映,因此,真理的标准,从本质上说,也就是据以判明和衡量主观与客观是否相一致的标准.这种标准是实践.离开实践,试图从认识或客观     

逻辑证明不能代替实践检验

什么是检验真理的标准,在哲学史上,曾经是一个十分混乱的问题。唯心主义者以及形而上学唯物主义者尽管提出了各种各样的主张,但在这个问题上都是坚持了一种主观的标准。因为他们或者不承认物质世界的客观存在,或者找不到一条能把客观和主观     

逻辑证明能否代替实践检验

在科学研究中,往往可以从一些基本的概念、公理、定律出发,运用逻辑推理、数学演算的方法,得到了一系列正确的定理、结论。似乎这些定理、结论并不是从实践中来,也不需要用实践来检验,只要运用逻辑推理的方法就可以证明它的正确性。这就容易给人造成一个错觉,在高二哲学的学习中,不少同学也提出了逻辑证明可否代替实践而成为检验认识是否正确的标准问题。那么,逻辑证明和实践检验是什么关系,逻辑证明能否代替社会实践而成为检验真理的标准呢?一、逻辑证明及其在认识世界中的意义和作用简单地讲,所谓逻辑证明,就是运用已知的正确判断,通过推…     

逻辑证明不是检验真理的标准

什么是检验真理的标准?马克思指出:“人的思维是否具有客观的真理性,这并不是一个理论的问题,而是一个实践的问题。人应该在实践中证明自己思维的真理性”①。这就是说,靠理论是检验不了真理的,检验真理的标准只能是人类的社会实践,人们应该在实践中检验认识的正确性。这本来是辩证唯物主义的基本原理,也是马克思主义的基本常识。可     

逻辑证明在检验真理中的作用

我在《实践出科学》一文中曾经谈到:“一般说来,只要推理的前提正确,推理过程中不发生逻辑错误,那么得出的结论也是正确的。在这里,结论的正确性并不表示可以不需要实践证明,而是以间接的形式应用了实践的证明。我们没有必要在每一个逻辑推理环节上诉诸直接的实践证明,正是由于它们已经经历过千百万次的实践证明,它们以‘不证自明’或逻辑推理的形式出现,只不过表面上掩盖了它们起源于社会实践的事实。”这里强调了实践是检验真理的最终标准,也谈到了逻辑证明的有效性。的确,就整个人类的理论思维活动对物     

逻辑证明:检验真理的非根本标准

“实践是检验真理的唯一标准”是很长一段时期以来学术界真理检验标准的一致见解。实际上,逻辑证明也在扮演着检验真理的角色,只不过实践标准是根本的,而逻辑证明则是非根本的标准。     

数学中逻缉证明与实践检验的关系

结合数学的特点与史实，论述了逻辑证明的必要性与局限性及逻辑证明与实践检验之间的关系．     

逻辑证明及其作用

在深入讨论真理标准问题的过程中,涉及到了逻辑证明问题。本文拟就什么是逻辑证明,逻辑证明在认识真理中的作用,逻辑证明与实践检验的关系等问题,谈一些看法。一问题的提出关于逻辑证明及其作用的问题,不少同志发表了富有启发性的看法。有一种意见认为:     

对逻辑证明的探讨

在深入开展真理标准的理论研究中,提出了如何正确估计逻辑证明在认识真理中的作用以及它和实践检验的关系问题。研究和阐发清楚这个问题确实是十分必要的。下面对什么是逻辑证明,逻辑证明的作用究竟怎样估计,逻辑证明和实践证明的关系是怎样的问题进行一些探讨。     

用计算机证明逻辑等式

本文阐述如何用计算机实现“全代入法”证明逻辑等式,并给出用BASIC语言编写的程序,代入的数据由机器自动产生,对任给的两个逻辑式自动作出它们是否相等的结论。     

论逻辑证明的功能

逻辑证明作为人类的思维形式,是人们认识、理解、把握事物的手段,也是人们探索真理、论证认识、检验认识和指导实践不可缺少的重要工具。它有探索真理、论证认识、检验认识和指导实践的功能。     

试谈逻辑论证和实践检验的关系

马克思主义认识论是能动的反映论,它强调实践对认识的决定作用,调强实践在认识、检验和发展真理中的首要地位;同时也肯定逻辑论证在认识、检验和发展真理中的重要作用。只有把两者紧密结合起来,才能充分体现辩证唯物主义认识论的能动作用。为此,我们必须弄清在检验真理中逻辑论证和实践检验的辩证关系:一方面,逻辑论证的前提u科学理论)、是在实践中产生并且经过实践证实的,逻辑论证所赖以进行的思维能力、思维规律、思维形式     

问题的关键何在——再谈逻辑证明能否检验认识的真理性

《自然辩证法报》1983年第10期第二版刊登文心同志《逻辑证明可以检验认识的真理性》一文,是对我同年在该报第3期发表的《逻辑证明“可以检验认识的真理性”吗?》那篇质疑文章的“回答”。这个回答不但没有解除我的疑问,反而使我增加了新     

直觉引路 逻辑检验

当人们面临一个课题或解一道题时，往往先对结果或解题途径作一种大致的估量或猜测，这就是一种直觉方法，数学直觉是人脑对于数学对象的某种迅速而直接的洞察或领悟，     

数学证明方法的逻辑分析

章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析，为正确简便地运用数学证明方法提供了理论依据。     

逻辑代数基本定理的证明

本文分别给出逻辑函数基本定理的三种论证方法     

证明应该遵守哪些逻辑规则

数学证明表现为一系列的推理,证明要遵守逻辑规则.下面结合中学数学中的错例探讨数学证明应该遵守的逻辑规则. 一、论题要明确论题是证明的目标,如果论题含糊不清,证明就无法进行.因此,论题明确是证明必须遵守的第一条规则.下面是论题不明确的