The Rise of Modern Logic: from Leibniz to Frege

The Rise of Modern Logic: from Leibniz to Frege pdf epub mobi txt 电子书 下载 2026

出版者:North Holland
作者:Dov M. Gabbay (Editor)
出品人:
页数:781
译者:
出版时间:2004-3-22
价格:USD 425.00
装帧:Hardcover
isbn号码:9780444516244
丛书系列:Handbook of the History of Logic
图书标签:
  • 逻辑学
  • 逻辑
  • 数理逻辑
  • history_of_logic
  • algebra
  • Schröder
  • Peirce
  • Leibniz
  • 逻辑史
  • 现代逻辑
  • 莱布尼茨
  • 弗雷格
  • 数理逻辑
  • 哲学
  • 逻辑学
  • 逻辑哲学
  • 数学基础
  • 分析哲学
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegcl make clear. Of the two, Hcgel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century.

好的,这是一本关于现代逻辑发展历程的图书简介,聚焦于莱布尼茨到弗雷格之间的思想演变,但避开直接提及《The Rise of Modern Logic: from Leibniz to Frege》这一书名及其确切内容。 --- 逻辑的黎明:理性探险的千年回响 本书并非一部简单的历史编年史,而是一次对人类思维工具——逻辑学——在关键转型期进行深度剖析的智力之旅。它带领读者回溯至一个科学革命的余晖尚存,而数学与哲学探索引领时代变革的时期。我们探讨的焦点,是那些奠定现代理性基石的先驱者,他们的思想如何从古典思辨的泥淖中挣脱,为构建精确、形式化的推理体系铺设了道路。 想象一下,十七世纪的欧洲,笛卡尔的“我思故我在”赋予了个人心智以无可撼动的地位,而牛顿的物理学则以前所未有的确定性展现了宇宙的机械规律。在这样一个对理性力量深信不疑的时代背景下,对通用语言和完美演算系统的渴望达到了顶峰。 我们的叙事首先聚焦于那些怀揣着宏大抱负的哲学家和数学家。他们试图超越亚里士多德留下的、尽管辉煌但已显陈旧的三段论框架。他们意识到,要真正把握世界的结构,仅仅依靠自然语言的模糊性和歧义性是远远不够的。因此,一个核心命题浮现:能否创造一种超越人类语言限制,能够被机器处理、能够确保推理必然性的符号系统? 在这一阶段的探索中,我们看到了一系列大胆的尝试。这些尝试往往带着强烈的形而上学色彩,试图将数学的严谨性与哲学的普遍性原理相结合。例如,某些思想家构想了一种“普遍特征”(Characteristica Universalis),一种旨在表达所有概念并允许通过计算来解决所有争端的语言。这种对符号化和机械化推理的追求,虽然在当时看来或许过于雄心勃勃,却为后来的逻辑学发展指明了方向,即:逻辑的本质在于其形式结构,而非其内容本身。 然而,从纯粹的哲学思辨转向可操作的数学工具,中间存在着巨大的鸿沟。古典逻辑的工具箱中,缺乏处理关系、量化以及复变项的能力。当我们试图描述“所有的人都会死”或“存在一个数大于所有已知数”时,传统的三段论显得捉襟见肘。 本书的精髓部分,在于揭示逻辑学如何从形而上学的附庸,逐步蜕变为一门独立的、数学化的学科。这一转变并非一蹴而就,而是经历了漫长而曲折的探索。关键人物们开始致力于以下几个核心问题的解决: 首先,对“函项”和“谓词”的重新定义。 逻辑学家们开始从集合论和函数概念中汲取灵感,试图将自然语言中的主谓结构解构为更基础的逻辑元素。这种努力要求更精密的符号系统来区分事物个体与它们所具有的属性,以及这些属性之间的联系。 其次,对“无穷”的处理。 数学在处理无穷集合和序列时展现出的内在矛盾,迫使逻辑学家们必须严肃对待推理的完备性与一致性。如果逻辑系统本身充满了悖论,那么它如何能成为所有科学的坚实基础?我们审视了那些试图用严格的公理化方法来驯服数学无穷的努力,以及这些努力中暴露出的深层哲学问题。 再者,对“演绎”的本质的深入理解。 什么是有效的推理?一个结论的必然性仅仅依赖于其形式结构,还是需要诉诸于某种外部的经验真理?那些致力于将逻辑学建立在纯粹公理基础上的学者们,坚信推理的力量源于其内在的、形式化的结构。他们试图构建一个“无懈可击”的演算系统,其中每一步的推导都必须是机械可验证的。 这种对形式化的痴迷,将我们带入了一个全新的思维领域——数理逻辑的萌芽期。在这个阶段,符号不再仅仅是记忆的辅助工具,它们成为了思维本身的操作对象。通过引入诸如“蕴涵”、“合取”、“否定”等精确的逻辑联结词,并通过明确定义公理和推理规则,逻辑学开始摆脱对自然语言的依赖。 我们详细考察了那些在这一过程中扮演了关键角色的思想家们。他们中的一些是精于数学分析的学者,他们试图用代数的手段来处理逻辑命题;另一些则是受康德哲学深刻影响的哲人,他们试图在先验知识的框架内为逻辑学的普遍性寻找最终辩护。正是他们之间的对话、竞争与融合,使得逻辑学最终摆脱了其作为“辩证术”的传统角色,成为一门分析性的、基础性的科学。 本书的叙事旨在清晰地展现:从莱布尼茨对计算推理的浪漫憧憬,到十九世纪末一系列突破性进展的爆发,其间的道路是多么的漫长和充满挑战。它不是一个关于发现一个现成真理的故事,而是一个关于发明工具、建立规则、并最终重新定义何为“精确思考”的宏大工程。读者将通过此书,洞察现代数学、计算科学以及分析哲学的深层源头,理解那些看似抽象的符号背后,所蕴含的对人类理性极限的深刻拷问与不懈探索。 这本书的核心价值在于,它揭示了在那个时代,逻辑学不仅仅是“思考的工具”,更是关于如何构建一个可靠的、普遍的知识体系的终极尝试。它描绘了一幅群星璀璨的图景,这些先驱者们以其惊人的洞察力和坚定的信念,为我们今天所依赖的全部形式化思维奠定了不可动摇的基石。我们所见的现代科学的精确性,其根源可以追溯到那一代人对“完美演算”的执着追求。

作者简介

目录信息

Preface
List of Contributors
Leibniz's Logic
Kant: From General to Transcendental Logic
Hegel's Logic
Bolzano as Logician
Husserl's Logic
Algebraical Logic 1685-1900
The Algebra of Logic
The Mathematical Turn in Logic
Schröder's Logic
Peirce's Logic
Frege's Logic
Index
· · · · · · (收起)

读后感

评分

评分

评分

评分

评分

用户评价

评分

这本书的标题《现代逻辑的兴起:从莱布尼茨到弗雷格》本身就承载着一种历史的厚重感和思想的深度。我一向对那些塑造了我们思考方式的学科演变过程有着强烈的求知欲。莱布尼茨,这位在多个领域都留下深刻印记的思想家,他在逻辑方面的探索,我想必然是推动现代逻辑发展的重要一步。书中对莱布尼茨关于“普遍语言”(characteristica universalis)和“推理演算”(calculus ratiocinator)的讨论,我充满了期待。我希望能看到作者是如何分析莱布尼茨的这些构想,以及这些构想是如何体现了他对理性、符号和机械化推理的追求,并对后世产生了怎样的影响。而弗雷格,无疑是现代逻辑的集大成者,他的“概念文字”(Begriffsschrift)的出现,在我看来是逻辑学发展史上的一个里程碑。我非常希望书中能够深入剖析弗雷格是如何发展出他独特的逻辑系统,如何批判和超越了亚里士多德的传统逻辑,并引入量词和命题函数等核心概念。他试图为数学,特别是算术,建立一个严谨的逻辑基础的努力,其过程和意义,是我最为渴望了解的。这本书如果能够清晰地勾勒出从莱布尼茨的哲学构想到弗雷格的数学逻辑实践这一思想发展的轨迹,并且深入揭示其中的关键性突破和思想联系,那么它将是一部极具启发性和思想深度的作品。

评分

作为一个对知识的起源和演变有着强烈求知欲的读者,这本书的标题《现代逻辑的兴起》立刻抓住了我的注意力。我总觉得,任何学科的成熟都不是一蹴而就的,尤其是像逻辑这样关乎思维根本的学科,其发展历程必然充满了曲折与突破。莱布尼茨,这位被誉为“最后的通才”,他的思想深度和广度,我想在书中应该会有详尽的展现。我尤其好奇他对于“思想的微积分”(calculus ratiocinator)的设想,以及这种机械化推理的构想是如何在思想史上留下印记的。书中能否详细分析莱布尼茨的这些构想是如何被后来的逻辑学家们所继承、发展或批判的,是我非常关注的。而弗雷格,无疑是现代逻辑的集大成者。我一直觉得,理解弗雷格的工作,对于理解整个20世纪的分析哲学和数理逻辑都至关重要。书中对他的《数的概念》(Die Grundlagen der Arithmetik)的解读,我想一定会非常精彩。这本书能否清晰地阐明弗雷格是如何通过他的逻辑系统来分析数学命题,以及他对“意义”(Sinn)和“指称”(Bedeutung)的区分是如何影响了后来的语言哲学和逻辑学的,是我非常期待的。我希望这本书能够提供一个连贯而深入的叙述,将这些伟大的思想家们的贡献有机地联系起来,展现现代逻辑从哲学思辨走向科学严谨的壮丽历程。

评分

当我看到《现代逻辑的兴起:从莱布尼茨到弗雷格》这个书名时,我的思绪立刻被拉回到那个充满理性主义光辉的时代。我一直对那些重塑我们思维方式的伟大思想家们充满了敬意。莱布尼茨,这位百科全书式的天才,他在逻辑和语言符号化方面的构想,无疑是为现代逻辑的诞生埋下了重要的种子。我非常期待书中能够详细阐述莱布尼茨的“普遍特征”(characteristica universalis)以及“推理演算”(calculus ratiocinator)的设想,深入挖掘他对于建立一种统一的、可计算的逻辑语言的追求,以及这些思想在当时的哲学界引起的反响。而弗雷格,作为现代数理逻辑的奠基人,他的工作无疑是逻辑史上的一个重要转折点。我迫切希望书中能够清晰地解析弗雷格如何提出他的“概念文字”(Begriffsschrift),如何批判了亚里士多德的传统逻辑,并引入了量词和命题函数等概念。他试图将数学,特别是算术,建立在纯粹逻辑基础上的努力,以及这一尝试的意义和局限性,都是我非常感兴趣的内容。如果这本书能够连贯地展示从莱布尼茨的哲学构想到弗雷格的数理逻辑实践这一思想演进的脉络,并且深入剖析其间的关键概念和创新,那么它将是我了解现代逻辑发展史的必读之作。

评分

当我看到《现代逻辑的兴起:从莱布尼茨到弗雷格》这个书名时,我的脑海中立刻浮现出那个思想涌动的时代。我一直对那些伟大的思想家们如何通过不懈的探索,从模糊的概念走向清晰的体系充满敬意。莱布尼茨,一个时代的巨人,他的逻辑思想,我相信一定是这座宏伟殿堂的奠基石之一。书中对他关于“普遍特征”(characteristica universalis)的阐述,我尤其感兴趣。这是一种旨在将所有知识转化为符号并进行机械化处理的宏大愿景,其背后蕴含的理性主义精神,无疑具有划时代的意义。我希望这本书能够详细地剖析莱布尼茨的这些思想,并追溯它们对后世逻辑发展的实际影响。而弗雷格,则是我心目中现代逻辑的“教父”。他的“概念文字”(Begriffsschrift)的出现,我一直认为是逻辑发展史上的一次革命。书中对弗雷格如何构建这套全新的逻辑语言,以及如何用它来分析数学和逻辑命题的深入讲解,是我最为期待的部分。特别是我对他的“函数”概念在逻辑分析中的应用,以及他如何试图为算术提供逻辑基础的努力,都感到非常好奇。这本书如果能将这些复杂的思想以清晰、有条理的方式呈现出来,并且揭示出莱布尼茨的构想与弗雷格的实现之间那条若隐若现的联系,那么它将是一本真正能够启迪读者的杰作。

评分

翻阅这本书的目录,我便能感受到一股强大的学术气息扑面而来。对于《现代逻辑的兴起:从莱布尼茨到弗雷格》这样一个主题,我一直认为它代表着人类理性思维的一次深刻革命。莱布尼茨,这位思想的先驱,他关于“思考的演算”(calculus ratiocinator)的理念,以及对语言符号化和逻辑运算的设想,无疑是为后来的逻辑发展奠定了重要的理论基础。我非常期待书中能够深入探讨莱布尼茨是如何在哲学和数学领域之间架起桥梁,他的思想是如何超越了他所处的时代,并成为后来数理逻辑发展的萌芽。而弗雷格,他则将这些萌芽浇灌成了参天大树。他的《概念文字》(Begriffsschrift)的出现,我一直认为是对传统逻辑的一次彻底革新。书中对弗雷格如何构建这套全新的逻辑系统,特别是其对量词和述词逻辑的引入,以及他如何用这套系统来分析和证明数学命题的详细阐述,是我最为关注的。我希望这本书能够清晰地展现弗雷格是如何通过其严谨的逻辑方法,为现代数学的严密性奠定基础,并如何启发了后来的罗素、怀特海等逻辑学家。这本书的价值,就在于它能否将这两位伟大思想家的贡献,以及他们之间错综复杂的思想联系,以一种既严谨又富有启发性的方式呈现给读者。

评分

这本书的标题《现代逻辑的兴起:从莱布尼茨到弗雷格》本身就勾勒出一幅宏伟的知识画卷,让我对接下来的阅读充满期待。我一直对人类思想史上那些奠基性的转变充满好奇,而逻辑,作为我们思考的工具和框架,其演变过程无疑是其中最核心的部分之一。莱布尼茨,这位百科全书式的天才,他关于通用语言和机械推理的构想,至今仍令人惊叹。书中对他的思想是如何为后来的逻辑发展铺平道路的阐述,我想一定非常深入。而弗雷格,更是被誉为现代数理逻辑之父,他的概念文字和对数学基础的追求,彻底改变了我们对逻辑与数学关系的理解。我非常期待书中能够详细解析弗雷格是如何一步步构建起他的逻辑体系,以及这个体系在当时的学术界引起的震动。从一个古老哲学分支到一门独立、严谨的科学,逻辑的这一转型绝非偶然,背后一定隐藏着无数思想家们的智慧、争论和创新。这本书能否清晰地梳理出这条漫长的发展脉络,并且深入浅出地展现这些关键人物的思想贡献,是我最看重的。如果它能够让我不仅仅了解“是什么”,更能理解“为什么”和“如何”,那么它将是一本真正有价值的著作。我对书中可能会涉及到的逻辑符号、推理规则的演变,以及这些抽象概念如何与当时的哲学、科学背景相互作用,都充满了浓厚的兴趣。这不仅仅是一本关于逻辑史的书,更可能是一本关于人类理性探索历程的精彩叙事。

评分

我一直对思想的演进过程抱有浓厚的兴趣,特别是那些看似晦涩抽象的学科,它们如何在历史的长河中逐渐清晰、严谨起来。这本书《现代逻辑的兴起:从莱布尼茨到弗雷格》恰恰填补了我在这方面的知识空白。莱布尼茨,这位集哲学家、数学家、科学家于一身的天才,他的关于“通用语言”(characteristica universalis)和“推理演算”(calculus ratiocinator)的设想,我相信在书中会有非常深入的探讨。我希望作者能够详细阐述莱布尼茨是如何构思用一套符号系统来表示一切概念,并进行机械化推理的,以及这些想法是如何影响了后来的逻辑学发展。而弗雷格,则被誉为现代数理逻辑的奠基人,他的“概念文字”(Begriffsschrift)的出现,无疑是逻辑史上的一个重要转折点。我非常期待书中能够深入解析弗雷格是如何发展出他独特的逻辑语言,如何引入量词,以及他如何利用这套系统来分析数学命题,并试图为数学建立一个纯粹的逻辑基础。如果这本书能够清晰地呈现出从莱布尼茨的哲学构想到弗雷格的数学逻辑实践这一连贯的演变过程,并且揭示出其中的思想关联和创新之处,那么它将是一本极具价值的学术读物,能够帮助读者更深刻地理解逻辑作为一种工具的强大力量。

评分

刚翻开这本书,就被它严谨的学术态度和深刻的洞察力所吸引。我一直认为,理解一个思想体系的形成,必须将其置于其产生的历史语境中去考察。莱布尼茨所处的时代,是理性主义蓬勃发展的时期,他的很多想法,比如机械化推理和符号化语言,无疑是对当时普遍存在的哲学困境的一种回应。书中对莱布尼茨关于“特征性科学”(characteristica universalis)的探讨,我特别感兴趣。这个宏大的构想,旨在为所有知识建立一套统一的符号系统,并实现机械化的推理,虽然在当时未能完全实现,但其深远的哲学意义和对后世逻辑符号化的启示,是毋庸置疑的。然后是弗雷格,他的工作,尤其是《概念文字》(Begriffsschrift)的提出,我一直觉得是逻辑史上的一个分水岭。如果书中能够详细地解释弗雷格是如何批判了亚里士多德式的逻辑,并建立起一种全新的、基于量词和命题函数的逻辑系统,这将对我理解现代逻辑的独特性至关重要。我希望作者能清晰地阐述弗雷格是如何通过其逻辑语言来处理复杂的数学推理,以及他如何尝试将数学建立在纯粹逻辑的基础之上。这本书的价值,很大程度上取决于它能否将这些复杂而精深的哲学和逻辑思想,以一种易于理解且富有启发性的方式呈现给读者。我期待它能帮助我更深入地理解逻辑作为一种工具,是如何不断被重塑和完善的,以及它在塑造我们现代思维方式中所扮演的关键角色。

评分

一直以来,我都被人类思想史上那些伟大的“转折点”所吸引,而逻辑学科的“现代性”转变,无疑是其中最令人着迷的一章。这本书《现代逻辑的兴起:从莱布尼茨到弗雷格》正是聚焦于这一关键时期。莱布尼茨,这位哲学史上少有的通才,他的思想中蕴含着对统一符号系统和机械化推理的深刻洞见,这无疑是为现代逻辑的诞生埋下了伏笔。我非常想知道,书中是如何描绘莱布尼茨的“普遍语言”(characteristica universalis)构想的,以及他的这种设想,是如何与他所处的时代背景下的哲学思潮相互呼应的。他是否真的预见到,逻辑可以通过符号化的方式变得更加精确和普遍?而弗雷格,则是我心目中逻辑领域的革命者。他的“概念文字”(Begriffsschrift)的出现,在我看来,是逻辑学史上的一个里程碑。我迫切希望书中能够详细解析弗雷格是如何超越了亚里士多德的传统逻辑,如何引入了量词和命题函数,以及他如何用这套全新的逻辑语言来处理数学问题,例如他试图为算术奠定逻辑基础的努力。如果这本书能够清晰地勾勒出从莱布尼茨的早期构想到弗雷格的系统性构建这一过程中的思想脉络,并且深入剖析其中的关键概念和方法,那么它必将是一部引人入胜的著作。

评分

《现代逻辑的兴起:从莱布尼茨到弗雷格》这个标题本身就勾勒出了一幅思想史的壮丽画卷。我一直认为,理解一个学科的现代性,需要追溯其最古老的源头和最关键的变革。莱布尼茨,作为那个时代的思想巨匠,他的哲学和数学思想中,对于逻辑的探索是不可或缺的一部分。我非常好奇书中将如何呈现莱布尼茨的“普遍特征”(characteristica universalis)和“思维计算”(calculus ratiocinator)的构想,以及这些构想在当时是怎样被理解的,又对后来的逻辑发展产生了何种间接或直接的影响。他是否已经看到了逻辑符号化的巨大潜力?而弗雷格,毫无疑问是现代逻辑的开创者,他的“概念文字”(Begriffsschrift)是我一直想要深入了解的。我期待书中能够详细解释弗雷格如何构建他的逻辑系统,特别是他对传统逻辑的批判,以及他对命题结构、量词和函数概念的引入。他试图将算术建立在逻辑基础上的宏伟计划,以及这一尝试所带来的深远影响,都让我充满探究的欲望。这本书如果能够生动地展现这两位思想家在各自时代所面临的挑战,以及他们如何通过非凡的智慧和努力,推动逻辑走向现代,那么它必将是一本令人受益匪浅的读物。

评分

评分

评分

评分

评分

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

© 2026 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有