✍ Scribed by [英]A.I.艾耶尔
No coin nor oath required. For personal study only.
作者简介 · · · · · ·
A.J·艾耶尔（1910-1989），英国伦敦大学和牛津大学哲学、逻辑学教授。逻辑实证主义的著名人物，曾参与维与纳小组的活动。
📜 SIMILAR VOLUMES
作者简介 · · · · · · A.J·艾耶尔（1910-1989），英国伦敦大学和牛津大学哲学、逻辑学教授。逻辑实证主义的著名人物，曾参与维与纳小组的活动。
本书为A. J. 艾耶尔的成名作, 也是代表作之一.对于逻辑实证主义的主要观点作了系统的论述, 也是研究之一学派的基本著作之一.
书签已装载， 书签制作方法请找 [email protected] 完全免费 《二十世纪西方哲学经典：语言、真理与逻辑》在1936年出版之后，博得英国哲学界的普遍好评，但同时也遭到一些尖锐的批评。《语言、真理和逻辑》是艾耶尔25岁时写的，但它至今仍然是20世纪一部被广泛阅读的名作。他从坚决反偶像论的观点出发，运用流畅的语言，把充满新鲜血液的逻辑实证论介绍到英国哲学界。艾耶尔这《二十世纪西方哲学经典：语言、真理与逻辑》还吸引了许多青年读者，为他们所喜爱。 总的说来，《二十世纪西方哲学经典：语言、真理与逻辑》不仅曾在哲学界轰动一时，而且成为当时社会上的畅销书，一直到今
本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1–4章为基础内容，第5–6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Gödel第一不完备性定理、Gödel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Gödel第二不完备性定理的一种易证形式。 《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及