任意公开宣告逻辑对证实原则的逻辑分析

发布时间：2022-02-21 10:03

　　证实原则是逻辑实证主义的基础性原则,居于核心地位,因为它是划分形式真理和事实真理的基础,是逻辑实证主义一切理论主张的基础。同时证实原则也是人们揭露和批判逻辑实证主义的关键所在,成为逻辑实证主义的致命弱点,因为逻辑实证主义在给证实原则所作的解释和所赋予的地位方面存在明显缺陷。摩尔和菲奇分别在信念逻辑和认知逻辑中质疑逻辑实证主义证实原则的科学性、合理性。在国内外专家学者的诸多修正方案中,我们提取出Johan.van Benthen的修正方案,即他通过建立任意公开宣告逻辑公理化演算系统来修正证实原则,是把“可认知的”限制为“存在一个宣告使得对它进行宣告之后,命题被认知到”。我们用模态算子◇对公开宣告这一动作进行量化,这样我们就可以用◇p来表示“存在一个宣告使得对它进行宣告之后,p是真的”,◇Kp表示“存在一个宣告使得对它进行宣告之后,p被认知到”。我们在公开宣告逻辑语言的基础之上增加模态算子口从而得到的一个任意公开宣告逻辑,这就是任意公开宣告逻辑对公开宣告逻辑的扩张我们首先对证实原则进行介绍分析,并分析论证了菲奇悖的证明过程,接着在公开宣告逻辑的基础上定义任意公开宣告逻辑的初始语言和相应的语... 

【文章来源】：西南大学重庆市211工程院校教育部直属院校

【文章页数】：41 页

【学位级别】：硕士

【文章目录】：
目录
中文摘要
Abstract
第1章 绪论
    1.1 问题的提出及其研究现状
    1.2 研究思路和主要内容
第2章 菲奇悖论和证实原则修正方案
    2.1 逻辑实证主义及其证实原则
        2.1.1 逻辑实证主义
        2.1.2 证实原则
    2.2 信念逻辑中的菲奇悖论——摩尔悖论
        2.2.1 摩尔悖论
        2.2.2 摩尔悖论的动态变化形式
    2.3 认知逻辑中的菲奇悖论
    2.4 证实原则的修正方案
第3章 任意公开宣告逻辑
    3.1 公开宣告逻辑
        3.1.1 公开宣告逻辑的初始语言和语义
        3.1.2 公开宣告逻辑的几则原理
        3.1.3 公开宣告逻辑公理化演算系统
    3.2 任意公开宣告逻辑
        3.2.1 任意公开宣告逻辑的初始语言和语义
        3.2.2 任意公开宣告逻辑的几则原理
        3.2.3 任意公开宣告逻辑公理化演算系统
第4章 对证实原则修正方案的逻辑分析
    4.1 证实原则的新修正方案
    4.2 成功公式和可认知公式
        4.2.1 成功公式
        4.2.2 可认知公式
    4.3 所有公式都是知道是否是真的公式
第5章 总结
致谢
参考文献
攻读硕士期间的学术成果



本文编号：3637028