逻辑，或称为推理、理则。逻辑是希腊语 λόγος 发展到近代西方语言相应词汇（英语logic，法语logique）的音译，最初的意思有词语、思想、概念、论点、推理之意。 1902年严复译《穆勒名学》时，将其意译为“名学”，但这不合名家或者名教之名学中“名”的本意。研究推理的学问称为推理学、理则学，或称为逻辑学。
逻辑是研究“有效推论和证明的原则与标准”的一门学科。做为一个形式科学，逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围从对谬论与悖论的研究之类的核心议题，到利用机率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在辩论理论之中。[1]
传统上，逻辑被作为哲学的一个分支来研究。自从十九世纪中期，逻辑经常在数学和最近的计算机科学中研究。作为一门形式科学，通过对推论的形式系统和自然语言论证二者的研究，逻辑研究和分类语句和论证的结构。因此逻辑的范围是非常广阔的，从核心主题如对谬论和悖论的研究，到专门的推理分析如或然正确的推理和涉及因果关系的论证。
传统上，逻辑被当做是哲学的一个分支，和文法与修辞一同被称为古典三学科。自十九世纪中叶，“形式逻辑”已被做为数学基础而被研究，当中经常被称之为符号逻辑。1903年，阿弗烈·诺夫·怀海德与伯特兰·罗素写成了《Principia Mathematica》，试图将逻辑形式地建立成数学的基石。[2]不过，除了些基本的以外，当时的系统已不再被使用，大部份都被集合论所取代掉了。当对形式逻辑的研究渐渐地扩张了之后，研究也不再只局限于基础的议题，之后的各个数学领域被合称为数理逻辑。形式逻辑的发展和其在电脑上的应用是计算机科学的基础。
目录 |
形式是逻辑的核心，但在“形式逻辑”中对“形式”使用时常不很明确，因而使其阐述变得很费解。其中，符号逻辑仅为形式逻辑的一种类型，而和形式逻辑的另一种类型－只处理直言命题的三段论不同。
“形式逻辑”通常被用做符号逻辑的同义词，而非形式逻辑则是被理解为不包含符号抽象化的任何一种逻辑推论；这是由“形式语言”和“形式理论”中类推而来的用法。但广义地来说，形式逻辑是古老的，可追溯至两千年以前，而符号逻辑则相对较新，只有一个世纪左右的历史而已。
逻辑系统可拥有的有效性质有：
绝不存在一个同时满足三个性质的系统。其中，库尔特·哥德尔即证明了不存在一个有用的算术系统可以同时满足相容性和完备性；详见哥德尔不完备定理[5]。
逻辑产生于对辩论正确性的关注。逻辑做为辩论的研究中的概念化在历史上是很基本的课题，而这也是不同逻辑传统的创立者如柏拉图和亚里斯多德设想逻辑的方法。现代的逻辑学家经常会希望确保对逻辑的研究只局限于由适度一般化了的推论中所产生出来的论证；所以如《斯坦福哲学百科》上会称逻辑为“无论如何，都无法涵盖住整个有效的推理，那是理性理论的工作。更明确地说，逻辑处理一种推论，其有效性可追溯至包含着推论的表述的形式特征，这可以是语言的，心理的，或其他的表述的。”(Hofweber 2004).
相对地，伊曼努尔·康德引入了另一种概念来阐述什么是逻辑。他主张逻辑应当被设想为判断的科学，这种想法被戈特洛布·弗雷格接纳，写入他的逻辑与哲学著作之中，其中，思维（德语：Gedanke）这一词取代了康德的判断（德语： Urteil）。在此一观点下，有效的逻辑推论是遵循着判断或思维的结构特征。
演绎推理关注于从给定的前提下有什么是可得出的。而归纳推理（从观察中导出可靠广义化的过程）有时也被包含在对逻辑的研究中。相对应地，必须要区分出演绎有效性和归纳有效性。一个推论是演绎有效的当且仅当不可能存在所有前提皆为真但结论为假的状况。演绎有效性的概念可以用语义学中已明确理解的概念在形式逻辑的系统中被严格地陈述。另一方面，归纳有效性则要求必须定义对某一观察集合的“可靠广义化”。此定义可以用各种不同的方式来完成，有些的方式会比其他的方式更少形式化；有些定义也会使用到机率的数学模型。大部份，对逻辑的探讨只会处理到演绎逻辑。
虽然许多文化都采用推理的复杂系统，作为推理方法明确分析的逻辑学最初却只在三个地方得到持续发展：前6世纪的印度，前5世纪的中国和前4世纪与前1世纪间的希腊。
现代逻辑的形式复杂处理明显流传自希腊传统，但是有人提出布尔逻辑的先驱可能知道印度逻辑（Ganeri 2001）。希腊传统自身来自亚里士多德逻辑的传播，伊斯兰哲学家和中世纪逻辑学家对它的评论。欧洲以外的传统没有存活到现代时期：在中国，对逻辑的学术研究传统在韩非的法家哲学后被秦朝压制，在伊斯兰世界，阿修阿里学派的崛起压制逻辑的原始工作。
但是在印度，经院学派正理派的创新持续到18世纪早期。它没有存活到殖民地时期。在20世纪，西方哲学家如Stanislaw Schayer和Klaus Glashoff探究了印度传统逻辑学的某些方面。
中世纪时期，在亚里士多德的想法显示与信仰大量兼容之后，他的逻辑被给予更大强调。在中世纪的后期，逻辑成为哲学家的一个主要学术焦点，他们想要从事研究哲学论证的重要逻辑分析。
|
|||||||||||||||||||||||
| 认知心理学 编辑 |
| 认知 | 感知 | 注意 | 形态辨识 | 输入 | 登录 | 输出
短期记忆 | 长期记忆 | 情境记忆 | 个人自传记忆 | 闪光灯记忆 | 语意记忆 命题表征 | 心智想像 | 命题登录 | 双登录理论 | 心智模型 |
%E6%80%A7
stock | retire | vm
Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History