什么是逻辑及逻辑推理.docVIP

什么是逻辑及逻辑推理 一、逻辑的概念： 逻辑是人的一种抽象思维，是人通过概念、判断、推理、论证来理解和区分客观世界的思维过程。 逻辑是在形象思维和直觉顿悟思维基础上对客观世界的进一步的抽象，所谓抽象是认识客观世界时舍弃个别的、非本质的属性，抽出共同的、本质的属性的过程，是形成概念的必要手段。 logic 最早被清末的严复翻译成汉语逻辑，logic在日语中的正式汉语翻译词为“论理”。“逻辑”的本义是指“推理规则”“必然推理规则”。关于从一个真的前提“必然地”推出一些结论的科学从普遍性结论或一般性事理推导出个别性结论的论证方法。演绎推理的主要形式是三段论，即大前提、小前提和结论。比如毛泽东在《为人民服务》一文中有一段著名的论述：“人总是要死的，但死的意义有不同。中国古时候有个文学家叫做司马迁的说过：‘人固有一死，或重于泰山，或轻于鸿毛。’为人民利益而死，就比泰山还重；替法西斯卖力，替剥削人民和压迫人民的人去死，就比鸿毛还轻。张思德同志是为人民利益而死的，他的死是泰山还要重的。”这段话中就包含着一个完整的演绎论证。“为人民利益而死，就比泰山还重”，是普遍性原理，是论据，是“大前提”；“张思德同志是为人民利益而死的”，是已知的判断，是“小前提”；而“他的死是比泰山还重的”则是结论，也是论点。　直接证明　　直接证明就是从论据的真实直接推出论题的真实的一种证明方法。 二间接证明　　间接证明又称反证法，它是通过证明反论题的虚假，从而判明我们所要证明的论题真实的一种证明方法。 　　运用间接证明方法进行证明，一般有三个步骤：(1)设立反论题(即与我们所要证明的论题相矛盾的论题)；(2)证明反论题是虚假的；(3)根据排中律，推出我们所要证明的论题的真实。从间接证明的这个特点来看，间接证明实质上是选言推理的否定肯定式的运用，即从否定反论题真实，而推出我们所要证明的论题真实。可见，为了进行间接证明，最关键的是要证明反论题的虚假(即否定反论题的真实)。为此通常采用两种方法：归谬法和穷举法。 归谬法是一种先假定反论题为真，并从中引出谬误的推断，然后，根据假言推理的否定式，从否定谬误的推断到否定反论题的真实的一种方法。既然否定了反论题的真实，那么，根据排中律，自然也就证明了我们所要证明的论题是真实的。还有一种经常运用的反证法是穷举法。穷举法就是列举出除我们所要证明的论题外还可能成立的其他各种不同论题，然后根据事实或推理将这些不同论题一一予以否定，从而证明我们所要证明的论题为真的一种方法。可见，穷举法实质上是选言推理的否定肯定式和完全归纳推理的联合运用。