问句逻辑的三种研究方法!

#问句是日常语言中非常重要的句式结构!从逻辑角度研究问句的方法也不少!其中!博弈问句模型"推理问 句逻辑和探究语义学!代表了三种不同的研究思路# 博弈问句模型使用图表推理的方式分析涉及问句的会话!可以比较 不同提问方式的策略优劣# 推理问句逻辑有完整的语义解释和句法定义!直观地刻画了问句的推理关系# 探究语义学 在形式上与现代逻辑比较一致!可以构建带问句的逻辑系统!统一地处理命题和问题的逻辑性质#     

试论情境语义学的认知科学意义

情境语义学为外在世界与内在心理状态提出一个情境认知框架,并依此发展了一个意义理论,自然语言语义在这个意义理论中得到合理解释.从其理论源头、理论视角及其应用等角度来看,情境语义学与当代认知科学之间存在密切联系,对认知科学研究有重要意义,主要表现在情境语义学所确立的信息认知框架、相关认知词的情境语义解释与情境逻辑分析以及自然语言中隐喻表达的情境语义刻画等4个方面.     

2n值命题演算的 语义及其在大数据中的应用

本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus,2nP)的语义,为大数据科学奠定逻辑基础.描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能,并建立了赋值映射;根据多值逻辑的特点,以数据冗余、key-value模型为例,直觉地讨论了2n值逻辑应用于大数据研究的有效性;初步分析了2nP语义与经典命题逻辑语义之间的关系,并展望了2nP在计算机科学、人工智能、信息技术等学科的应用前景.     

命题态度句的成真条件

用动态认知逻辑特别是话语表现理论为主要研究工具，充分考虑语境因素，探讨命题态度句的语义解释，得出的结论是：（一）命题态度句的语义依赖于被报道的信念和解释者对信念主体的认知状态的表征的其它元素的交互作用；（二）对命题态度句的处理揭示了语义的动态更新过程。     

命题态度句的成真条件

用动态认知逻辑特别是话语表现理论为主要研究工具,充分考虑语境因素,探讨命题态度句的语义解释,得出的结论是:(一)命题态度句的语义依赖于被报道的信念和解释者对信念主体的认知状态的表征的其它元素的交互作用;(二)对命题态度句的处理揭示了语义的动态更新过程。     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义，一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

一个刻画强否定的模态系统及其性质

否定是逻辑学的中心概念之一.直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定.所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质.例如,禁自返相对于我们的语义是模态可定义的.     

一个刻画句子顺序的逻辑

更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序,对应的公理系统S5S也是可靠的和完全的。     

关于逻辑语义学的句法系统

逻辑语义学的核心任务是探索自然语言语义的组合原则。逻辑语义学认为,语义不是孤立的,语义与句法之间具有同构关系,采取什么样的句法理论往往决定了语义系统的本质和刻画精度。在过去近半个世纪时间里,逻辑语义学家越来越关注如何吸纳和借鉴当代句法学的理论成就为己所用。Heim和Kratzer等人在生成树上构造的语义系统、Steedman在CCG框架下进行的词汇主义转换以及我们对助动词"有"的讨论都是这方面有益的尝试。