论经典否定、直觉主义否定和弗协调否定

本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征.并对这三种否定进行比较,指出其相同与相异之处.此外,还通过否定揭示出经典命题逻辑系统、直觉主义命题逻辑系统和弗协调命题逻辑系统之间的关系.     

认知二维语义学与克里普克理论之关系探析

查莫斯宣称,他的认知二维语义学承认克里普克的模态与意义理论,并分别从模态论证与认知论证两个方面论述了这一点。但是,认知二维语义学诉诸模态理性主义一元论,而该理论违背了克里普克对认知模态与形而上模态的划分;并且,如果认知内涵框架可以整合指称的因果机制,那么,认知内涵就应当是一种元语义成分。因此,认知二维语义学并未真正地完全接受克里普克的模态与意义理论。     

达米特论指称和涵义

达米特认为形而上学陈述是关于实在图像刻画的"争论的陈述类"(Disputed class of statements),所以提供一种支配这些陈述的逻辑规律的意义理论就成为必要;而选择合适的语义理论作为基础,乃是构建这种意义理论的第一步.他在<形而上学的逻辑基础>中,提出了一种辩护主义的意义理论.文章通过指称和涵义来论证达米特在对弗雷格一塔斯基经典语义理论的批判并提出"直觉主义的内在解释"时,已经开始拒斥实在论,所以达米特作为意义理论基础的"语义理论"需要在反实在论的前提下来理解;这和"真"的直觉主义理解以及直觉主义逻辑规律的自我辩护是一致的.     

自然种类名称与严格性--克里普克通名理论的一个疑点

克里普克在<命名与必然性>中就专名问题给出了较为完整且具说服力的论证,但随后他把这套专名的理论直接推广到自然种类名称的做法却是值得商榷的:一是因为克里普克的这种推广只是一种简单的套用,他未就自然种类名称本身的严格性给出充分的论证;二是因为克里普克所谈到的自然种类名称属于不同的语法和语义类型,如此复杂的情形不能像专名那样一概而论.本文试就这些问题加以研讨.     

彭加勒的数学直觉主义

本深入地探讨了数学基础中直觉主义流派的先驱彭加勒的直觉主义数学观揭示彭加勒的数学直觉主义的确切涵义及其所由以提出的思想线索,并在此基础上,分析了彭加勒的数学直觉主义与康德的先验直觉理论以及布劳威尔的思想之间的关系。     

作为量子信息基础的模态逻辑四个等价性

真性模态命题逻辑(MCP)为量子信息理论尝试严格模型，但其自身在句法、语义和形上学方面都有严重困难。依据隐变量最低限度指引定义，给出MCP与经典命题逻辑(CP)的四个等价性，得出MCP是包含严格句法隐变量的CP,模态公式是对CP公式的分类簇，可能世界是作为赋值背景的CP公式，量子信息可建立更简洁统一基础。     

必然性、先验性和分析性与二维语义理论

必然性、先验性、分析性是三个不同范畴的概念,与它们对应的领域分别是模态、理性和意义。这三个概念彼此密切关联,形成了建构性的金三角关系,这个金三角遭到了克里普克的破坏,二维语义理论试图恢复这个金三角,它提出了看待可能性的两种方式,在更大的范围内阐明了意义和模态与理性领域的密切联系。     

典型“语义悖论”之多义句本质

本文由悖论非存在定理之引理推得一个重要推论－所谓“悖论”既有可能是非真非假的意义句也有可能是多义句，并进行而论证了所有典型“语义悖论”均属后一种情况，根本就不是什么真正意义上的悖论，从而彻底修正了克里普克的有关理论。     

人工智能和哲学逻辑视野中的局部语义

语境与语言、推理被并列为人工智能所面临的三大挑战,涉及语词多义、领域特定话语、文本先备知识等具体的技术问题。语境在人工智能领域的形式化以语境的"命题逻辑系统"和"局部模型语义"/"多语境系统"为代表。然而,语境问题的复杂之处在于,不同的会话场景,不同的文本不能被简单地归属给一系列定制好的语境——与一个个场景和文本对应的是一个个具体的语境:它们之间既不是简单的类属关系,也不是简单的组合关系,而是呈现出明显的家族类似性。     

命题逻辑系统的型

本文试图澄清逻辑系统之为“演绎”或“归纳”的涵义，提出逻辑系统的“i-i型”概念(在一个具有真值集{Ti|i∈I}的逻辑语义下)。对任意I，j∈I及任何逻辑语义，我们定义了此语义的山[i，j]-镜像。并证明了对任意c，d∈I，一个命题逻辑系统如果在具有真值集{Ti|i∈I}的逻辑语义下是c-c型的，那么此系统在此逻辑语义的[c，d]-镜像下就是d-d型的。