子结构逻辑的哲学基础研究

发布时间：2020-11-06 04:24

　　 1990年,Kosta Do?en首先提出“子结构逻辑”一词,子结构逻辑的特点是:从结构规则和联结词规则两个层面对逻辑系统进行分析研究,这种借助结构规则来研究逻辑推理的方法,可追溯至根岑于20世纪30年代提出的的贯列演算。子结构逻辑聚焦于结构规则的行为,通过对各类结构规则的研究,可以对一大类逻辑进行整体上的处理,从而为现代逻辑的众多分支的比较研究提供了有力工具。子结构逻辑的研究在国外已有数十年历史,但在国内还方兴未艾。本文从历史和哲学的角度引介这一主题,追溯其思想渊源和发展动因,比较分析希尔伯特式公理系统、根岑式自然演绎和贯列演算的特点,进而阐明当代子结构逻辑的基础理论,展现其对贯列演算的改进之处;在此基础上,从多角度分析结构规则受到限制的原因,从而在结构规则层面展示某些子结构逻辑分支的特点及其背后的哲学考量——由于经典逻辑在刻画某些特殊推理时存在局限,这在结构规则层面往往表现为对于某种或某些结构规则的拒斥;最后辨析“贯列”、“联结词规则”、“结构规则”等基础概念,对相关哲学讨论——如“tonk”难题、证明论语义学的发展、结构规则在证明中的地位等,进行深入研究,同时讨论逻辑后承概念多元化的可能性,并试图从结构规则层面分析逻辑的本质——基本的形式演绎就是结构性的演绎,相对于联结词等逻辑常项,结构规则从更高层次体现了演绎的特点。
【学位单位】：华东师范大学
【学位级别】：硕士
【学位年份】：2018
【中图分类】：B81-0
【文章目录】：
内容摘要
abstract
1 绪论
    1.1 研究意义
    1.2 研究现状
    1.3 研究框架
2 子结构逻辑概述
    2.1 子结构逻辑溯源——根岑的贯列演算
        2.1.1 从公理化系统到自然演绎
        2.1.2 从自然演绎到贯列演算
    2.2 当代子结构逻辑的理论特征
        2.2.1 结构规则
        2.2.2 联结词规则
3 子结构逻辑溯因
    3.1 结构规则在自然语言中的局限性
    3.2 拒斥弱化规则的理由
    3.3 拒斥收缩规则的理由
    3.4 拒斥交换规则的理由
4 贯列、联结词规则和结构规则的哲学辨析
    4.1 “贯列”语义的不同解读
        4.1.1 外延结构下的“贯列”
        4.1.2 内涵结构下的“贯列”
    4.2 联结词规则和联结词的定义
        4.2.1 “tonk”难题
        4.2.2 “完全证成”的语义测试
        4.2.3 保守性和唯一性
        4.2.4 Tonk-逻辑——一种新的子结构逻辑？
    4.3 证明论语义学视角下的结构规则
        4.3.1 从模型论语义学到证明论语义学
        4.3.2 结构规则与联结词规则的联系
        4.3.3 从结构规则看逻辑的本质
结语
参考文献
后记

【相似文献】

相关期刊论文 前5条

1 冯棉;;子结构逻辑的研究方法与应用前景[J];哲学动态;2007年06期

2 刘冬宁;汤庸;;智能主体的信念认知时态子结构逻辑模型[J];计算机应用研究;2010年07期

3 滕少华;涂宏俊;刘冬宁;;基于子结构逻辑的不确定性语义时态查询技术研究[J];江西师范大学学报(自然科学版);2017年06期

4 姚从军;;混合范畴类型逻辑系统的构造及应用[J];湖北大学学报(哲学社会科学版);2013年05期

5 刘冬宁;汤庸;滕少华;林哲;;基于时态数据库的极小子结构逻辑系统[J];计算机学报;2013年08期

相关博士学位论文 前1条

1 贺鹏飞;剩余格及相关超结构研究[D];西北大学;2015年

相关硕士学位论文 前1条

1 熊建;子结构逻辑的哲学基础研究[D];华东师范大学;2018年

本文编号：2872647