符号推理与形式逻辑

     

oo是什么?

2749 1

提要: 指称问题是当代英美语言哲学中的核心问题之一,也是与形而上学有着最为直接关系的部分。指称问题不仅涉及语言的意义,而且关系到对象的存在以及对象与语词之间的关系等问题。在现代语言哲学中,指称关系被看.

蒯因与引用透明

4 7888 12 3K

蒯因又称奎因,美国哲学家,逻辑学家,逻辑实用主义的代表,与罗素齐名,强调系统的、结构式的哲学分析,主张把一般哲学问题置于一个系统的语言框架内进行研究。蒯因从逻辑的观点出发,把语言分析作为哲学研究的核心.

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

45 16958 7

我个人认为:OO本质是逻辑分析。通过逻辑分析需求,寻求从需求到软件运行内部环节的内在一致性。逻辑分析是OO的元语言,正如它也是数学元元语言一样。逻辑分析是认识世界的基本手段,是软件建模分析的最基本的保.

培养面向函数式的思维

5 3061 3

ThoughtWorks架构师这篇PDF提倡培养自己以面向函数式方式思考,使用面向函数式工具可能太繁琐,有些代价,为什么不让我们的思维更加functional呢?他也认为:软件世界存在名词和动词两个基.

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

17 5169 3

51CTO编者按:数学是一切哲学、科学的基础。数学与程序员是永远都分不开的话题,我们曾介绍过《Perl数学函数用法大全》和《并行计算的难点与数学原理解析》,本文是Common Lisp专家Peter .

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

38 8472 7

貌似包括 banq 在内的很多大大们都对中国的古代哲学很有研究很推崇,并经常在一些技术的文章里多次提到,甚至用来指导软件的设计思想。 就我个人来说,对于这种做法实在没有什么好感,关于.

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

12 1902

http://news.hexun.com/detail.aspx?lm=1716&id=1386403我一直看不贯方舟子这样仗着洋人的气势打压国人的创造性,什么是创造性?其实创造和捣乱 不听话 不按.