符号推理与形式逻辑

罗素摹状词理论与面向对象OO

我个人认为：OO本质是逻辑分析。通过逻辑分析需求，寻求从需求到软件运行内部环节的内在一致性。逻辑分析是OO的元语言，正如它也是数学元元语言一样。逻辑分析是认识世界的基本手段，是软件建模分析的最基本的保障。 OO思维是一种逻辑分析思维，通过逻辑分析发现表达对

蒯因与引用透明

蒯因又称奎因，美国哲学家，逻辑学家，逻辑实用主义的代表，与罗素齐名，强调系统的、结构式的哲学分析，主张把一般哲学问题置于一个系统的语言框架内进行研究。蒯因从逻辑的观点出发，把语言分析作为哲学研究的核心内容，这就为哲学的语言转向划上了一个圆满的句号：自蒯因

对Jdon的不满之处，关于哲学。

貌似包括 banq 在内的很多大大们都对中国的古代哲学很有研究很推崇，并经常在一些技术的文章里多次提到，甚至用来指导软件的设计思想。就我个人来说，对于这种做法实在没有什么好感，关于中国哲学的博大精深的讨论，我实在已经受够了，我觉得这很明显是民族自卑、自恋的扭曲组合，就像中

罗素悖论类型系统与编程语言

编程语言的基础核心来自于逻辑，来自PROGRAMMING LANGUAGES & TYPE SYSTEMS文章从罗素悖论角度解释，为什么我们引入类型系统，然后才有了

培养面向函数式的思维

ThoughtWorks架构师这

oo是什么？

提要：指称问题是当代英美语言哲学中的核心问题之一，也是与形而上学有着最为直接关系的部分。指称问题不仅涉及语言的意义，而且关系到对象的存在以及对象与语词之间的关系等问题。在现代语言哲学中，指称关系被看作是一种使用关系，是人们对语词的一种用法而已。实在论与反实在论在指称问题上的分歧的焦点集中在对于指称

什么是一个BA应该拥有的思维习惯？

上文中一个研究结果：受过教育的人都不太能看到自己的偏见，他们更容易妄下结论。这大概就是中国人常说的身在庐山中，不识庐山真面貌。对业务需求分析时，如何避免盲人摸象的片面和偏见，是BA面临的最大挑战，这是一个思维习惯问题，江山易改，习惯难移啊。

反伪斗士被指制造冤案科学家质疑私人科学打假

http://news.hexun.com/detail.aspx?lm=1716&id=1386403

【转自51CTO】Google首席Java架构师谈数学与程序员的关系(1)

51CTO编者按：数学是一切哲学、科学的基础。数学与程序员是永远都分不开的话题，我们曾介绍过《Perl数学函数用法大全》和《并行计算的难点与数学原理解析》，本文是Common Lisp专家Peter Seibel对Google公司首席Java架构师Joshua Bloch的访谈，谈到API对设计流程