Alfred Tarski

出版者:Cambridge University Press

作者:Anita Burdman Feferman

页数:432

出版时间:2008-5-29

价格:GBP 22.99

装帧:Paperback

isbn号码:9780521714013

具体描述

Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in mathematics, philosophy, linguistics, and computer science. Tarski was a charismatic teacher and zealous promoter of his view of logic as the foundation of all rational thought, a bon vivant and a womanizer, who played the 'great man' to the hilt. Born in Warsaw in 1901 to Jewish parents, he changed his name and converted to Catholicism but was never able to obtain a professorship in his home country. A fortuitous trip to the United States at the outbreak of World War II saved his life and turned his career around, even while it separated him from his family for years. By the war's end he was established as a professor of mathematics at the University of California, Berkeley. There Tarski built an empire in logic and methodology that attracted students and distinguished researchers from all over the world. From the cafes of Warsaw and Vienna to the mountains and deserts of California, this first full-length biography places Tarski in the social, intellectual, and historical context of his times and presents a frank, vivid picture of a personally and professionally passionate man - interlaced with an account of his major scientific achievements.

用户评价

Alfred Tarski的书，对我而言，是一场思维的探险。我以一个好奇的探索者的身份，翻开了这本书，并被深深地吸引。Tarski在书中对“形式化语言”的深入研究，让我第一次真正理解了什么是逻辑系统的力量。他展示了如何通过一套严格的规则和符号，来构建一个能够精确描述数学和逻辑命题的语言。我尤其对书中关于“语义归约”的讨论印象深刻。Tarski提出了一种方法，可以将复杂的语义问题转化为更简单、更易于处理的问题，这为逻辑学的发展打开了新的思路。他关于“真理”的定义，更是将我对这个概念的理解提升到了一个新的层次。我过去总是笼统地认为，“真”就是符合事实，但Tarski的论述，让我明白了“符合事实”的具体含义，以及如何在一个形式系统中定义和检验“真”。这本书的阅读过程，充满了挑战，但也充满了惊喜。我常常在理解一个困难的证明后，感到一种前所未有的智力满足。Tarski的贡献，在于他将哲学上的抽象概念，通过数学和逻辑的语言，赋予了具体的、可操作的意义。这本书，无疑是理解他思想精髓的重要窗口。

Alfred Tarski的书，对我而言，是一次深入理性思维的洗礼。我以一个求知者的姿态，翻开了这本书，并被其中所蕴含的深刻洞见所折服。Tarski在书中对“逻辑系统的元理论”的探讨，向我展示了人类构建抽象思维的强大能力。他用严谨的逻辑推理，分析了不同逻辑系统的属性和局限性。我印象最深刻的是书中关于“不可判定性”的讨论，这让我看到了逻辑和计算的内在限制，也引发了我对信息和知识边界的思考。Tarski关于“真理”的定义，更是他贡献的精华所在。他通过对语言的语义分析，为“真”提供了一个精确、可操作的定义，这在哲学史上具有里程碑式的意义。我常常在阅读过程中，惊叹于Tarski思想的深度和广度。他不仅是逻辑学家，更是深刻的哲学家。这本书的阅读过程，充满了挑战，但也充满了智力上的愉悦。它让我看到了逻辑思维的无穷魅力，也让我对人类认识世界的方式有了更深刻的理解。

当我翻开Alfred Tarski的这本书时，我并没有期待它能给我带来轻松愉快的阅读体验。事实也证实了这一点，这本书所包含的内容，需要极大的智力投入和耐心。Tarski的论述，充满了严谨的逻辑推导和复杂的符号演算，每一次阅读都像是在进行一次高强度的思维训练。然而，正是这种挑战性，让我看到了逻辑学和哲学的魅力所在。我印象最深刻的是书中关于“真理理论”的章节，Tarski以一种近乎建筑师般的手法，构建了他关于真理的定义。他通过对语言的语义分析，揭示了“真”的本质，即一个陈述的真，在于它“实现”了该陈述所声称的事实。这种精确到极致的定义，让我对“真”有了全新的认识。书中对“语义悖论”的探讨，也让我看到了逻辑思考的极限和挑战。Tarski并没有回避这些困难，而是试图通过他的理论框架来解决或理解它们。这本书不仅仅是关于逻辑的，更是关于我们如何思考、如何认识世界的深刻哲学反思。它让我看到了理性思维的边界，也让我看到了通过严谨的逻辑，我们可以达到的认知高度。

Alfred Tarski的书，对我来说，是一次深入到逻辑和哲学“腹地”的探险。我被书中那些精妙的定义和严密的证明所吸引，仿佛置身于一个由纯粹理性构建的宏伟殿堂。Tarski在书中对“语言的本质”的探讨，让我看到了语言远不止是我们日常交流的工具，它更是一个承载着逻辑和意义的复杂系统。他关于“真理”的语义理论，以一种前所未有的清晰度，解构了“真”的概念。我过去对“真”的理解，总是停留在一种模糊的直觉层面，但Tarski的论述，让我看到了一个可以被精确定义和检验的“真”。书中对“形式系统”的分析，也让我惊叹于人类构建抽象理论的能力。Tarski展示了如何通过一套规则和符号，来模拟和理解现实世界的逻辑结构。阅读这本书需要极大的专注力，我常常需要放慢速度，反复咀嚼书中的每一个词句，才能勉强跟上Tarski的思路。但每一次的理解，都带给我巨大的智力满足感。这本书，无疑是逻辑学和哲学领域的一部里程碑式作品，它为我打开了理解世界的新视角。

读完Alfred Tarski的书，我感觉自己的思维模式仿佛被重塑了一般。这本书给我带来的最大冲击，在于它让我看到了逻辑学在理解和分析世界方面所能达到的高度。Tarski关于“真理”的定义，尤其是他对“语义三角”的深入剖析，为我揭示了语言、思维和现实之间错综复杂的关系。我之前一直觉得，语言只是一个简单的交流工具，但Tarski的书让我意识到，语言背后蕴含着深刻的逻辑结构和语义规则。他关于“模型”和“解释”的概念，帮助我理解了不同语言系统如何能够被赋予意义，以及意义是如何被构建和传递的。书中的许多论证都极其精巧，需要我投入极大的精力去理解。我常常在深夜里，对着书本上的公式和推导，苦苦思索。但每一次的突破，每一次的豁然开朗，都让我觉得之前的付出是值得的。Tarski的写作风格，与其说是“写”，不如说是“构建”。他一丝不苟地构建着他的理论大厦，每一个砖瓦都经过了精心的打磨。这本书不仅仅是对逻辑学的探讨，更是对我们如何认识和理解世界的一种深刻的哲学反思。它让我意识到，清晰的思维和严谨的逻辑，是通往真理的重要途径。

这是一本让我真正感到“烧脑”的书，但同时也是一本让我醍醐灌顶的书。Alfred Tarski的名字本身就带着一种学术的庄重感，而这本书更是将这种庄重感体现得淋漓尽致。我不是逻辑学或哲学专业的学生，最初是被这本书的“传奇色彩”所吸引，但当我真正沉浸其中后，才发现它所包含的思想财富远非“传奇”二字可以概括。书中关于“真理”的论述，尤其是其形式化的定义，简直是精妙绝伦。它像一把钥匙，打开了我对“什么是真”这个古老问题的全新认知。Tarski没有给出含糊不清的哲学解释，而是通过严密的逻辑推理，建立起一套可以被检验和理解的框架。我印象特别深刻的是，书中对“指称”和“实现”概念的细致区分，这让我意识到，我们日常语言中的“真”和形式系统中的“真”，虽然有着紧密的联系，却又有着本质的区别。阅读这本书需要投入巨大的专注力，我常常需要一遍又一遍地阅读某个段落，才能勉强理解其中的含义。它不是那种可以轻松愉快地读完的书，更像是一次智力上的马拉松。但是，每当我成功地理解了一个复杂的证明，或者领悟了一个抽象的概念时，那种成就感是无与伦比的。这本书改变了我对语言、逻辑和真理的看法，让我看到了理性思维的强大力量。

读Alfred Tarski的书，就像是在攀登一座思想的高峰。这本书不是一本轻松的读物，它的每一页都充满了严谨的逻辑推理和抽象的概念。Tarski在书中对“语义学”的开创性研究，彻底改变了我对语言和意义的理解。我之前一直以为，语言的意义是自然而然的，但Tarski向我展示了，意义的背后隐藏着一套复杂而精确的语义规则。他关于“真理”的定义，更是他思想中最璀璨的明珠。他用一种形式化的方式，精确地定义了“真”，让“真”不再是一个模糊的哲学概念，而是一个可以被逻辑分析和检验的对象。我记得书中关于“图灵机”和“可计算性”的讨论，虽然不是Tarski理论的核心，但它也从侧面反映了他在那个时代对于计算和逻辑关系的深刻思考。阅读这本书需要极大的耐心和毅力，我常常需要一遍又一遍地阅读某个段落，才能勉强理解其中的含义。但每一次的突破，都让我对逻辑和哲学的世界有了更深的认识。Tarski的贡献，在于他用数学和逻辑的语言，为我们提供了一种理解世界的新工具。

Alfred Tarski的书，对我来说，是一次与思想巨人面对面的交流。我之前读过一些关于逻辑和哲学的入门书籍，但很少有哪一本能像这本书一样，让我如此深刻地感受到逻辑的魅力和哲学的深度。Tarski在书中对“语义”的探讨，尤其是他如何将语言的意义与现实世界对应起来，让我耳目一新。我一直觉得，语言的意义似乎是理所当然的，但Tarski用他严谨的逻辑分析，向我展示了语言意义背后的复杂结构和精确机制。他关于“真理”的定义，不仅仅是一个理论上的突破，更是对我日常理解真理方式的一次深刻的重塑。我开始反思，我口中的“真”和“假”，是否真的如我所想的那样清晰和确定？书中对于“递归定义”的运用，也给我留下了深刻的印象。Tarski展示了如何通过一种自上而下、层层递进的方式，来定义复杂的概念，并保证其内部的一致性。这种方法论本身，就具有极强的启发性。虽然阅读这本书的过程充满挑战，我常常需要反复咀嚼书中的每一句话，才能勉强跟上Tarski的思路，但我始终能感受到他思想的严谨性和深刻性。它让我看到了逻辑思维的强大力量，也让我对人类认识世界的方式有了更深层次的理解。

拿到Alfred Tarski的这本书，我并没有立刻上手阅读，而是先花了一些时间去了解这位思想家的背景和他所处的时代。这种预备性的了解，对于我后来深入理解书中的内容起到了至关重要的作用。Tarski的工作，尤其是在数理逻辑和语义学领域的贡献，奠定了现代逻辑学的重要基石。这本书，在我看来，是他思想体系中最核心的部分之一。书中对“模型论”的阐述，以及由此衍生出的关于语言的真值条件的分析，简直是思维的盛宴。我曾经对“真理”这个概念有过很多模糊的理解，总觉得它是一种难以捉摸的哲学概念。但Tarski的论述，特别是他提出的“T-schema”和关于真理的“协议”，为我提供了一种清晰、精确的理解路径。他告诉我们，一个陈述的真值，在于它是否“实现”了事物，在于它是否与现实世界相符。这种将抽象的逻辑概念与现实世界联系起来的尝试，是我认为这本书最令人惊叹的地方。尽管书中的数学符号和逻辑公式常常让我头疼，但我能感受到Tarski试图用一种 universally understandable 的语言来讨论逻辑和真理的宏大抱负。这本书不仅仅是一本学术专著，更像是一扇通往更清晰、更精确地理解世界的大门。

读到Alfred Tarski的这本书，我的脑海里立刻浮现出的是逻辑的严谨与哲学的深邃交织在一起的宏大图景。这本书并非易读之作，它的篇章里充斥着那些需要反复推敲的定义、证明以及抽象的符号，每一次翻阅都像是在攀登一座高耸的山峰，需要极大的耐心和智力投入。但正是这种挑战性，才使得最终抵达山顶时的豁然开朗，显得尤为珍贵。Tarski的论述，尤其是关于真理的定义，以一种近乎雕塑般的精确性，将一个长期困扰哲学家和逻辑学家的问题，以一种清晰、可操作的方式呈现出来。我记得书中有一部分深入探讨了形式语言的元理论，这部分内容对我来说是最具启发性的。它不仅仅是关于符号和规则的游戏，更是关于我们如何构建和理解意义的根本性考察。Tarski并没有止步于形式系统本身，而是将其与人类认知、语言的实际运用联系起来，这使得他的工作具有了超越学科界限的深远影响。整本书贯穿着一种对精确性的不懈追求，每一个论证都经过了审慎的考量，每一个概念都力求被清晰地界定。我常常在阅读过程中停下来，思考书中提出的一个个问题，想象着Tarski在构建这些理论时所经历的思想历程。这本书的阅读体验，更像是一次与一位伟大思想家进行的深入对话，虽然有时我会感到力不从心，但我始终能感受到他思想的火焰在字里行间燃烧，激励着我去探索更深层的知识。