万维百科

逻辑本文重定向自 形式逻辑

逻辑古希腊语λογική;德语:Logik;法语:logique;英语:logic;意大利语、西班牙语: logica;葡萄牙语: lógica),又称理则论理推理推论,是有效(或正确)推论的研究。更广泛地说,逻辑是对论证的分析和评估。

逻辑被使用在大部分的智能活动中,但主要在心理学习哲学语义学数学推论统计学脑科学法律计算机科学等领域内被视为一门学科。逻辑讨论逻辑论证一般会呈现的一般形式,哪种形式是有效的,以及其中的谬论

逻辑推理通常可分为三种:归纳推理溯因推理演绎推理。 科学方法都属于归纳推理, 没有必然性。 数学则属于演绎推理。

哲学里,逻辑被应用在大多数的主要领域之中:形而上学/宇宙论本体论知识论伦理学

数学里,逻辑是指形式逻辑数理逻辑,形式逻辑是研究某个形式语言的有效推论。主要是演绎推理。 在辩证法中也涉及到逻辑。数理逻辑是研究抽象逻辑关系和数学基本的问题。

心理脑科学语义学法律里,是研究人类思想推理的处理。

学习推论统计学里,是研究最大可能的结论。主要是归纳推理溯因推理

计算机科学里, 是研究各种方法的性质,可能性,和实现在机器上。主要是归纳推理溯因推理,也有在归纳推理的研究。

古文明开始(如古印度古中国古希腊)都有对逻辑进行研究。在西方,亚里斯多德将逻辑建立成一门正式的学科,并在哲学中给予它一个基本的位置。

概论

逻辑(英语:logic)的字根源起于希腊语逻各斯希腊语λόγος),最初的意思有词语思想概念推理、论点之意。后译为(法语:logique),最后发展为英文中的逻辑(英语:logic)。

1902年严复译《穆勒名学》时,将其意译为“名学”,但这不合名家或者名教之名学中“名”的本意。和制汉语采用汉字“论理”,意译为“论理学”。孙文于其文《治国方略·以作文为证》意译为“理则”,

然则逻辑究为何物?当译以何名而后妥?作者于此,盖欲有所商榷也。凡稍涉猎乎逻辑者,莫不知此为诸学诸事之规则,为思想行为之门径也。人类由之而不知其道者众矣,而中国则至今尚未有其名。吾以为当译之为“理则”者也。夫斯学至今尚未大为发明,故专治此学者,所持之说,亦莫衷一是。而此外学者之对于理则之学,则大都如陶渊明之读书,不求甚解而已。惟人类之禀赋,其方寸自具有理则之感觉,故能文之士,研精构思,而作成不朽之文章,则无不暗合于理则者;而叩其造诣之道,则彼亦不自知其何由也。

当代中文一般采取音译方式,将其译为逻辑。

逻辑本身是指是推论和证明的思想过程,而逻辑学是研究“有效推论和证明的原则标准”的一门学科。作为一个形式科学,逻辑透过对推论形式系统自然语言中的论证等来研究并分类命题与论证的结构。

逻辑的范围是非常广阔的,从对谬论悖论的研究之类的核心议题,到利用几率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中(参见:非形式逻辑)。

传统上,逻辑被作为哲学的一个分支来研究,和文法修辞一同被称为古典三学科。古希腊亚里斯多德系统的研究了逻辑系统,介绍于其著作集《工具论》中。 《工具论》是亚里士多德学派的传人们(即逍遥学派)将他的六篇关于逻辑的著作汇编成的一部著作集,并定为此名。这六篇著作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。

自十九世纪中叶,形式逻辑已被作为数学基础而被研究,当中经常被称之为符号逻辑。1903年,阿弗烈·诺夫·怀海德伯特兰·罗素写成了《数学原理》,试图将逻辑形式地建立成数学的基石。不过,除了些基本的以外,当时的系统已不再被使用,大部分都被集合论所取代掉了。当对形式逻辑的研究渐渐地扩张了之后,研究也不再只局限于基础的议题,之后的各个数学领域被合称为数理逻辑。形式逻辑的发展和其在电脑上的应用是计算机科学的基础。戈特弗里德·莱布尼茨乔治·布尔戈特洛布·弗雷格大卫·希尔伯特库尔特·哥德尔,等等,都在这个过程中非常重要。

分类

经典逻辑

经典逻辑: 经典逻辑的逻辑系统基于公理化的传统逻辑的四个基本原理:同一律, 排中律, 无矛盾律(也被称为矛盾律),和充足理由律,和其它经典逻辑特有的特征(见:经典逻辑#特征)。 经典逻辑 是19 和 20 世纪的创新, 它比亚里士多德的传统逻辑具有更广泛的应用,并且能够将亚里士多德的传统逻辑表述为一个特例。

非经典逻辑

非经典逻辑: 与经典逻辑公理化假设(见:经典逻辑#特征)有矛盾的逻辑系统。例如:拒绝无矛盾律的所有种类的 次协调逻辑 ,包括 相干逻辑双面真理说‎ 等等。 这些的形式化次协调逻辑既属于非经典逻辑也属于形式逻辑

形式逻辑

形式逻辑 是对命题、陈述或断然使用的句子和演绎论证的抽象研究。 是研究纯形式内容的推论的一门学科,这种内容是很明确的。若一个推论可以被表达成一个完全抽象的规则(即不只是和任一特定事物或性质有关的规则)的一个特定应用,则这个推论拥有纯形式内容。形式逻辑的规则由亚里斯多德最先写成。在许多逻辑的定义中,逻辑推论与带有纯形式内容的推论会是同一种概念。但这不表示非形式逻辑的概念是空洞的,因为没有任何一种形式语言可以捕捉到自然语言语义间所有的微细差别。 形式是逻辑的核心,但在“形式逻辑”中对“形式”使用时常不很明确,因而使其阐述变得很费解。其中,符号逻辑仅为形式逻辑的一种类型,而和形式逻辑的另一种类型-只处理直言命题三段论不同。

符号逻辑

符号逻辑捕获了逻辑推论的形式特征,并将其抽象化为符号的研究。符号逻辑通常分为两个分支:命题逻辑谓词逻辑。 “形式逻辑”通常作为符号逻辑的同义词。但广义地来说,形式逻辑是古老的,可追溯至两千年以前,而符号逻辑则相对较新,只有一个世纪左右的历史而已。

数理逻辑

数理逻辑是符号逻辑在其他领域中的延伸,特别是对模型论证明论集合论递归论的研究。

非形式逻辑

非形式逻辑是研究自然语言论证的一门学科,也被认为与批判性思维相关联, 被理解为不包含符号抽象化的任何一种逻辑推论;这是由“形式语言”和“形式理论”中类推而来的用法。

没有任何一种形式语言可以捕捉到自然语言语义间所有的微细差别,这说明了非形式逻辑研究存在的必要性。 但非形式逻辑典型特征是不如形式逻辑善于做严密分析。柏拉图的作品是非形式逻辑的一重要例子。 对谬论的研究是非形式逻辑中尤其重要的一个分支,其历史可追寻于古希腊时期亚里斯多德的著作《辨谬篇》。

哲学逻辑

哲学逻辑是指传统上使用公认的逻辑方法来解决或推进哲学问题讨论的哲学领域,是对逻辑更特定于哲学的方面的研究。 该术语被理解为包含并专注于非经典逻辑, 尽管还有其他含义。 约翰·P·伯吉斯英语John P. Burgess 的《哲学逻辑》介绍了非经典逻辑的五个中心分支(时间逻辑模态逻辑、条件逻辑、相干逻辑直觉逻辑),重点关注形式化模型和直觉动机之间有时存在问题的关系。进一步的介绍可见其它有关文献。

概念

逻辑学基本公理

经典逻辑的四个基本公理:

同一律(the law of identity)
事物跟其自身相等同,“自己”不能“不是自己”。
无矛盾律(the law of non-contradiction)
事物不能同时“是”跟“不是”。是就是,不是就不是。
排中律(the law of excluded middle)
事物只能有“是”或“不是”两种状态,不存在其他中间状态。
充足理由律(the law of sufficient reason)
任何事物都有其存在的充足理由。

只与非经典逻辑有关的公理:

函中律(the law of included middle)
事物不仅有“是”或“不是”两种状态,而且存在“非是”及“非不是”的P状态(possibly true),其值属于区间[0,1]。

逻辑系统的性质

形式逻辑系统可以具有的重要属性包括:

有效性(validity)
依系统的推理规则,若所有前提皆为则结论必为真(保真)。所有命题之前提皆语义蕴涵(semantic consequence)结论。
自洽性(consistency)
系统中任一定理都不与其他定理相矛盾。不存在命题P,P和P皆可在系统中证明
可靠性(soundness)
系统中所有定理(有效且可证明的命题)皆为真。可靠性与完备性互为逆命题
完备性(completeness)
系统中不存在无法证明或证否的有效命题。系统中真命题皆可证明(真命题皆为定理)且假命题皆可证否。
表达性英语Expressive power (computer science)(Expressivity)
系统中可以表达哪些概念。

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

对于逻辑的不同理解

逻辑产生于对论证正确性的关注。逻辑是对论证的研究,这个概念在历史上是很基本的,而这也是不同逻辑传统的创立者如柏拉图亚里斯多德所设想的。现代的逻辑学家通常会希望确保对逻辑的研究只局限于由适度一般化了的推论中所产生出来的论证;所以如《斯坦福哲学百科》所称,“逻辑……没有涵盖有效推理的整个课题,那是理性理论的工作。更明确地说,逻辑处理一种推论,其有效性可追溯至推论中的表述的形式特征,这可以是语言的,心理的,或其他的表述。”(Hofweber 2004).

相对地,伊曼努尔·康德引入了另一种概念来阐述什么是逻辑。他主张逻辑应当被设想为判断的科学,这种想法被戈特洛布·弗雷格采纳,写入他的逻辑与哲学著作之中,其中,思维(德语:Gedanke)这一词取代了康德的判断(德语:Urteil)。在此观点下,有效的逻辑推论是源于判断或思维的结构特征。

演绎和归纳

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

发展历史

许多文化都采用复杂的推理系统,最初仅有三个地方把逻辑学作为对推理方法的明确分析,并且有持续的发展,那就是前6世纪的印度、前5世纪的中国和前4世纪与前1世纪间的希腊

现代逻辑的形式复杂处理明显源自希腊传统,但是有人提出布尔逻辑的先驱可能知道印度逻辑(Ganeri 2001)。希腊传统自身来自亚里士多德逻辑的传播,伊斯兰哲学家和中世纪逻辑学家对它的评论。欧洲以外的传统没有存活到现代时期:在中国,对逻辑的学术研究传统在韩非的法家哲学之后就被秦朝压制;在伊斯兰世界,艾什尔里派(Ash'ari)的崛起压制了逻辑的原始工作。

但是在印度,经院学派正理派的创新持续到18世纪早期。它没有存活到殖民地时期英语Colonial India。在20世纪,西方哲学家如Stanislaw Schayer和Klaus Glashoff探究了印度传统逻辑学的某些方面。

中世纪时期,在亚里士多德的想法显示与信仰大量兼容之后,他的逻辑被给予更大强调。在中世纪的后期,逻辑成为一部分哲学家的关注焦点,他们专注于对哲学论证的逻辑分析。

逻辑学学科体系

注释

  1. ^ 例如,可追溯至1900年前的正理论
  2. ^ 2200年前的墨家名家

引用

  1. ^ logic, britannica.com.
  2. ^ Richard Henry Popkin; Avrum Stroll. Philosophy Made Simple. Random House Digital, Inc. 1 July 1993: 238 [5 March 2012]. ISBN 978-0-385-42533-9.
  3. ^ Gensler, Harry J. Chapter 1: Introduction. Introduction to logic 3rd. New York: Routledge. 2017: 1 [2002]. ISBN 9781138910591. OCLC 957680480. doi:10.4324/9781315693361.
  4. ^ 4.0 4.1 Hofweber, T. Logic and Ontology. Zalta, Edward N (编). Stanford Encyclopedia of Philosophy. 2004.
  5. ^ Cox, J. Robert; Willard, Charles Arthur (编). Advances in Argumentation Theory and Research. Southern Illinois University Press. 1983. ISBN 978-0809310500.
  6. ^ J. Bruno Leclercq et Laurence Bouquiaux, Logique formelle et argumentation, Édition 3, De Boeck Université, 2017 ISBN 978-2-8073-1446-7, ISBN 978-2807314467
  7. ^ J. Robert Cox and Charles Arthur Willard, eds. Advances in Argumentation Theory and Research, Southern Illinois University Press, 1983 ISBN 978-0-8093-1050-0, ISBN 978-0809310500
  8. ^ 8.0 8.1 Smith, Robin. Aristotle’s Logic. 2000-03-18.
  9. ^ 亚里士多德 著; 余纪元 等 翻译. 工具论(上下), 中国人民大学出版社, ISBN:9787300051185, 出版时间: 2003.
  10. ^ 10.0 10.1 Alfred North Whitehead and Bertrand Russell, Principia Mathematical to *56, Cambridge University Press, 1967, ISBN 978-0-521-62606-4
  11. ^ J. Dirk W. Hoffmann, Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik, Auflage: 3, Springer Spektrum, 2018 ISBN 978-3-6625-6616-9, ISBN 978-3662566169
  12. ^ J. Martin Davis, The Universal Computer. The Road from Leibniz to Turing, A K Peters and CRC Press, 2011 ISBN 978-1-4665-0520-9, ISBN 978-1466505209
  13. ^ Shapiro, Stewart; Kouri Kissel, Teresa. Classical Logic. 2000-09-16.
  14. ^ Priest, Graham; Tanaka, Koji; Weber, Zach. Paraconsistent Logic. Zalta, Edward N. (编). The Stanford Encyclopedia of Philosophy Summer 2018. Metaphysics Research Lab, Stanford University. 2018.
  15. ^ 桂起权, 陈立直,朱福喜, 《次协调逻辑与人工智能作》,武汉大学出版社,ISBN9787307031685, 2002.
  16. ^ Mares, Edwin, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.).
  17. ^ Priest, Graham, Francesco Berto, and Zach Weber, "Dialetheism", The Stanford Encyclopedia of Philosophy (Fall 2018 Edition), Edward N. Zalta (ed.).
  18. ^ Formal logic, Encyclopædia Britannica.
  19. ^ Aristotle, The Basic Works, Richard Mckeon, editor, Modern Library, 2001, ISBN 978-0-375-75799-0, see especially, Posterior Analytics.
  20. ^ J. Antonio Joaquín Roldán Marco, Lógica: 1º Bachillerato, publicado de forma independiente, 2018 ISBN 978-1-9806-4558-0, ISBN 978-1980645580
  21. ^ 21.0 21.1 For a more modern treatment, see A. G. Hamilton, Logic for Mathematicians, Cambridge, 1980, ISBN 978-0-521-29291-7
  22. ^ Informal Logic. informallogic.ca. [2021-05-09].
  23. ^ Plato, The Portable Plato, edited by Scott Buchanan, Penguin, 1976, ISBN 978-0-14-015040-7
  24. ^ John P. Burgess. Philosophical logic. Princeton University Press. 2009: vii–viii. ISBN 978-0-691-13789-6.
  25. ^ John P. Burgess, Philosophical Logic, Princeton University Press: 2009.
  26. ^ Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Oxford: Blackwell: 2009 (ISBN 0-631-20693-0).
  27. ^ Gabbay, Dov M.; Guenthner, Franz (编), Handbook of Philosophical Logic
  28. ^ Mendelson, Elliott. Quantification Theory: Completeness Theorems. Introduction to Mathematical Logic. Van Nostrand. 1964. ISBN 0412808307.
  29. ^ J. Jörg Hardy und Christoph Schamberger, Logik der Philosophie: Einführung in die Logik und Argumentationstheorie, UTB GmbH, 2017 ISBN 978-3-8252-4897-0, ISBN 978-3825248970

来源

  • G. Birkhoff and J. von Neumann, 1936. 'The Logic of Quantum Mechanics'. Annals of Mathematics, 37:823-843.
  • D. Finkelstein, 1969. 'Matter, Space and Logic'. In R. S. Cohen and M. W. Wartofsky, (eds.), Proceedings of the Boston Colloquium for the Philosophy of Science, Boston Studies in the Philosophy of Science, vol 13. ISBN 978-90-277-0377-4.
  • D. M. Gabbay and F. Guenthner (eds.) 2001-2005. Handbook of philosophical logic (2nd ed.). 13 volumes. Dordrecht, Kluwer.
  • D. Hilbert and W. Ackermann, 1928. Grundzüge der theoretischen Logik (Principles of Theoretical Logic). Springer-Verlag, ISBN 978-0-8218-2024-7.
  • W. Hodges, 2001. Logic. An introduction to elementary logic. Penguin Books.
  • T. Hofweber, 2004. Logic and Ontology. In the Stanford Encyclopedia of Philosophy.
  • R. I. G. Hughes (editor), 1993. A Philosophical Companion to First-Order Logic. Hackett.
  • W. Kneale and M. Kneale, 1962/1988. The Development of Logic. Oxford University Press, ISBN 978-0-19-824773-9.
  • G. Priest, 2004. Dialetheism. In the Stanford Encyclopedia of Philosophy.
  • H. Putnam, 1969. Is Logic Empirical?. Boston Studies in the Philosophy of Science, vol V.
  • B. Smith, 1989. 'Logic and the Sachverhalt', The Monist, 72(1):52-69.
  • D. Vernant, 2018. 'Questions de Logique et de Philosophie'. Mimesis, ISBN 978-8-8697-6102-7

外部链接


本页面最后更新于2021-07-12 22:25,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器