形式逻辑与数理逻辑比较研究

形式逻辑与数理逻辑比较研究 pdf epub mobi txt 电子书 下载 2026

出版者:吉林人民出版社
作者:杜岫石
出品人:
页数:364
译者:
出版时间:1987
价格:0
装帧:
isbn号码:
丛书系列:
图书标签:
  • 逻辑
  • 数学
  • 数理逻辑
  • 形式逻辑
  • 哲学
  • 形式逻辑
  • 数理逻辑
  • 逻辑学
  • 比较研究
  • 哲学
  • 数学
  • 推理
  • 基础理论
  • 学术研究
  • 逻辑体系
想要找书就要到 小美书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

古希腊哲学思辨的微光:逻辑学早期思想的溯源与嬗变 本书聚焦于逻辑学自萌芽至成熟的漫长历程中,那些奠定其基石的关键性思想贡献,尤其是对早期哲学思辨中形式化倾向的细致考察。它并非对现代形式逻辑系统的技术性介绍,而是深入探究逻辑思维在人类文明早期如何被捕捉、界定和系统化的历史脉络。 本书的第一部分将目光投向古希腊的知识场域,探究逻辑学思想的最初萌芽。我们不再满足于将亚里士多德视为逻辑学的唯一起点,而是回溯到更早的“辩证法”与“修辞学”传统。普罗泰戈拉的相对主义如何刺激了对论证有效性的早期关注?芝诺的悖论如何以一种直观的、非形式化的方式,揭示了蕴含关系与矛盾律的张力?本书将重点分析这些早期思想家如何无意识地触及了推理的结构性问题,即便他们尚未拥有严格的符号系统来表达这些洞察。 随后,本书将深入剖析柏拉图的“理念论”与“分有论”如何为逻辑分类和定义(Categorization and Definition)提供了形而上学基础。柏拉图对话录中展现的“苏格拉底式诘问”(Socratic Elenchus),与其说是一种修辞技巧,不如说是一种早期的演绎推理实践。我们将详细梳理这种实践如何要求对概念进行清晰的界限划分,并探究这种对“本质”的追求,如何催生了后世对“有效论证”的严格标准。 重点章节:从“论辩术”到“有机科学”的转向 本书的核心部分在于对亚里士多德逻辑体系的“去神圣化”和历史语境化处理。我们不将《工具论》视为永恒不变的真理,而是将其置于斯多葛学派与伊壁鸠鲁学派的竞争背景下进行考察。 对于亚里士多德,本书的关注点在于他如何成功地将“推理”(Syllogism)从具体的论题(Topic)中抽象出来,形成了一种独立于内容的形式结构。我们将详细分析三段论的模态(Moods)与格式(Figures)的发现,并探讨这些规则是如何构建出第一个真正具有封闭性和可判定性的推理系统。这种从“对事物有效”到“对形式有效”的转变,标志着逻辑学作为一门独立学科的诞生。 然而,本书不会止步于传统三段论。我们随后将转向亚里士多德之后的学派——特别是斯多葛学派。斯多葛学派对命题逻辑(Propositional Logic)的早期探索,被后世的传统叙事所忽视。我们将详细梳理克律西波斯等人对“可推导出”(Inferences)的五种基本类型的分析,例如“假言三段论”的雏形。这种对复合命题连接词(如“如果……那么”、“或者”、“非”)的关注,揭示了一种与经院哲学占据主导地位的直言三段论截然不同的逻辑倾向,即一种更接近现代真值函数逻辑的思维模式。 逻辑的“地方性”与知识的传播:中世纪的继承与修正 本书的第三部分将考察逻辑学在中世纪早期欧洲的传播与“再发现”。在加洛林文艺复兴时期,对“七艺”(Artes Liberales)的重申,使得《工具论》的拉丁文译本开始在修道院学校中流传。本书将分析早期经院哲学家(如约翰·司各特·爱留根纳)在吸收亚里士多德逻辑时所遇到的挑战——特别是如何将柏拉图式的形而上学与亚里士多德的逻辑工具相结合。 随后,我们将聚焦于“现代性”的先声——十二世纪的逻辑复兴。彼得·阿贝拉尔(Peter Abelard)对“共相”(Universals)问题的讨论,深刻地触及了逻辑的语义基础。他的辩证法实践,要求对词项的指称意义进行更细致的辨析,这实际上是对逻辑学中“谓词演算”的早期哲学尝试。本书将详细审视阿贝拉尔关于“词语、概念与事物”之间关系的分析,探讨其如何影响了后世对摹仿论与指称理论的理解。 逻辑工具箱的哲学反思:从直觉到规则 本书的结语部分将转向对逻辑思维本身方法的反思。我们探讨了早期逻辑学家在构建规则时所依赖的直觉基础。例如,对“同一律”和“排中律”的接受,并非基于严格的数学证明,而是基于对“自然理性”(Ratio Naturalis)的普遍信念。这种对“公理”的哲学辩护,构成了古典逻辑学体系稳固性的基石。 此外,本书还将简要提及奥卡姆的“实体简化原则”(Ockham’s Razor)在逻辑学中的体现——即倾向于使用最简洁的推理规则来解释复杂的现象。这种对经济性的追求,虽非严格的符号演算,却预示着未来逻辑系统在追求最小完备性(Minimal Completeness)的努力。 总结而言,本书旨在为读者提供一幅宏大且细致的历史图景,描绘出逻辑思维如何从古代哲学的碎片化思辨中,逐步提炼、形式化,并最终固化为一套影响深远的推理范式。它是一部关于思想起源的编年史,关注的是“我们是如何开始思考推理的”,而非“我们现在如何进行符号演算”。

作者简介

杜岫石教授1923年6月9日生于吉林省长春市。1939年留学日本,1944年毕业于日本明治大学法科。1950年起,先后在东北人民大学、吉林大学法律系和哲学系任教。1979年调入北京大学哲学系,1982年起兼任逻大教授。曾任吉林省哲学学会常务理事,吉林省逻辑学会副理事长,中国逻辑学会理事,中国辩证逻辑研究会理事,全国形式逻辑研究会常务理事,中国法律逻辑研究会常务理事,中国逻辑与语言研究会学术委员。

杜岫石教授一生勤奋治学,在形式逻辑、辩证逻辑和法律逻辑的研究领域多有建树。她的形式逻辑思想自成体系,在学术界独树一帜。她在辩证逻辑和法律逻辑方面的研究,对这两个学科的创建和发展起到了重要的推动作用。她治学的显著风格是勇于进行实事求是的学术批评。她对学术界争论的问题不回避、敷衍,而是以一个学者的气质,鲜明地阐述自己的观点,敢于在交锋处探索。

她的著作主要有:《逻辑学讲话》、《形式逻辑原理》、《形式逻辑与数理逻辑比较研究》、《岫石文集》等。

目录信息

读后感

评分

评分

评分

评分

评分

用户评价

评分

收到这本书,首先让我眼前一亮的是其严谨的学术态度。从书名上就可以看出,这是一本旨在对形式逻辑和数理逻辑进行系统性比较研究的著作。我个人对于逻辑学一直抱有浓厚的兴趣,尤其是在接触了现代数学和计算机科学之后,对数理逻辑的精确性和强大表达能力更是印象深刻。然而,我总觉得将形式逻辑的传统智慧与数理逻辑的现代发展进行深入的对比和分析,是一件非常有意义的事情。这本书是否能够清晰地梳理出形式逻辑的脉络,包括其早期发展、经典推理形式,以及其在哲学和语言学中的应用?同时,它又能否以一种易于理解的方式,介绍数理逻辑的核心概念,例如命题演算、谓词演算、模型论、证明论等,并详细阐述它们在数学基础、计算理论等领域中的重要作用?更关键的是,我期待这本书能够在此基础上,对这两种逻辑体系进行深入的比较,揭示它们之间的内在联系、区别以及相互影响,从而帮助读者建立起一个更加全面和深刻的逻辑学认知。

评分

这本书的书名“形式逻辑与数理逻辑比较研究”本身就充满了学术的魅力和探索的深度。我一直认为,逻辑学是思维的“操作系统”,而形式逻辑和数理逻辑则是这个操作系统的重要组成部分,它们分别代表了不同的抽象层次和表达方式。我特别想了解的是,形式逻辑中的经典三段论、模态逻辑等内容,与数理逻辑中的一阶逻辑、高阶逻辑等系统之间,究竟存在怎样的理论渊源和逻辑关系?数理逻辑的符号化、公理化和形式化方法,是对形式逻辑的何种继承与超越?它在处理更复杂、更抽象的数学和逻辑问题时,展现出了怎样的优越性?同时,我也希望这本书能够探讨它们在哲学、数学、计算机科学、语言学等各个领域中的应用差异和互补性。我期待作者能够提供一些具体的案例分析,来展示这两种逻辑工具在解决实际问题时的不同侧重点和有效性。这本书能否帮助我建立起一个清晰的逻辑学知识体系,从而更深入地理解科学、数学和哲学中的理性思维,这是我非常期待的。

评分

我一直对思维的本质以及表达思维的工具充满好奇,而逻辑学无疑是探索这些问题的核心。形式逻辑,作为古希腊哲学留下的宝贵遗产,其严谨的推理规则,如三段论,是我们理解和构建论证的基础。而数理逻辑,则是在近现代数学发展的浪潮中诞生的,它以符号、公理和形式化证明为核心,将逻辑的精确性推向了极致。这本书的书名“形式逻辑与数理逻辑比较研究”,立刻吸引了我。我期待作者能够深入剖析形式逻辑的核心概念,例如命题的真值、联结词、量词的使用,以及它们如何构建出有效的推理链条。同时,我也希望它能清晰地阐述数理逻辑的数学化语言,例如命题演算、谓词演算的公理系统,以及集合论、模型论、证明论等关键分支,并展示它们如何在数学证明、计算机科学的理论基础等领域发挥着至关重要的作用。更令我期待的是,这本书能否通过细致的比较,揭示这两种逻辑体系在抽象层次、表达能力、应用范围以及哲学基础等方面的异同,从而帮助我更全面地理解逻辑学的演进和发展。

评分

这本书的封面设计,虽然简洁,却透露出一种沉稳和深度,这正是我对一本关于逻辑学书籍的期待。我一直觉得,形式逻辑和数理逻辑虽然在表现形式和研究方法上有所差异,但它们都致力于揭示思维的规律和推理的有效性。我非常好奇,作者将如何解析形式逻辑的经典体系,比如如何从亚里士多德的三段论,一路走到现代的命题逻辑和谓词逻辑,以及这些逻辑系统在哲学、法律、日常论证中扮演的角色。同时,我也非常期待看到书中对数理逻辑的介绍,特别是其公理化方法、符号系统、模型论、证明论等概念,以及这些如何成为现代数学、计算机科学和人工智能的基石。这本书最吸引我的地方在于“比较研究”这几个字,这意味着它不会仅仅是分别介绍这两种逻辑,而是会深入探讨它们之间的联系和区别,例如数理逻辑的公理化是否是对形式逻辑的某种理想化追求,或者形式逻辑的某些局限性是如何被数理逻辑所克服的。

评分

这本书的出现,填补了我之前阅读过程中遇到的一个空白。我一直觉得,逻辑学这个学科,虽然古老而基础,却在近现代的学术发展中,衍生出了许多分支,其中形式逻辑和数理逻辑无疑是两个最重要的代表。但究竟如何看待它们之间的关系,我总觉得有些模糊。有时候,我们会觉得形式逻辑更侧重于语言和推理的规则,而数理逻辑则更偏向于符号化和数学的精确性。那么,这种差异究竟有多大?它们之间是否存在一种内在的联系,使得数理逻辑可以看作是形式逻辑的某种必然发展,或者反过来,形式逻辑的某些原则又渗透到数理逻辑的构建之中?这本书从书名上就直接点出了这个比较研究的意图,这让我感到非常振奋。我希望能在这本书中找到对这些问题的清晰解答。我期待作者能够从历史的维度,梳理这两种逻辑体系的起源和演变,并着重分析它们在理论构建、应用范围、研究方法等方面的异同。特别是我对数理逻辑的公理系统、模型论、证明论等内容充满期待,希望能以一种不失严谨但又易于理解的方式来呈现,并且能够清晰地展示这些现代逻辑概念与亚里士多德以来传统形式逻辑之间的传承与创新。

评分

我一直对哲学和数学交叉的领域充满好奇,而逻辑学无疑是连接这两个学科最直接的桥梁。形式逻辑,作为西方哲学思想的基石之一,其严密的推理规则和对概念的清晰界定,为我们理解世界提供了重要的工具。而数理逻辑,则将这种严谨性推向了极致,用数学的语言和方法来研究逻辑本身。这本书的出现,似乎就是为了系统性地探讨这两种看似有别,实则紧密联系的逻辑学分支。我非常期待这本书能够深入挖掘形式逻辑的深层哲学含义,比如它的本体论预设、认识论基础,以及它在不同哲学流派中的应用和演变。同时,我也希望它能清晰地阐述数理逻辑的核心概念,如命题演算、谓词演算、集合论基础,以及它们如何为现代数学和计算机科学奠定理论基础。更重要的是,我希望能在这本书中看到作者如何将两者融会贯通,分析数理逻辑对形式逻辑的继承与发展,以及数理逻辑的出现是否改变了我们对逻辑本身的认知。这本书能否以一种既学术又具有启发性的方式,帮助读者理解逻辑学的全貌,这是我最为关注的。

评分

我一直对“逻辑”这个概念充满敬畏,也一直试图去理解它到底是什么,以及它是如何塑造我们的思维的。形式逻辑,作为哲学和思想史上的重要组成部分,其逻辑规则和推理的严谨性,为我们认识世界提供了基础。而数理逻辑,则将这种严谨性推向了一个新的高度,用数学的语言和方法来研究逻辑本身。这本书的出现,正是我一直在寻找的。我期待它能够深入浅出地介绍形式逻辑的经典理论,例如三段论、命题逻辑、谓词逻辑等,并且分析它们在古代哲学和早期逻辑发展中的作用。同时,我更期待它能清晰地阐述数理逻辑的起源、发展,以及其核心概念,比如公理化方法、符号系统、模型论、证明论等,并展示这些概念如何支撑起现代数学、计算机科学乃至人工智能等领域。更重要的是,我希望这本书能够通过详细的比较研究,揭示形式逻辑与数理逻辑之间的内在联系和区别,探讨数理逻辑是如何在形式逻辑的基础上发展起来的,以及它们在各自的领域中发挥着怎样的独特作用。

评分

一直以来,我都觉得逻辑学是连接哲学与数学的桥梁,而形式逻辑和数理逻辑无疑是这座桥梁上最重要的两根支柱。形式逻辑,以其对语言和推理结构的分析,为我们提供了清晰的思维框架。而数理逻辑,则将这种框架用数学的语言加以严谨化和形式化,极大地拓展了我们处理复杂问题的能力。这本书的书名“形式逻辑与数理逻辑比较研究”正是我一直以来所寻求的。我期待它能够清晰地阐述形式逻辑的起源和发展,例如亚里士多德的逻辑学、斯多葛学派的命题逻辑,以及其在哲学论证中的应用。同时,我也非常希望它能系统地介绍数理逻辑的核心内容,比如命题演算、谓词演算、集合论、模型论、证明论等,并深入剖析它们在现代科学和技术中的重要作用。最关键的是,我希望这本书能够通过细致的比较,揭示这两种逻辑体系在抽象层次、表达能力、应用范围、哲学基础以及历史发展脉络上的异同,从而帮助我建立起一个完整而深刻的逻辑学认知。

评分

收到这本书,我首先注意到的是它对于“逻辑”这一宏大主题的聚焦,特别是将目光投向了形式逻辑和数理逻辑这两个分支,这本身就显示出一种深入学术腹地的决心。我一直认为,逻辑学是思维的“语法”,而形式逻辑和数理逻辑则是这个语法系统中不同层次的表达和工具。我非常期待这本书能够详细介绍形式逻辑的经典内容,比如如何从日常语言的推理中提炼出清晰的逻辑规则,如何识别和避免逻辑谬误,以及它的哲学基础和历史演变。与此同时,我也对数理逻辑的介绍充满期待,希望书中能够以一种清晰易懂的方式,阐释其符号化、公理化、形式化的方法,以及命题演算、谓词演算、集合论、模型论、证明论等核心概念,并说明它们如何构成了现代数学和计算机科学的理论基石。而“比较研究”这个关键词,更是让我对这本书的价值有了更高的期待,我希望作者能够深入剖析这两种逻辑体系在抽象层次、表达能力、应用领域、研究方法乃至哲学含义上的异同,从而帮助读者更全面地理解逻辑学的整体图景和发展脉络。

评分

这本书的封面设计就十分吸引人,简洁大气的排版,字体清晰,透露着一种严谨而又不失深度的学术气息。拿到手后,纸张的质感也很好,翻阅时不会有廉价感,这对于一本深入探讨逻辑学理论的书籍来说,是很重要的细节。我一直对逻辑学抱有浓厚的兴趣,但市面上很多书籍要么过于晦涩难懂,要么流于表面,难以触及核心。这本书从书名来看,似乎旨在弥合形式逻辑和数理逻辑之间的鸿沟,这正是我一直以来渴望了解的。我对它将如何阐述这两种逻辑体系的渊源、区别以及联系感到非常好奇。究竟它们在思想的根基上有什么共通之处?又是在哪些方面发展出了各自独特的路径?特别是数理逻辑,其高度的抽象性和严谨的公理化体系,常常让初学者望而却步。我期待这本书能够以一种清晰易懂的方式,循序渐进地引导读者进入数理逻辑的殿堂,并且能够巧妙地将其与我们更为熟悉的、源远流长的形式逻辑进行对比,从而帮助我们更深刻地理解逻辑学的本质和发展脉络。这本书的出现,无疑为我这样的逻辑学爱好者提供了一个绝佳的学习机会,我迫不及待地想深入其中,一探究竟,去领略逻辑思维的魅力。

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2026 book.quotespace.org All Rights Reserved. 小美书屋 版权所有