具体描述
逻辑学有一段漫长而光荣的历史，至少可以追溯到亚里士多德。不过，「现代逻辑」－由统一的命题和谓词演算构成的形式演绎逻辑－是相对年轻的，起源于布尔、弗雷格、皮尔士、罗素以及19世纪和23世纪早期其他人的工作。自从这一引人注目的复兴以来，在形式逻辑中已经取得了难以计数的进展，其中包括关逻辑系统的一致性、完全性、可靠性和可判定性的元逻辑结果证明；对于标准的命题和谓词演算的模态的，道义的扩充；对于这些标准系统的直觉主义的、多值的、基于相干的、次协调的等等修正；以及把形式化的益处扩展到归纳推理的努力。（皮尔士已经预示过其中某些发展，他试验过模态的并且是三值或「三价」的逻辑，并把科学方法剧画为包含三种类型的推理：溯因推理、演绎推理、归纳推理。）
新的数理逻辑已经取得了如此的成功，以致「逻辑」一词，一度简单地指「关于一切好的推理方式的理论」，现在则被经常地用在更狭窄的意义上，指形式上的数的逻辑；并且「经典逻辑」现在通常是指弗雷格－皮尔斯－罗素的系统。于是，在当代的哲学话语中，「逻辑哲学」被用来指涉关于逻辑的哲学基础和众多分支的探究，其中包括对确定和勾勒逻辑的范围的不同方式的探讨；关于逻辑的基础的论证，包括它与形而上学、意义理论和推理的心理学的关系；对于像推理、量化、意义、真理、有效性、逻辑后承、逻辑真理、蕴涵等等这样一些概念的分析；以及解决由说谎者悖论家族构成的语义悖论的努力。
弗雷格逻辑创新的一个主要动力来自他的逻辑主义，即数学的基础在于逻辑的议题；并且从一开始，这样一些人就一直对现代逻辑感兴趣，他们是直觉主义者、形式主义者和逻辑主义者，关注着数学中的基础问题。在哲学领域，现代逻辑有同样的影响力。确实，对于分析哲学－更确切地说，是对于分析哲学的这样一个分支，它重点关注的不是日常语言，而是以卡尔纳普和蒯因的方式关注形式语言－来说，逻辑已经是一个质性的工具：例如，在蒯因所提出本体论承诺标准（「存在就是成为约束变项的值」）中，或者在戴维森网领中，后者是一种适于自然语言的意义理论，但以塔斯基关于形式语言的真理论为基础。并且已经证明，现代逻辑和逻辑哲学不仅对哲学家和数家有益处，而且对许多其他领域的专家也有益处，这些学科领域包括：语言学、心理学，法律推理的理论，以及－再一次如皮尔士所预言的－计算机科学。
在《逻辑哲学》一书中，我审视了逻辑哲学的中心论题和概念（如该书的标题所表明的〔「逻辑」一词用复数“Logics”－译注〕，我在其中强调的是多值的、模态的以及其他的逻辑系统多元性）。既然我不能阅读中文，我没有阅读过陈教授这本书的原文。毫无疑问，我们在某些问题上不一致，例如，关于形式的归纳逻辑的前景，我怀疑陈教授持有比我更为乐观的看法。但是，从他的书的（英文）目录表中，我可以看出，关于逻辑事业的基础结构和众多分支的哲学探讨的范围和重要性，陈教授与我享有同样的感觉。
著者信息
图书目录
图书序言
图书试读
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 ttbooks.qciss.net All Rights Reserved. 小特书站 版权所有