切换用户
■ 唯物主义者培根如何推进了逻辑科学
来源图书：
沈有鼎集
作者：沈有鼎
出版日期：2006年12月01日
简介：
中世纪的经院哲学把古希腊哲学家亚里士多德的哲学体系变成了死的教条，抛弃了亚氏学说中所有辩证的、活生生的东西。亚氏的形式逻辑被变成了形而上学的、唯心主义的、作为神学的论证工具的教条逻辑。培根生活在16世纪后半期至17世纪前半期的英国，这时英国正处在资产阶级革命序幕的时代。恩格斯在《反杜林论》中说，真正的自然科学是从15世纪后半期开始的。在培根的时代，科学技术的发明已经积累了一些。培根虽然是贵族，在意识上却代表了一部分先进资产阶级的要求，即发展资本主义生产和为生产服务的自然科学实验方法的要求。培根一方面总结了科学研究和技术发明的初步经验，一方面不得不和那些从中世纪遗留下来的阻碍着科学发展的哲学教条...
■ 论“思维形式”和形式逻辑
来源图书：
沈有鼎集
作者：沈有鼎
出版日期：2006年12月01日
简介：
按近代西方哲学家的用词习惯，“形式”（form）这名词和“形式的”（formal）这形容词的含义并不是完全相应的，甚而可以距离很远。黑格尔的逻辑学所研究的那些“范畴”，黑格尔本人也称之为“思维形式”，但是我们决不能说黑格尔的逻辑学所研究的乃是“形式的东西”（das formale）。相反，正因为黑格尔在研究“思维形式”时并不着眼于“形式的东西”，所以他的逻辑学才区别于“形式逻辑”（formale logik），而名为“辩证逻辑”，不过这是唯心论的、头脚颠倒的辩证逻辑。为了弄清楚“思维形式”和“形式的”这些词项的含义，还必须追溯到康德。康德用“思维形式”这名词，一方面区别于空间和时间这些“直观形...
■ 初基演算
来源图书：
沈有鼎集
作者：沈有鼎
出版日期：2006年12月01日
简介：
命题演算的构成，通常有三步骤的说法，即从Johanson的“极小演算”到Heyting的构造论命题演算再到二值演算。此外，Lewis从模态或严格蕴涵出发，也分别了许多步骤，以达到二值演算为终极；特别值得注意的是最后三个步骤，即从S4到S5到二值演算。这两个三步骤就某意义说乃是通常命题演算的构成中最本质的步骤。综合这两个三步骤，会带来许多便利，而本文所提出的也就是作为二者共同基础的初基演算。初基演算是一个比Johanson的“极小演算”更“小”的命题演算。在本文的叙述中，初基演算只用四个联结词，即絜合（“∧”），析取（“∨”），否定（“﹁”），蕴涵（“⊃”）。把蕴涵作为严格蕴涵来看，初基演算是完...
■ 两个语义悖论
来源图书：
沈有鼎集
作者：沈有鼎
出版日期：2006年12月01日
简介：
考虑这样一个命题：（1）。假定这个命题可以证明。那么它一定是真的，用它自己的话说，也就是它不可证明；这将跟我们的假定矛盾。假定它可以证明将引出矛盾，因此这命题不可证明。换句话说，这命题是真的。这样，我们也就证明了这命题。所以，这命题既可证明又不可证明。在上述讨论的第二部分中，如果我们是在一个给定的形式系统S中来谈（1）的证明，那么我们就不能说已经在S中证明了这一命题。因为，很有可能这一论证无法在S中形式化。正如我们大家都知道的那样，哥德尔在他1931年的著名论文中确实证明了，在适当的系统S中可以构造一个声称自身在S中不可证明的命题。我们不妨回顾一下哥德尔所作的结论，它是说如此构造的命题虽是真的...
■ 所有有根类的类的悖论
来源图书：
沈有鼎集
作者：沈有鼎
出版日期：2006年12月01日
简介：
对于类A而言，有一个由类组成的无穷级数A1，A2，…（不一定都不相同）使得…∈A2∈A1∈A，则称A为。并非无根的类，被称为。令K是由所有有根类组成的类。假定K是无根的。那么有一个由类组成的无穷级数A1，A2，…使得…∈A2∈A1∈K。由于A1∈K，A1就是一个有根类；由于…∈A3∈A2∈A1，A1又是一个无根类。但这是不可能的。所以，K是有根类。因而K∈K，并且我们有…∈K∈K∈K。因此，K又是无根类。这一悖论跟所有非循环类的类的悖论以及所有非n-循环类的类的悖论（n是一个给定的自然数）一起，形成了一个三体联合。其中第三个悖论有一个特殊情况就是，所有不属于自身的类的类的悖论（n=1）。更精确...
■ 论有穷系统
来源图书：
沈有鼎集
作者：沈有鼎
出版日期：2006年12月01日
简介：
我们可以适宜地把逻辑科学研究分为三部分。它们分别论述：（1）有穷领域；（2）超穷领域：（3）不确定领域，或称悖论领域。其中第一个领域（有穷领域）形成一个很严密的领域，以至于涉及这领域的问题即使并非全部也大部分似乎能独立解决，而不受那些烦扰另外二个领域的困难的影响。对于逻辑学家来说，暂时只注意这一领域也许是件聪明的事。本文内容是谢孚《记号相对性》一文的续篇。它是有穷领域方面的一个研究。因此，这里所作的一些甚至最一般的陈述当被推广应用到超穷领域时都需要修正。采纳罗素类型论的一种改良形式，对于作数学的分析是很有用的。可以证明，虽然任一个有穷系统都有一种跟这改良理论相一致的形式，但严格地讲这样一种形式...
■ 论表达式
来源图书：
沈有鼎集
作者：沈有鼎
出版日期：2006年12月01日
简介：
一表达式不是指一个特殊的有意义的记号（或记号的复合），而是指借助它由任意的约定而使一个特殊的记号（或记号的复合）呈一定意义的一般的型式。特殊的记号（或记号的复合）将称作表达式的一次出现。例如，“3”这个你刚刚读过的记号和你正在读的“3”记号以及你现在将要读的一个是同一表达式“3”的三次出现。不过，一个表达式的一个出现将既不是指一个特殊的记号也不是指构成头一个表达式的一般型式。一个例子将说明这意思。我们说，在表达式“33”中有表达式“3”的两个出现。因为表达式“33”不是一个特殊的记号，也不是“3”的以其特殊记号的两次出现。而表达式“33”是一个一般的型式，“3”在“33”中的两次出现不能是一般...
■ 被现代阐释和被遮蔽的背后
来源图书：
新时期文学的道家话语
作者：刘小平
出版日期：2007年07月01日
简介：
如上文所述，道家话语一方面被现代阐释，另一方面被遮蔽，这是道家话语在20世纪（包括新时期）中国的文化命运。如果深究起来，这种文化命运实际上隐藏着某种价值规范和文化心理。道家话语在新时期文学和文化中被遮蔽隐藏着这样的价值规范：道家话语是属于过去时代的东西，是落伍、保守的东西，在当代语境已经基本上丧失了合法性，所以应当对它进行批判和清除。道家话语被现代阐释则隐藏着这样的价值规范：道家话语融会了中华民族的聪明智慧和文化成果，作为历史悠久的中华文明的源头活水之一，许多思想精神在当代语境下依然具有合理性，应当被吸收到现代文化建设中来。进一步说，道家话语无论被遮蔽和被现代阐释，其实都反映了中国人“向往现代...
