Can you summarize the following document?
        
  逻辑(英语:logic)的字根源起于希腊语逻各斯(),最初的意思有词语、思想、概念、推理、论点之意。后译为(),最后发展为英文中的逻辑(英语:logic)。  1902年严复译《穆勒名学》时,将其意译为「名学」,但这不合名家或者名教之名学中「名」的本意。和制汉语采用汉字「论理」,意译为「论理学」。孙文于其文《治国方略·以作文为证》意译为「理则」,当代中文一般采取音译方式,将其译为逻辑。  逻辑本身是指是推论和证明的思想过程,而逻辑学是研究「有效推论和证明的原则与标准」的一门学科。作为一个形式科学,逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。  逻辑的范围是非常广阔的,从对谬论与悖论的研究之类的核心议题,到利用几率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中。  传统上,逻辑被作为哲学的一个分支来研究,和文法与修辞一同被称为古典三学科。自十九世纪中叶,「形式逻辑」已被作为数学基础而被研究,当中经常被称之为符号逻辑。1903年,阿弗烈·诺夫·怀海德与伯特兰·罗素写成了《Principia Mathematica》,试图将逻辑形式地建立成数学的基石。不过,除了些基本的以外,当时的系统已不再被使用,大部分都被集合论所取代掉了。当对形式逻辑的研究渐渐地扩张了之后,研究也不再只局限于基础的议题,之后的各个数学领域被合称为数理逻辑。形式逻辑的发展和其在电脑上的应用是电脑科学的基础。戈特弗里德·莱布尼茨、乔治·布尔、戈特洛布·弗雷格、 大卫·希尔伯特、库尔特·哥德尔,等等,都在这个过程中非常重要。

  形式是逻辑的核心,但在「形式逻辑」中对「形式」使用时常不很明确,因而使其阐述变得很费解。其中,符号逻辑仅为形式逻辑的一种类型,而和形式逻辑的另一种类型-只处理直言命题的三段论不同。  「形式逻辑」通常作为符号逻辑的同义词,而非形式逻辑则是被理解为不包含符号抽象化的任何一种逻辑推论;这是由「形式语言」和「形式理论」中类推而来的用法。但广义地来说,形式逻辑是古老的,可追溯至两千年以前,而符号逻辑则相对较新,只有一个世纪左右的历史而已。

  逻辑系统可具有下列性质:  一些逻辑系统不拥有上述所有性质,比如库尔特·哥德尔的哥德尔不完备定理证明了,没有任何一个蕴涵皮亚诺公理的算术形式系统可以同时满足自洽性和完备性。同时他的针对没有通过特定公理扩展为带有等式的算术形式系统的一阶谓词逻辑的定理,证实了它们可以同时满足自洽性和完备性。

  逻辑产生于对论证正确性的关注。逻辑是对论证的研究,这个概念在历史上是很基本的,而这也是不同逻辑传统的创立者如柏拉图和亚里士多德所设想的。现代的逻辑学家通常会希望确保对逻辑的研究只局限于由适度一般化了的推论中所产生出来的论证;所以如《斯坦福哲学百科》所称,「逻辑......没有涵盖有效推理的整个课题,那是理性理论的工作。更明确地说,逻辑处理一种推论,其有效性可追溯至推论中的表述的形式特征,这可以是语言的,心理的,或其他的表述。」(Hofweber 2004).  相对地,伊曼努尔·康德引入了另一种概念来阐述什么是逻辑。他主张逻辑应当被设想为判断的科学,这种想法被戈特洛布·弗雷格采纳,写入他的逻辑与哲学著作之中,其中,思维()这一词取代了康德的判断()。在此观点下,有效的逻辑推论是源于判断或思维的结构特征。

  演绎推理关注于从给定的前提下有什么是可得出的。而归纳推理(从观察中推论出可靠广义化的过程)有时也被包含在对逻辑的研究中。相对应地,必须要区分出演绎有效性和归纳有效性。一个推论是演绎有效的,当且仅当不可能存在所有前提皆为真但结论为假的状况。对于形式逻辑的系统,演绎有效性的概念可以用语义学中已明确理解的概念严格地陈述出来。另一方面,归纳的有效性则要求必须定义对某一观察集合的「可靠广义化」。此定义可以用各种不同的方式来达成,有的方式会比其他的方式不那么形式化;有些定义也许会用到几率的数学模型。

  许多文化都采用复杂的推理系统,最初仅有三个地方把逻辑学作为对推理方法的明确分析,并且有持续的发展,那就是前6世纪的印度、前5世纪的中国和前4世纪与前1世纪间的希腊。  现代逻辑的形式复杂处理明显源自希腊传统,但是有人提出布尔逻辑的先驱可能知道印度逻辑(Ganeri 2001)。希腊传统自身来自亚里士多德逻辑的传播,伊斯兰哲学家和中世纪逻辑学家对它的评论。欧洲以外的传统没有存活到现代时期:在中国,对逻辑的学术研究传统在韩非的法家哲学之后就被秦朝压制;在伊斯兰世界,艾什尔里派(Ash'ari)的崛起压制了逻辑的原始工作。  但是在印度,经院学派正理派的创新持续到18世纪早期。它没有存活到殖民地时期。在20世纪,西方哲学家如Stanislaw Schayer和Klaus Glashoff探究了印度传统逻辑学的某些方面。  中世纪时期,在亚里士多德的想法显示与信仰大量兼容之后,他的逻辑被给予更大强调。在中世纪的后期,逻辑成为一部分哲学家的关注焦点,他们专注于对哲学论证的逻辑分析。
逻辑(;;;英语:logic;意大利语、西班牙语、葡萄牙语: logica),又称理则、论理、推理、推论,是对有效推论的哲学研究。逻辑被使用在大部分的智能活动中,但主要在心理、学习、哲学、语义学、数学、推论统计学、脑科学、法律和电脑科学等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式,哪种形式是有效的,以及其中的谬论。