逻辑与语言
A New Introduction to Modal Logic 豆瓣
作者: M.J. Cresswell / G.E. Hughes 出版社: Routledge 1996 - 9
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic. A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.
数字文明 豆瓣
作者: 郝柏林/张淑誉 出版社: 科学出版社 2005 - 7
《物理改变世界:数字文明物理学和计算机》从数字文明的高度回顾了物理学与计算机相辅相成的历史,讨论了计算机和计算中的物理,分析了计算机发展所面临的物理限制和物理学为未来计算技术所提供的可能前景。电子计算机的发展使人类进入了数字文明时代。计算机原来应物理学的需求而出现,也由物理学准备了它诞生的物质条件。在20世纪,物理学首先成为立足于实验、理论和计算三大支柱之上的成熟的科学。在21世纪,包括生命科学在内的整个自然科学正在沿相似的道路前进。电子计算机正在全面进入生产技术、科学研究和社会生活的各个领域,彻底改变着整个人类文明的进程。
逻辑与语言 豆瓣
作者: 陈波,韩林合 主编 出版社: 东方出版社 2005 - 7
编辑一本分析哲学经典文选,有许多种不同的编法,例如按主题,如语言哲学、认识论、形而上学、伦理学、科学哲学、心灵哲学等。经反复考虑之后,本书的编选按大致的年代进行,选择篇目所秉承的原则是:一是在分析哲学发展过程中造成某种重要的影响;二是其思想具有某种原创性。但实际编选过程中还有一个技术性考虑:有些经典性论文,例如罗素的《论指谓》,斯特劳森的《论指称》,蒯因的《经验论的两个教条》,塔斯基的《真理的语义学概念和语义学的基础》,戴维森的《真理与意义》,在已经出版的多个中文选本或译本中都可以见到,由于篇幅有限,我们遂把它们略去了,而选择了其他先前尚未译成中文的重要文章。