偶看新闻qq三国聚灵石怎么玩:何谓逻辑？
来源：百度文库 编辑：偶看新闻 时间：2024/04/30 03:18:37
何谓逻辑？
逻辑（logic），或称为推理、理则，为推论和证明的思想过程。研究推理的学问称为推理学、理则学，或称为逻辑学。
逻辑，是对思维过程的抽象。研究逻辑的目的是要在思维的层面上弄清楚得到结论的原因。从这个研究任务上来看，凡是具有得出结论的作用的思维过程，都是逻辑过程。
在它纯粹的形式上，逻辑是接受一组假定并达成一个结论的推理。更加明确的说，逻辑是对说明性的推理系统的研究，它是为引导人类(同样也可能是其他有智能的生命/机器/系统)“应当”如何进行推理而提出的系统。逻辑指出哪些推论形式是有效的哪些不是。在传统上，逻辑是作为哲学的分支来研究，但它也可以被当作数学和计算机科学的分支。人类“实际上”如何推理通常在其他学科下研究，这包括认知心理学。
逻辑的字根源于希腊语逻各斯（希腊语：λ?γος），最初的意思有词语、思想、概念、论点、推理之意。
1902年严复译《穆勒名学》时，将其意译为“名学”，但这不合名家或者名教之名学中“名”的本意。最后中文采取音译方式，将其译为逻辑。
逻辑本身是指是推论和证明的思想过程，而逻辑学是研究“有效推论和证明的原则与标准”的一门学科。逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围从对谬论与悖论的研究之类的核心议题，到利用概率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在辩论理论之中。
传统上，逻辑被当做是哲学的一个分支，和文法与修辞一同被称为古典三学科。自十九世纪中叶，“形式逻辑”已作为数学基础而被研究。1903年，阿弗烈·诺夫·怀海德与伯特兰·罗素写成了《数学原理（Principia Mathematica）》，试图将逻辑形式地建立成数学的基石。不过，除了一些基本的以外，当时的系统已不再被使用，大部份都被集合论所取代。当对形式逻辑的研究渐渐地扩张之后，研究也不再只局限于基础的议题，之后的各个数学领域被合称为数理逻辑。形式逻辑的发展和其在电脑上的应用是计算机科学的基础。