温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,汇文网负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。
网站客服:3074922707
波兰
汉译世界学术名著丛书A0509
波兰塔尔斯基-逻辑与演绎科学方法论导论周礼全、吴允曾、晏成书译,文字版,商务印书馆2010
世界
学术
名著
丛书
A0509
塔尔斯基
逻辑
演绎
科学
汉译世界学术名著丛书出版说明我馆历来重视移译世界各国学术名著。从五十年代起,更致力于翻译出版马克思主义诞生以前的古典学术著作,同时适当介绍当代具有定评的各派代表作品。幸赖著译界鼎力襄助,三十年来印行不下三百余种。我们确信只有用人类创造的全部知识财富来丰富自己的头脑,才能够建成现代化的社会主义社会。这些书籍所蕴藏的思想财富和学术价值,为学人所熟知,毋需赘述。这些译本过去以单行本印行,难见系统,汇编为丛书,才能相得益彰,蔚为大观,既便于研读查考,又利于文化积累。为此,我们从1981年至1986年先后分四辑印行了名著二百种。今后在积累单本著作的基础上将陆续以名著版印行。由于采用原纸型,译文未能重新校订,体例也不完全统一,凡是原来译本可用的序跋,都一仍其旧,个别序跋予以订正或删除。读书界完全懂得要用正确的分析态度去研读这些著作,汲取其对我有用的精华,剔除其不合时宜的糟粕,这一点也无需我们多说。希望海内外读书界、著译界给我们批评、建议,帮助我们把这套丛书出好。商务印书馆编辑部1987年2月初版序言根据许多门外汉的意见,数学今天已经成为一门死科学:在达到不寻常的高度发展水平以后,它已经在一种严格的完全性中僵化了。这是对情况的一种完全错误的看法。在科学研究领域中现在很少有像数学那样经历着如此剧烈的发展阶段。而且,这种发展是极其多样化的:数学领域正在向一切可能的方向伸展,它在高、宽和深三方面都在成长着。它的高度在成长着,因为在数百年来(如果不是数千年以来的话)发展的旧的理论的土壤之上,新的问题不断地发生,而其所达到的结果越来越完全。它的宽度在成长着,因为它的方法渗透到其他各种科学部门中,而其研究的范围日益囊括着越来越广泛的现象界,并且越来越多的新的理论被包括在数学学科的庞大的范域之中。最后,它的深度在成长着,因为它的基础日益坚定地被建立起来了,它的方法日益完备,它的原则日益巩固。本书的目的就是要向那些对于现代数学有兴趣、而不会实际参与它的工作的读者们,至少在数学发展的第三个方面、即其在深度方面的成长提供一个最一般的观念。我的目的是要使读者熟悉一种名为数理逻辑学科的最重要的概念,这门学科是为了把数学建立在更坚固、更深刻的基础上创造出来的;这一个学科,虽然它的存在只有短短的一个世纪,却已经达到了高度的完全性的水平,而且在我们的知识的总和中它今天所起的作用远远超越于其原定的范围。我的目的是要表明,逻辑的一些概念渗透到数学的整体中,它把所有的专门的数学概念了解为特殊情况,并把逻辑规律恒应用于自觉的或不自觉的数学推理之中。最后,我试图提出构造数学理论的一些最重要的原则这些原则也构成另外一种学科、数学方法论的主题并指明怎样在实际上着手应用这些原则。在这一本相当小的书的范围中,不假定读者有任何专门的数学知识或抽象的推理的任何专门的训练,要彻底地实现这全部计划是不容易的。在这一本书中,必须从头到尾力图把最大的可理解性和必要的简明性以及经常注意避免错误或从科学观点看来的粗糙的不精确性结合起来。其所用的语言必须是尽可能少地脱离日常生活的语言。必须放弃使用专门的逻辑符号,虽然这种符号是使我们把简明性和精确性结合起来,并使我们尽可能地排除含混和误解的可能性、从而在一切精细的思考中具有很大用处的极其宝贵的工具。必须把系统地处理的观念从一开始就放弃掉。在出现的很多问题之中只有少数能够详细地讨论,其他一些问题仅仅肤浅地接触到,还有一些问题则完全忽略过去了,并且我意识到,所讨论的题目的选择不可避免地表现了或多或少的任意性。对于现代科学还没有采取任何确定的态度,而是提出了许多可能的、同样正确的解答的那些事例,不可能客观地把所有已知的见解都提出来。不得不作出支持某一确定见解的决定来。当作出这种决定的时候,我是十分小心的,不是首先使之符合于个人的兴趣,而是宁取一种尽可能简单的并且适合于普通表达方式的解法。我并不幻想我已经成功地克服了这些以及其他一些困难。序言本书是我的论数理逻辑和演绎方法(该书1936年最初用波兰文出版,又于1937年出版了确切的德文译本书名是:数理逻辑和数学方法论导论)一书部分修正了的和扩充了的版本。最初写这本书,是企图把它当作一本通俗的科学著作;其目的是向受过相当教育的普通读者提供用把科学的严格性和最大的可理解性结合起来的方式集中于现代逻辑的强大的现代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是,在现阶段它却具有远为广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外,它有助于使演绎方法完全化和敏锐化,这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法,而且,的确,它至少在一切智力活动的领域内,是从被公认的假设中推导出结论来的必不可少的补助的工具。根据对波兰文版和德文版的反应,特别是某些评论者的建议,产生了一个想法,要使这个新的版本不仅仅是一本通俗的科学著作,而且也是大学里的逻辑和演绎科学方法论的初级课程可以作为蓝本的教科书。由于在这个范围内合适的初级教科书相当缺乏,这一尝试就显得更为合适。为了要进行这种尝试,必须在书中作某些改变。在前几版中,把某些最基本的问题和概念完全忽略过去或仅仅略微触及,这或是由于它们比较地具有专门性,或是为了避免一些具有争论性的论点。像这样一些题目,例如:在逻辑的有系统的发展中和在日常生活的语言中某些逻辑观念的用法之间的区别,证明语句演算的规律的一般方法,语词与其名字之间的明确区别的必要性,全类和空类的概念,关系运算的基本观念,以及最后,作为各科学的一般科学的方法论概念。在这一版中,所有这些题目都讨论到了(虽然所有这些题目并非同等详尽地讨论了的),因为我似乎觉得在现代逻辑的任何一本教科书中,不谈这些题目就会造成一种根本的缺陷。因此,本书前面的几章,即概论部分或多或少地扩展了;特别是第II章,即专门讨论语句演算的一章包含着很多新材料。对于这几章我又补充了许多新的练习,并且增加了历史的线索的资料。在前几版中,专门符号的应用是缩减到最低限度,而在这一版中我以为有必要使读者熟悉逻辑符号的基本知识。但是,实际上这种符号的应用仍然受到很大限制,并且大部分限定在练习中。在前几版中,为了说明一般的和抽象的思考而引出例子的主要领域是中学数学;因为我过去和现在都认为,基本数学、特别是代数,由于它的概念的简单性及其推论方法的一致性,特别适合于例证逻辑的和方法论性质的各种基本现象。但是,在这一版,特别是在新补充的篇幅中,我经常从其他领域、特别是从日常生活中举出了一些例子。除了这些增补以外,凡是学习者们较难以掌握的某些部分我也都重新写过了。本书的基本面貌仍然没有改变。初版的序言(其主要部分重新发表在前面)将会为读者提供一个本书的一般性的观念。然而,也许有必要在这里很清楚地指出来读者在这本书中所找不到的是一些什么东西。第一,本书不包括对逻辑的系统的和严格的演绎的陈述;这样一种陈述显然不在一本基本的教科书的范围之内。我原来企图在这一版中增加一章,名为作为演绎科学的逻辑,这一章作为包含于第VI章中的一般方法论意见的一个说明会为逻辑的某些基本部分的有系统的发展提供一个纲要。由于种种原因,这个企图未能实现;但是我希望包括在第VI章中的关于这个题目的几个新的练习在某种程度内将会补偿这个省略。第二,除了两处很少的篇幅以外,这一本书没有提供关于传统的亚里士多德的逻辑的知识,并且不包含从之引申出来的材料。但是,我相信这里给予传统逻辑的篇幅是充分符合于它在现代科学中已经减低了的微小的作用的;而且我还相信我这个意见将会得到大多数现代逻辑学家的赞同。最后,这一本书不涉及属于所谓经验科学的逻辑和方法论的任何问题。我必须说,我倾向于怀疑,作为与一般逻辑或“演绎科学的逻辑”相对立的任何特殊的“经验科学的逻辑”究竟是否存在(至少,按照“逻辑”一词在本书的用法这就是说,它是一种学科的名称,这种学科分析一切科学所共有的一些概念的意义,并建立支配这些概念的一般规律)。但是这与其说是一个实际的问题,还不如说是一个术语的问题。总之,经验科学的方法论构成科学研究的一个重要领域。当然,逻辑的知识在这种方法论的研究中,正如在任何其他学科中的情况一样,是宝贵的。可是,必须承认直到今天逻辑概念和方法在这个领域内并未得到任何特殊的或有成效的应用。并且至少这个情况可能不仅仅是现阶段方法论研究的一个后果。可能,这是由于下述情况所引起:为了对方法论作适当的处理,必须把经验科学作为不仅仅是一种科学理论就是说,作为按照某种规则所排列起来的确定的命题体系而且是部分的由这样的命题和部分的由人类的活动所构成的复合物。还必须补充说,与这些经验科学本身的高度发展显著地相反,这些科学的方法论很难夸耀有相应的确定的成就尽管已经作了很大的努力。甚至这个领域所涉及的初步概念澄清工作也还不曾进行得令人满意。因此,经验科学的方法论课程必定具有一种有别于逻辑课程的完全不同的性质,而且它必定是大部分限于对试验性的探索和失败的努力的估价和批评。由于这些和其他一些理由,对于把逻辑和经验科学方法论的讨论结合于同一个大学课程之中,我认为很少合理的根据。关于本书及其用作大学教科书的安排方面有几点说明。本书区分为两部分。第一部分是逻辑和演绎科学方法论的一般的导论;第二部分,借助于一个具体的例子,表明逻辑和方法论在数学理论的构造中的一种应用方式,并因而为消化和深化在第一部分中所获得的知识提供一个机会。每一章的后面都附有相当的练习。简明的历史的线索写在脚注中。记有星标“*”的部分、甚至于整节,不论记在开始或末尾,都包含着较难的材料,或者假定读者已熟悉包含着这样的材料的其他篇章;省略掉这些部分对于本书以下一些部分的理解不会有什么妨碍。这也适用于凡在号码前记上一个星标的各个练习。本书包含着足够全年课程用的材料。不过,它的编排也使它同样适用于半年的课程。如果把它用为哲学系的半年逻辑课的课本,我建议学习整个第一部分、包括较难的部分在内,而完全略去第二部分。如果把本书用为数学系的半年课程例如,数学基础课的课本,我建议学习本书的两个部分,而略去较难的部分。无论如何,我愿意强调小心地和详尽地作好练习的重要性;因为它们不仅有助于对所讨论的概念和原则的消化,并且也还触及正文中没有机会讨论的许多问题。如果本书对于逻辑知识的更广泛的传播有所贡献的话,我将感到很快乐。历史事件的进程已经使现代逻辑的一些最杰出的代表集中在这个国家(指美国译者),并因而为逻辑思想的发展在这儿创造了特别有利的条件。自然,这些有利的条件可能很易于为其他更强有力的因素所抵消。显然,未来的逻辑学,像所有理论科学一样,本质上依赖于人类政治的和社会的相互关系纳入规范,因而依赖于一种超越于职业学者的控制的因素。我并不幻想逻辑思想的发展会对于人类关系的正常化过程特别起很重要的作用;但我相信,逻辑知识的广泛传播可以积极地加速这个过程。因为,一方面,由于使概念的意义在其自身范围内精确并一致起来,以及由于强调这样的精确性和一致性在任何其他领域中的必要性,逻辑就使凡是愿意很好地了解的人们都可能彼此很好地了解。并且,另一方面,由于思想工具的完全化与敏锐化,它使人们更有批判性因而他们就不大容易为所有伪推论引入歧途,现在在世界各处他们不断有被这种伪推论引入歧途的危险。我衷心感谢海尔麦(OHelmer)博士的帮助,他把德文版译成了英文。我愿意对于霍夫斯塔德泰尔(AHofstadter)博士、克拉德尔(LKKrader)先生、纳盖(ENagel)教授、蒯恩(WVQuine)教授、怀特(MGWhite)先生、特别是麦克铿赛(JCCMcKinsey)博士和温纳(PPWiener)博士表示最热诚的感谢,当我准备英文版时,他们慷慨地提出了意见并给予帮助。我也感激阿罗(KJArrow)先生,他帮助阅读了校样。塔尔斯基1940年9月于哈佛大学 本书是英文第一版的影印本,不可能在其中作很大的改动。不过,印错出地方已经改正了,并在细节方面作了一些改进。对于读者和评论者的有益的建议,我表示感谢,我特别感激秦(Louise HChin)女士,因为她帮助准备了这一版的出版