【摘 要】
：
在经典判定问题研究的基础上,一阶逻辑片段的可判定性问题被当代学者广泛地讨论,并且其在计算机科学、逻辑学和哲学方面的价值也正在被日益发掘.其中两个最具代表性的研究是关于二变元逻辑(two-variable logic)FO2和安保片段(guarded fragment)的系列讨论.它们都是在一阶逻辑的基础上对变元和量词等进行不同程度的限制,以获得该片段的可判定性和一些其他漂亮的性质.
论文部分内容阅读
在经典判定问题研究的基础上,一阶逻辑片段的可判定性问题被当代学者广泛地讨论,并且其在计算机科学、逻辑学和哲学方面的价值也正在被日益发掘.其中两个最具代表性的研究是关于二变元逻辑(two-variable logic)FO2和安保片段(guarded fragment)的系列讨论.它们都是在一阶逻辑的基础上对变元和量词等进行不同程度的限制,以获得该片段的可判定性和一些其他漂亮的性质.
其他文献
本研究根据学校个案管理的核心要素设计访谈提纲，访谈了湖北省9所高校。随后，采用质性研究方法中的扎根理论分析受访高校心理健康服务中个案管理的开展情况。目的 在于呈现高校心理健康服务中个案管理的现状与不足，并就高校心理健康服务中个案管理的开展提出建议。
古普塔与斯坦德菲尔在新近发表的论文《真理论的条件句》中引入了新的条件连接词——STEP条件,旨在形式化作定义解读的真谓词引入和消去规则,据此以有效性与可证性的方式刻画那些直观上有效的包含真谓词的论证.本文从新条件词引入的背景、语义特征和对修正理论形式化进路的启发等方面对该成果作出详细的分析和评论.
In this paper,I first clarify that Quines ontological commitments thesis cannot provide answers to logical theories.Then I explore Kit Fines criticism on the quantificational account of ontology.Altho
论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点.近年来,论辩的结构化研究成为新兴议题,借助于逻辑语言为论辩提供更细节化的形式表达,但现有系统在非单调推理刻画方面仍存在不足.在已有研究的基础上,本文尝试从可废止逻辑出发构造一个新的结构化论辩系统
Instantial neighborhood logic (INL) is classical propositional logic enriched by a two-sorted operator □.In a neighborhood model,s formula like □(α1,...,αj;α0) (for an arbitrary natural number j) mean
In recent years,formal argumentation has been an increasingly active research topic in the field of logic and artificial intelligence.One of its aims is to bridge the gap between human reasoning and c
Projection as one of the main features of presupposition refers to the phenomenon in which the presupposition of an embedding sentence tends to escape from its original position.It has been noted that
罗素未发表手稿的系统整理和陆续出版为罗素逻辑理论研究提供了新材料.基于这些新材料,罗素的非受限变元概念日益突显出了其理论价值.非受限交元理论表明:一个变元是非受限的,当且仅当该变元的取值范围是实体域.据此,罗素的逻辑观念是实在论的,逻辑普遍性是通过非受限变元体现出来的.替代理论是非受限变元理念与方法的典型体现.《数学原理》中的分支类型限制并没有影响非受限变元的存在.《逻辑哲学论》中的显示理论运用了
解决“实质蕴涵怪论”问题，须首先在逻辑语义学视域之中厘清蕴涵关系的层级，进而再从语用学上考察各类条件句“是否”或“如何”表达不同层面的蕴涵关系。运用集合论工具可以说明，逻辑蕴涵、严格蕴涵、直觉主义蕴涵、相干蕴涵等各种蕴涵关系，实际上都是作为真值函数的实质蕴涵关系之居于不同层面的“子集”。建构“蕴涵层级论”的主要目标，即系统把握作为实质蕴涵关系之子集的各种蕴涵关系所在层面以及它们的相互关联。厘清蕴涵关系的层级，“实质蕴涵怪论”的迷雾就会消失于无形。