逻辑
逻辑(logic)又称理则、论理、推理、推论,是有效(或正确)推论的研究[1][2];更广泛地说,逻辑是对论证的分析和评估[3]。逻辑的目的可以是来发展评估他人的论证或构建自己论证的一套方法和原则体系[4]。
系列条目 |
哲学 |
---|
![]() 从左到右:柏拉图、康德、尼采、释迦牟尼、孔子、伊本·西那 |
![]() |
逻辑被使用在大部份的智能活动中,但主要在心理、学习、哲学、语义学、数学、推论统计学、脑科学、法律和计算机科学等领域内被视为一门学科。逻辑讨论逻辑论证一般会呈现的一般形式,哪种形式是有效的,以及其中的谬论。
逻辑推理通常可分为三种:归纳推理、溯因推理和演绎推理。 科学方法都属于归纳推理, 没有必然性。 数学则属于演绎推理。
在哲学里,逻辑被应用在大多数的主要领域之中:形上学/宇宙论、本体论、知识论及伦理学。
在数学里,逻辑是指形式逻辑和数理逻辑,形式逻辑是研究某个形式语言的有效推论[5]。主要是演绎推理。 在辩证法中也涉及到逻辑[6]。数理逻辑是研究抽象逻辑关系和数学基本的问题。
在学习、推论统计学里,是研究最大可能的结论。主要是归纳推理、溯因推理。
在计算机科学里, 是研究各种方法的性质,可能性,和实现在机器上。主要是归纳推理、溯因推理,也有在归纳推理的研究。
从古文明开始(如古印度[注 1]、中国古代[注 2]和古希腊)都有对逻辑进行研究。在西方,亚里斯多德将逻辑创建成一门正式的学科,并在哲学中给予它一个基本的位置。
词源
逻辑(英语:)的字根来自(古希腊语:,罗马化:logikḗ),意为:具有理由的、知识的、辩证的、论辩的;逻辑此词又与逻各斯(古希腊语:,罗马化:lógos)同源,意为:词语、思想、概念、理念、论据、论点、说明、理由、原则、推理[7]。“logikḗ”此后译为法语:,再发展为英语的逻辑:logic。其他欧洲语言拼法均雷同,如德语:logik,意大利语、西班牙语:logica,葡萄牙语:lógica 等。
李之藻(1565-1630)与人翻译了一本逻辑学著作,译为《名理探》。清朝末年,有著作《辩学启蒙》。1902年严复译《穆勒名学》时,将其意译为「名」,但这不合名家或者名教之名学中「名」的本意。同时在本作中第一次作为注解提到“逻辑”一词,但他并不提倡[8]。 梁启超在《墨子之论理学》提倡采用和制汉语的意译「论理」[9]。 1919年孙文在《孙文学说·以作文为证》提倡意译为「理则」[10]。 1917年章士钊在《逻辑指要》第一次将“逻辑”作为著作的译名。他认为,意译无法精确表达原词所蕴含的意义。由于意译的分歧很大,最终“逻辑”作为“logic”的译名流传下来[11]。
概论
逻辑本身是指是推论和证明的思想过程,而逻辑学是研究「有效推论和证明的原则与标准」的一门学科。作为一个形式科学,逻辑通过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构[12]。
逻辑的范围是非常广阔的,从对谬论与悖论的研究之类的内核议题,到利用几率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中(参见:非形式逻辑)[13]。
传统上,逻辑被作为哲学的一个分支来研究,和文法与修辞一同被称为古典三艺。古希腊亚里斯多德系统的研究了逻辑系统,介绍于其著作集《工具论》中[14][15]。 《工具论》是亚里士多德学派的传人们(即逍遥学派)将他的六篇关于逻辑的著作汇编成的一部著作集,并定为此名。这六篇著作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。
自十九世纪中叶,形式逻辑已被作为数学基础而被研究,当中经常被称之为符号逻辑。1903年,阿弗烈·诺夫·怀海德与伯特兰·罗素写成了《数学原理》,试图将逻辑形式地创建成数学的基石[16]。不过,除了些基本的以外,当时的系统已不再被使用,大部份都被集合论所取代掉了。当对形式逻辑的研究渐渐地扩张了之后,研究也不再只局限于基础的议题,之后的各个数学领域被合称为数理逻辑。形式逻辑的发展和其在电脑上的应用是计算机科学的基础[17]。戈特弗里德·莱布尼茨、乔治·布尔、戈特洛布·弗雷格、 大卫·希尔伯特、库尔特·哥德尔,等等,都在这个过程中非常重要[18]。
分类
经典逻辑
经典逻辑: 经典逻辑的逻辑系统基于公理化的传统逻辑的四个基本思维规律:同一律, 排中律, 无矛盾律(也被称为矛盾律),和充足理由律,和其它经典逻辑特有的特征(见:经典逻辑#特征)[14][19]。 经典逻辑 是19 和 20 世纪的创新, 它比亚里士多德的传统逻辑具有更广泛的应用,并且能够将亚里士多德的传统逻辑表述为一个特例。 同一律, 排中律, 无矛盾律 由亚里士多德提出, 也是伯特兰·罗素在他的著作《哲学问题》中确立了三个思维规律。
非经典逻辑
非经典逻辑: 与经典逻辑公理化假设(见:经典逻辑#特征)有矛盾的逻辑系统。例如:拒绝无矛盾律的所有种类的 次协调逻辑 [20][21],包括 相干逻辑[22], 双面真理说[23] 等等。 这些的形式化次协调逻辑既属于非经典逻辑也属于形式逻辑。
形式逻辑
形式逻辑 是对命题、陈述或断然使用的句子和演绎论证的抽象研究[24]。 是研究纯形式内容的推论的一门学科,这种内容是很明确的。若一个推论可以被表达成一个完全抽象的规则(即不只是和任一特定事物或性质有关的规则)的一个特定应用,则这个推论拥有纯形式内容。形式逻辑的规则由亚里斯多德最先写成[25]。在许多逻辑的定义中,逻辑推论与带有纯形式内容的推论会是同一种概念。但这不表示非形式逻辑的概念是空洞的,因为没有任何一种形式语言可以捕捉到自然语言语义间所有的微细差别。 形式是逻辑的内核,但在「形式逻辑」中对「形式」使用时常不很明确,因而使其阐述变得很费解。其中,符号逻辑仅为形式逻辑的一种类型,而和形式逻辑的另一种类型-只处理直言命题的三段论不同。[26]
符号逻辑
符号逻辑捕获了逻辑推论的形式特征,并将其抽象化为符号的研究[16][27]。符号逻辑通常分为两个分支:命题逻辑和谓词逻辑。 「形式逻辑」通常作为符号逻辑的同义词。但广义地来说,形式逻辑是古老的,可追溯至两千年以前,而符号逻辑则相对较新,只有一个世纪左右的历史而已。
概念
形式逻辑学
经典逻辑的四个基本公理:
非形式逻辑学
只与非经典逻辑有关的公理:
- 函中律(the law of included middle)
- 事物不仅有「是」或「不是」两种状态,而且存在「非是」及「非不是」的P状态(possibly true),其值属于区间[0,1]。
辩证逻辑和对立统一规律:
逻辑系统的性质
形式逻辑系统可以具有的重要属性包括:
- 有效性(validity)
- 依系统的推理规则,若所有前提皆为真则结论必为真(保真)。所有命题之前提皆语义蕴涵(semantic consequence)结论。
- 自洽性(consistency)
- 系统中任一定理都不与其他定理相矛盾。不存在命题P,P和非P皆可在系统中证明。
- 可靠性(soundness)
- 系统中所有定理(有效且可证明的命题)皆为真。可靠性与完备性互为逆命题。
- 完备性(completeness)
- 系统中不存在无法证明或证否的有效命题。系统中真命题皆可证明(真命题皆为定理)且假命题皆可证否。
- 表达性 (computer science)(Expressivity)
- 系统中可以表达哪些概念。
一些逻辑系统不拥有上述所有性质,比如库尔特·哥德尔的哥德尔不完备定理证明了,没有任何一个蕴涵皮亚诺公理的算术形式系统可以同时满足自洽性和完备性。[27]同时他的针对没有通过特定公理扩展为带有等式的算术形式系统的一阶谓词逻辑的定理,证实了它们可以同时满足自洽性和完备性。[34]
对于逻辑的不同理解
逻辑产生于对论证正确性的关注。逻辑是对论证的研究,这个概念在历史上是很基本的,而这也是不同逻辑传统的创立者如柏拉图和亚里斯多德所设想的。现代的逻辑学家通常会希望确保对逻辑的研究只局限于由适度一般化了的推论中所产生出来的论证;所以如《斯坦福哲学百科》所称,「逻辑……没有涵盖有效推理的整个课题,那是理性理论的工作。更明确地说,逻辑处理一种推论,其有效性可追溯至推论中的表述的形式特征,这可以是语言的,心理的,或其他的表述。」(Hofweber 2004).[5]
相对地,伊曼努尔·康德引入了另一种概念来阐述什么是逻辑。他主张逻辑应当被设想为判断的科学,这种想法被戈特洛布·弗雷格采纳,写入他的逻辑与哲学著作之中,其中,思维(德语:)这一词取代了康德的判断(德语:)。在此观点下,有效的逻辑推论是源于判断或思维的结构特征。
发展历史
许多文化都采用复杂的推理系统,最初仅有三个地方把逻辑学作为对推理方法的明确分析,并且有持续的发展,那就是前6世纪的印度、前5世纪的中国和前4世纪与前1世纪间的希腊。
现代逻辑的形式复杂处理明显源自希腊传统,但是有人提出布尔逻辑的先驱可能知道印度逻辑(Ganeri 2001)。希腊传统自身来自亚里士多德逻辑的传播,伊斯兰哲学家和中世纪逻辑学家对它的评论。欧洲以外的传统没有存活到现代时期:在中国,对逻辑的学术研究传统在韩非的法家哲学之后就被秦朝压制;在伊斯兰世界,艾什尔里派(Ash'ari)的崛起压制了逻辑的原始工作。
但是在印度,经院学派正理派的创新持续到18世纪早期。它没有存活到殖民地时期。在20世纪,西方哲学家如Stanislaw Schayer和Klaus Glashoff探究了印度传统逻辑学的某些方面。
中世纪时期,在亚里士多德的想法显示与信仰大量兼容之后,他的逻辑被给予更大强调。在中世纪的后期,逻辑成为一部分哲学家的关注焦点,他们专注于对哲学论证的逻辑分析。
逻辑学学科体系
参考文献
引用
- . [2021-06-27]. (原始内容存档于2022-07-10).
- Richard Henry Popkin; Avrum Stroll. . Random House Digital, Inc. 1 July 1993: 238 [5 March 2012]. ISBN 978-0-385-42533-9. (原始内容存档于2015-04-08).
- Gensler, Harry J. . 3rd. New York: Routledge. 2017: 1 [2002]. ISBN 9781138910591. OCLC 957680480. doi:10.4324/9781315693361.
- Hurley, Patrick J. . The United States of America: Thomson Wadsworth. 2008: 1. ISBN 978-0-495-50383-5.
- Hofweber, T. . Zalta, Edward N (编). . 2004 [2006-01-20]. (原始内容存档于2021-01-13).
- Cox, J. Robert; Willard, Charles Arthur (编). . Southern Illinois University Press. 1983. ISBN 978-0809310500.
- Liddell, Henry George, and Robert Scott. "Comp. Greek-English lexicon (LSJ)." (1996).
- "逻辑最初译本为固陋所及见者,有明季之《名理探》,乃李之藻所译,今日税务司译有《辩学启蒙》,皆不是本学之深之相副。必求甚近,姑以名学译之"
- "吾中国将来之学界,必与日本学界有密切之关系。故今勿宁多采之。免使与方来之译本生参差也"
- . sunyat-sen.org. [2022-07-27]. (原始内容存档于2022-07-26).
然则逻辑究为何物?当译以何名而后妥?作者于此,盖欲有所商榷也。凡稍涉猎乎逻辑者,莫不知此为诸学诸事之规则,为思想行为之门径也。人类由之而不知其道者众矣,而中国则至今尚未有其名。吾以为当译之为“理则”者也。夫斯学至今尚未大为发明,故专治此学者,所持之说,亦莫衷一是。而此外学者之对于理则之学,则大都如陶渊明之读书,不求甚解而已。惟人类之禀赋,其方寸自具有理则之感觉,故能文之士,研精构思,而作成不朽之文章,则无不暗合于理则者;而叩其造诣之道,则彼亦不自知其何由也。
- . news.nankai.edu.cn. [27 July 2022].
- 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
- 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
- Smith, Robin. . 2000-03-18 [2021-05-09]. (原始内容存档于2021-05-09).
- 亚里士多德 着; 余纪元 等 翻译. .
- Alfred North Whitehead and Bertrand Russell, Principia Mathematical to *56, Cambridge University Press, 1967, ISBN 978-0-521-62606-4
- 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
- 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
- Shapiro, Stewart; Kouri Kissel, Teresa. . 2000-09-16 [2021-05-09]. (原始内容存档于2021-05-10).
- Priest, Graham; Tanaka, Koji; Weber, Zach. . Zalta, Edward N. (编). Summer 2018. Metaphysics Research Lab, Stanford University. 2018 [2021-05-09]. (原始内容存档于2021-05-06).
- .
- . [2021-06-27]. (原始内容存档于2021-08-15).
- . [2021-06-27]. (原始内容存档于2020-07-25).
- . [2021-06-27]. (原始内容存档于2021-04-22).
- Aristotle, The Basic Works, Richard Mckeon, editor, Modern Library, 2001, ISBN 978-0-375-75799-0, see especially, Posterior Analytics.
- 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
- For a more modern treatment, see A. G. Hamilton, Logic for Mathematicians, Cambridge, 1980, ISBN 978-0-521-29291-7
- . informallogic.ca. [2021-05-09]. (原始内容存档于2021-05-11).
- Plato, The Portable Plato, edited by Scott Buchanan, Penguin, 1976, ISBN 978-0-14-015040-7
- John P. Burgess. . Princeton University Press. 2009: vii–viii [2021-07-01]. ISBN 978-0-691-13789-6. (原始内容存档于2020-08-06).
- John P. Burgess, Philosophical Logic, Princeton University Press: 2009.
- Lou Goble (ed.), The Blackwell Guide to Philosophical Logic (页面存档备份,存于), Oxford: Blackwell: 2009 (ISBN 0-631-20693-0).
- Gabbay, Dov M.; Guenthner, Franz (编), , [2021-07-01], (原始内容存档于2016-09-03)
- Mendelson, Elliott. . . Van Nostrand. 1964. ISBN 0412808307.
- 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
外部链接
![]() |
维基教科书中的相关电子:逻辑学导论 |
- 倪梁康:〈现象学与逻辑学〉 (页面存档备份,存于)(2004年)
- 倪梁康:〈《逻辑研究》中的观念对象和观念直观〉 (页面存档备份,存于)(2009年)
- History of Logic in Relationship to Ontology (页面存档备份,存于) Annotated bibliography on the history of logic