王洪光
- 作品数：4 被引量：10H指数：2
- 供职机构：南京大学哲学系现代逻辑与逻辑应用研究所更多>>
- 发文基金：江苏省普通高校研究生科研创新计划项目教育部人文社会科学重点研究基地度重大研究项目国家自然科学基金更多>>
- 相关领域：哲学宗教理学自然科学总论更多>>
- 蒯因“去引号论”与真之减缩论
- 2015年
- 蒯因的"去引号论"被戴维森作为与冗余论等相并列的一种真之减缩论加以批评。戴维森基于塔斯基对"真"所做的工作,认为所有沿着减缩论进路发展的真理论都没能把握"真"这个概念的实质。然而,尽管蒯因的去引号论的确与塔斯基的工作紧密相关,但是其比塔斯基的真之模式(TS)断言更多,而且其"真"概念具有经验性的内容。减缩论的核心应当是承认等值模式(ES)的基底性,而非仅承认等值模式自身。根据对减缩论的进一步考察与比较分析可以表明,蒯因的去引号论并不是一种减缩论。
- 王洪光
- 关键词：真理论
- 真理紧缩论与真理模式被引量：2
- 2013年
- 当代真理紧缩论的等值模式和塔斯基语义真理论的真理模式,由于公式表达上的相关与类似,易造成诸多误解与混淆。通过澄清真理紧缩论的核心理念,可以说明使得紧缩论成为一类独特的真理论的并不是等值模式本身,而是承认等值式的基底性。由此,重新审查真理模式以及塔斯基真理论的完整图景,可以得出塔斯基的语义真理论并不是一种紧缩主义理论。
- 王洪光
- 关键词：真理
- 知识蕴涵模态逻辑系统被引量：5
- 2008年
- 使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题。基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略。在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立。在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制。根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现。
- 杜国平李娜王洪光徐良
- 关键词：逻辑模态
- 集合论-泛逻辑悖论被引量：4
- 2009年
- 对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.
- 杜国平王洪光李娜朱梧槚
- 关键词：泛逻辑悖论
