形式公理系统确定可能世界的方式之影响——认识程序和范围

本文讨论了形式公理系统在认识程序上的变化和它导致的可能世界的范围扩张。

对欧几里德几何体系之可能世界的考察——以纯粹演绎的观点为基础

莱布尼兹的可能世界与现实或存在的关系 ,是在限定的“必然的实体中”讨论的。而演绎逻辑是从真前提到真结论之间具有必然性的 ,欧几里德几何原本所追求的正是这种必然性 ,他试图从有限的公理逻辑地推出所有定理 ;但是其前提并不充分 ,因而其所谓定理构成的可能世界具有虚幻性或非逻辑性。后来 ,希尔伯特在公理系统的不矛盾性和独立性中提出一种给已知系统找到其可能的实现的方法 ,不过它只有相对的意义 ,而哥德尔的否定性结果表明 。

论莱布尼兹的可能世界

该文通过可能世界与现实世界、可能世界与普适语言以及可能与必然之间的关系 。

可能世界为真的确认方式

按传统,数学的可能世界为真的确认方式是证明;经验自然科学的可能世界为真的确认方式为实验.但是后来的发展却否定了这种信念,本文对此进行了讨论.

关于形式化及其实现的可能世界

形式化公理学为研究可能世界的存在条件提供了新的基础 .在此基础上 ,可能世界完全摆脱了直观的干扰 ,因此它只受限于逻辑的制约 ;所以对象原有的刻划已失去了实质公理学阶段的意义转而由公理约束其存在形态并借翻译、赋值、解释、实现等方式生成可能世界 .

论墨子与亚里斯多德逻辑学的差别及其意义

一、引言在讨论墨子与亚里斯多德自然哲学时,[1]我们不难发现造成两者差别的重要原因是他们有着不同的逻辑学。这里,我用'逻辑学'而不用'逻辑'意在强调意识,而不是存在自身,否则我会说他们有着不同的逻辑。事实上,'逻辑'一词在当代常被当作'规律'的同义词,它意味着某种强制性的力量使一些特定的关系必然出现。逻辑学作为一门学科,其重要的任务就在于揭示出正确思维所必须遵循的规律。值得注意的是,人们所说的规律,在思维中与客观存在中是有很大区别的,在前者中的'规律'是可以违反的,即思维事实上可以不按'规律'进行并导致所谓错误;在后者中的'规律'是不能被违反的,如牛顿或爱因斯坦所提出的规律都是大自然必须遵循的,不可能有什么越轨之行为。基于这种考虑,我把逻辑学中的'规律'law统称作'规则'rule,这不仅仅是为了使在不同领域中起作用的因素相区别。

探讨可能世界的方式——保尔·费耶阿本德与卡尔·波普之比较

P K 费耶阿本德 (PaulKarlFeyerabend ,192 4 - 1994 )是西方科学哲学史上重要的哲学家 ,他与波普、拉卡托斯、库恩一起被欧美哲学界称为“科学哲学四大巨头”。他的哲学受到罗蒂等著名哲学家的高度评价 ,也受到了拉卡托斯、劳丹等人的激烈的批评。你可以批评他 ,但不能绕过他 ,他的哲学在我国哲学界的影响也很大 ,今年是他诞辰 80周年、逝世 10周年 ,下面发表的一组文章既是对他的纪念 。

注重当采学科 加强定向教育

当采学科属于某一时期最易于取得成果的学科,必须引起足够的重视,进行科学管理以加强定向教育。

徽州文化的程朱理学印记

本文从宋代军事政治和社会经济结构的变化以及徽州地域特点等方面讨论了徽州文化和程 朱理学的影响。

恩格斯生态观的当代意义

恩格斯面对现实即资本主义生产方式的破坏性和理论研究,特别是《劳动在从猿到人的转变中的作用》一文,提出了他的生态观。恩格斯的观点即使与今天相比仍居前沿,对重建国际新秩序、协调天人关系仍有巨大的指导意义。