一阶逻辑的一种全面扩张：语形和语义

发布时间：2017-11-21 04:27

  本文关键词：一阶逻辑的一种全面扩张：语形和语义

  更多相关文章： 统一逻辑 统一语言 类型论 高阶逻辑 无穷逻辑 广义量词 生成文法 完全格

【摘要】：在现代逻辑学中最经典的,也是被讨论的最多的是一阶谓词逻辑。但是实际上有一些概念(如存在无穷多个)在一阶逻辑内是无法表达的,也就是说一阶逻辑的表达力是比较有限的。为了增强其表达力,可以在许多方面对其进行拓展。高阶逻辑是在“高度”上的拓展,它允许关系变元及其量化;无穷逻辑是在“长度”上的拓展,它允许对无穷多个公式合取以及对无穷多个变元进行量化(确切地说是含有无穷多个元素的公式集和变元集);广义量词逻辑则可以说是在“花样”上的拓展,它允许除了全称和存在量词之外的其它量词。那么接下来很自然地产生一个问题：如果将一阶逻辑往各个方向同时拓展,会得到什么?本文就旨在回答这个问题。 第二章设计了一种新型的类型论,使之能讨论函数变元和等词、联结词、量词的类型。先定义了域类型,即高阶域的类型。随后定义了符号类型,即各逻辑符号非逻辑符号的类型(括号等辅助符号除外)。 第三章构造了造统合高阶语言、无穷语言和广义量词语言的语言——统一语言。首先引入一些构造语言时需要用到的转换映射;随后定义了相似型、签名、逻辑类型等语义类型;最后正式构建了统一语言的生成文法。 第四章在前一章工作的基础上着手构造统合高阶逻辑、经典无穷逻辑和广义量词逻辑的逻辑——统一逻辑。首先定义了结构与模型;随后定义了统一逻辑的语义部分;最后定义如一致性完全性之类的语形语义性质。 第五章主要探讨统一逻辑的性质。本章借助了序理论中的相关结论,证明了统一逻辑外延类(关于包含于关系)上的理论算子和内涵类(关于包含关系)上的模型类算子构成伽罗瓦联络,以及逻辑上的逻辑格、外延格、内涵格、外延Lindenbaum-Taski结构和内涵Lindenbaum-Taski结构互相同构。
【学位授予单位】：西南大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：B812

【参考文献】

中国期刊全文数据库 前1条

1 顾恒;;从乔姆斯基语言层级看一阶语言[J];毕节学院学报;2013年04期

，

本文编号：1209707