符号推理与形式逻辑
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我一直看不贯方舟子这样仗着洋人的气势打压国人的创造性,什么是创造性?其实创造和捣乱 不听话 不按.