科学普适性信念批判的SLK进路研究及其意义

西方学术传统所坚持的科学普适性信念,多年来受到来自数学哲学、物理哲学等多条进路的批判。布鲁尔的SSK思想也是对这种信念的一种批判,作为其SSK组成部分的SLK思想,是这种批判的集中体现。他以逻辑学这门硬科学为例,从逻辑基础和逻辑规则社会性两个方面,提供了对于科学普适性信念更为深入的批判路径,从而导致了科学形象的极大变革。     

220kV升压站隔离开关动静触头过热原因分析及处理

文章介绍了220 kV的隔离开关211-1,222-2A的红外成像异常事件,为计划检修提供了可靠的依据。通过定期的远红外检测,使工作人员积累了远红外热成像判断故障的经验,并可以及时处理隔离开关故障。     

上海能源大屯电网同步点性质分析和应用

<正>电力系统高压开关同步点包括差频并网同步点和同频并网同步点两类。差频并网同步点指不论电力系统在何种方式下运行,同步点(断开的开关)两侧都是2个独立的电源;而同频并网同步点则随着电力系统运行方式的变化而变化,同步点两侧可能是2个独立的电源,也可能是同一个系统。对于不同性质的同步点,其合闸方式也不相同。本文,笔者以大屯电网110kV系统为例,对几个有代表性的同步点的性质及应用进行分析,以期对同行有所参考。     

GISELA型气体绝缘开关设备性能研究

<正>SF6气体因其优异的电气性能在高压GIS开关中得到了广泛应用,目前,中压领域的很多知名厂家也将SF6气体应用到他们的产品中,包括ABB、施奈德、西门子、欧马嘉宝、德国德理施尔等国际知名厂家,均在大力发展中压C-GIS环网开关设备。     

基于AD系列数控机床的逻辑控制单元改造的分析

为了能够提高数控机床的加工性能和生产效率,对现有AD系列数控机床的逻辑控制单元进行改造,主要从主轴S功能、刀台控制方式、机床用PC等三个方面入手,浅谈改造的思路。     

利用DNA逻辑开关进行细胞内生物分子成像研究

上海应用物理研究所物理生物学实验室的研究人员,创新性地将DNA纳米技术与DNA计算相结合。设计了一系列基于三维DNA纳米结构的新型“DNA逻辑门”。这些逻辑门不仅能够对不同的输入信号产生响应,从而实现复杂的分子运算．而且可以主动穿过细胞膜．进入活细胞内实现生物分子成像。     

经验论的自由化——重审逻辑经验主义的后期发展

后期逻辑经验主义在实用主义等哲学的影响下,构造了自由化的经验论。一方面,后期逻辑经验主义反思了传统经验论的三大教条,弱化乃至部分消解了观察与理论、分析与综合以及事实与价值的界限;另一方面,后期逻辑经验主义根据更为自由的命题意义标准,凸显科学概念框架的历史性,强调科学哲学与科学实践的紧密关联。经验论的自由化,不仅开启了科学文化哲学的研究进路,而且也为当代科学哲学克服相对主义和非理性主义提供了宝贵的思想遗产。     

论19世纪的逻辑学——在数学与哲学之间

19世纪的逻辑学处于数学与哲学之间:一方面,数学家在对传统逻辑的改革过程中形成了逻辑代数和数理逻辑;另一方面,哲学探讨热衷于逻辑学的性质、地位、基础等问题,由此形成了心理主义和反心理主义之争。这种状况从各个方面影响了20世纪的逻辑学、心理学和哲学的发展。     

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。     

存在怪论的推导与分析及有关语意问题

怪论：“概念无逻辑矛盾的任一物理事件必然在物理世界中存在（或被实现）”可从下列四个易被接受的假设推出：１、经验归纳是不完备的。２、认识上仅有两方面,即经验归纳与逻辑推理。３、从逻辑观点看,断言一个物理事件在所有时间都不存在,仅是由于事件概念有逻辑矛盾。４、推理限于使用经典逻辑。以Ｐ（ｔ）表示物理事件Ｐ在时刻ｔ出现,当Ｐ的概念无逻辑矛盾时,ヨｔｐ（ｔ）之真可在有限时区证实,但其假则否。而フｐ（ｔ）之