马雷
- 作品数:39 被引量:41H指数:4
- 供职机构:东南大学更多>>
- 发文基金:国家社会科学基金江苏省社会科学基金江苏省教育厅科研基金更多>>
- 相关领域:哲学宗教自然科学总论文化科学经济管理更多>>
- 联合演算对传统词项逻辑的等价描述
- 2006年
- 希尔柏特和阿克曼并没有解决传统性质判断及其构成的推理式在联合演算中的等价表述问题,而克劳斯对传统推论的理解和翻译则有更大的偏差。一个能够刻画所有传统推理式的统一的模式,必须同时限之以主项非空类,谓项非全类。在这一模式下,传统直言判断的逻辑方阵在联合演算中可以找到等价的描述,不仅如此,传统词项逻辑的所有有效式在联合演算中无一例外地是永真式,而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。传统意义上翻译的传统推论表明,传统词项逻辑在其自身所把握的范围内是封闭的和完备的,但一旦超出这一范围,即扩展为现代意义上的,就不再是一个严密的体系。
- 马雷
- 科学问题的解答及其比较评价被引量:5
- 2014年
- 科学问题是在已知科学知识基础上对未知科学知识的探求导向。就科学探索而言,问题解答过程没有机械程序,它是逻辑和心理因素共同起作用的思维操作过程。搜索和选择是解答过程中思维的基本逻辑和心理操作,通过这个操作实现知识状态的改变和问题的解决。问题解决的结果就是我们通常所指的“科学理论”。对科学理论的评价某种程度上就是对问题的评价。
- 陶迎春马雷
- 关键词:心理因素基本逻辑科学知识
- 当代社会艺术与科学的共舞被引量:1
- 2012年
- 艺术与科学的发展路径有异曲同工之妙,先是追求本质、基础、规律和确定性,旨在把艺术与非艺术,科学与非科学泾渭分明地区别开来,这是经验主义和理性主义的艺术观和科学观,后来开始反本质,反基础,反中心,追求不确定、模糊、测不准、冲突,分解、语用学悖论、权力等成为另类合法模式,使得艺术与科学成为无政府主义的事业。今天,人们发现,艺术和科学强调自由和创新,但也不是无政府主义的事业,其中,没有惟一的规范,只有多元的规范,而这多元的规范却围绕一个不变的核心——协调。由此,艺术和科学中那些变动不居的东西,那些引起思想界骚乱的变化,就可以在时间之流中得到具体的强弱比较。于是,艺术和科学仍然是进步的事业。
- 马雷
- 关键词:当代社会艺术
- 合理性与“社会学转向”——强纲领的科学性问题被引量:4
- 2004年
- 爱丁堡学派以及其他许多社会史家和科学社会学家试图从方法论上证明强纲领的科学性,积极倡导科学的“社会学转向”。劳丹将这种论证总结为“偏好描述的谬误”和“不完全决定论题”,并对此提出置疑。这表明他们在根本性的合理性问题上没有达成共识。我们希望找到更好的合理性模式,实现两者的整合。协调合理性乃是实现这一理想的一种尝试。
- 马雷
- 关键词:社会学转向强纲领
- 现行联合演算的判定标准不可靠的理由
- 2004年
- 希尔柏脱和阿克曼试图导出一个普遍可行的判定标准 ,判定一联合演算公式是否永真。克劳斯用这个标准来论证传统推论式并排除不正确的推理式。但是 ,由希尔柏脱和阿克曼提出并经克劳斯转述的所谓联合演算的“判定标准”并不是一个十分可靠的标准。联合演算的最特殊的方面是 ,其演算不可能在单一的层次上进行 ,必须在两个层次上同时进行。第一个层次是命题逻辑的层次 ,第二个层次是谓词逻辑或类逻辑的层次。希尔柏脱和阿克曼试图在笫一个层次上解决问题 ,克劳斯则承袭其思路 ,总是想把一联合演算的公式化为使其竖号在公式最外面的形式 ,然后在判定过程中脱去竖号。忽视联合演算的两个层次 。
- 马雷
- 论科学理论的经验过硬性指标被引量:3
- 2006年
- 科学理论的经验过硬性是科学创新和理论进步的合理指标之一。协调力模式给出了经验过硬性的量化评估方法。经验过硬性与经验一致性有着密切的关系。劳丹的反常概念可以通过经验过硬性和经验一致性加以分析。
- 马雷
- 联合演算对传统直言推论的系统化被引量:1
- 2002年
- 本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点 ,本文对传统直接推论和传统直言三段论作出系统化处理 ,证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式。
- 马雷
- 论科学理论的形态
- 2007年
- 通过对理论概念的明晰化,可以发现,科学在理论形态上存在着冲突与协调的合理性进化机制。这表现为,在集合理论与其构成理论之间,在工作理论和超理论与其例示理论之间存在着对称性的冲突与协调关系。冲突与协调意指理论比较中的两种相对优劣的关系状态。理论的进化是在理论的比较和竞争中进行的。
- 马雷
- 关键词:进化
- 论劳丹的特设性理论观被引量:1
- 2001年
- 拉雷·劳丹 (LarryLaudan ,194 1- )是当代美国最负盛名的科学哲学家之一。在成名作《进步及其问题》中 ,劳丹提出了一个以解题为核心的科学进步的合理性模式 ,并运用这一模式探讨了理论的特设性问题。劳丹对特设性的分析富有创意和启发性 ,但是 ,劳丹合理性模式的狭隘性 ,在一定程度上决定了其对特设性概念的分析是不够精确、不够全面的。本文尝试在劳丹模式的基础上引入新的分析机制 ,以便在经验的层面上进一步深入探讨特设性问题。
- 马雷
- 论理论创新的经验新奇性指标被引量:2
- 2005年
- 科学理论的经验新奇性是科学创新的合理指标之一。经验新奇性要求理论推出的与观测型经验问子相符的新奇理论型经验问子越多越好。协调力模式给出了经验新奇性的量化评估方法。经验新奇性不是对新奇现象的解释,而是预言的新奇现象得到观测型经验问子的验证。一个理论面临经验新奇性冲突这一事实并不能充分决定对该理论的抛弃,因为没有抛弃该理论的充分理由。
- 马雷