科学发展的哲学基础论析——基于具象与类型的研究

类型是由具象通过类型性抽象而获得的,具象在逻辑上先于类型,存在自由具象。任何具象都属于由其自身通过类型性抽象所获得的类型,但这种类型根本不同于以部分具象为样品通过类型性抽象所获得的类型。这是两种不同层次的类型。科学发展是从具象到类型,但从哲学上讲,它又总是可以突破旧的类型,从而达到新的类型的一种过程。     

卡罗尔疑难解决方案析评

简单接受或拒斥卡罗尔疑难导致的推理无穷后退,不能解决该疑难。卡罗尔疑难本质上是无关经验事实的,因此它也无法由诉诸经验事实来解决。“所以”与“蕴涵”概念的区分,以及前提与元前提的区分,都是在卡罗尔疑难的倒逼下而做出的,这样的方案预设逆否律,而逆否律却恰恰面临着卡罗尔疑难的挑战。推理规则有效预设它为何有效,卡罗尔疑难旨在追问后者,而非前者,因此任何预设推理规则有效的方案都不能成功解决卡罗尔疑难。     

演绎规律证成研究

演绎证成包括演绎规律的证成和演绎系统的证成。演绎规律的证成不应预设演绎规律是有效的。演绎规律属于形式,它不预设演绎规律是有效的。由于一种形式与其内容或质料具有二分关系,所以该形式可以穷尽地涵盖或填入相应类型的任何内容。如果无论一种形式属于何种逻辑,以及该形式被填入任何内容,该形式都是真的,那么该形式就是演绎规律,是有效的,否则就不是演绎规律,是无效的。演绎规律的证成标志着演绎的部分证成。     

模态逻辑可能世界与情境

模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性,而情境则除了排斥性,还突显时空性、主体性、部分性和非绝对良构性。利用这两组性质,分别对最大的可能世界类或可能世界模型W进行理想化限制,就可以得到这两类可能世界。而且,按照数学的排列组合观念,这两类可能世界的深层关系就清晰可见。     

情境语义学的发展

情境语义学最初是作为外延模型论和可能世界语义学的替代理论而创立的,它面向自然语言、面向信息和面向人工智能,是一门交叉性和综合性研究领域.早期情境语义学研究主要是从哲学层面上来阐释语义问题.随着其哲学阐释的成功和解题功能的增强,情境语义学经历了一次研究方向的转折和研究范围的拓展,成为众多学科的关注热点.现在,情境语义学仍然具有巨大研究价值和发展潜力,仍在继续发展.     

情境语义学的发展评析

早期情境语义学的研究目标是为自然语言构造标准模型论,转折后的目标则是为自然语言发展出严格公理化的数学理论,其最终目的都是希望满足计算机和人工智能处理自然语言和信息的现实需要。这两个研究目标都偏离了,这与情境语义学研究的基本指导思想密切相关,它表明穷尽可能性的哲学思考与有限的形式技术构造之间存在根本差异。     

摹状词与专名的关系解析

对于专名与摹状词的关系,摹状词理论的要点是,专名的含义等同于摹状词或摹状词簇,摹状词指称专名的所指;相反,因果命名理论认为专名仅有所指没有含义.摹状词理论和因果命名理论都存在着其自身不可克服的困难.以专名的推广和传播为突破点,从本体论和认识论两个层次上来考察,可以对这两种理论的各自困难以及摹状词与专名之间的关系有个较好说明.