任意公开宣告逻辑对证实原则逻辑分析论文.pdf

删㈣舢㈣删 Y2309252 目 录 中文摘要…………………………………………………………………．1 Abstract．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．…．．．．．．．．．．．．．．．．．．．．…．．．．．．．．．．．3 第1章绪论……………………………………………………………．5 1．1问题的提出及其研究现状………………………………………5 1．2研究思路和主要内容……………………………………………．6 第2章菲奇悖论和证实原则修正方案………………………………．．8 2．1逻辑实证主义及其证实原则…………………………………．．8 2。1，1逻辑实证主义………………………………………………8 2．1．2证实原则……………………………………………………，9 2。2信念逻辑中的菲奇悖论一一摩尔悖论……………………………，10 2．2．1摩尔悖论……………………………………………………．．10 2．2．2摩尔悖论的动态变化形式…………………………………，12 2．3认知逻辑中的菲奇悖论……………………………………………12 2．4证实原则的修正方案………………………………………………14 第3章任意公开宣告逻辑……………………………………………．．17 3．1公开宣告逻辑……………………………………………………．17 3．1．1 公开宣告逻辑的初始语言和语义………………………．．17 3．1．2公开宣告逻辑的几则原理…………………………………19 3．1，3公开宣告逻辑公理化演算系统……………………………21 3。2任意公开宣告逻辑………………………………………………。．23 3．2．1任意公开宣告逻辑的初始语言和语义……………………．．23 3．2．2任意公开宣告逻辑的几则原理……………………………．．24 3．2．3任意公开宣告逻辑公理化演算系统………………………．．24 第4章对证实原则修正方案的逻辑分析……………………………．．27 4．1证实原则的新修正方案…………………………………………．27 4．2成功公式和可认知公式…………………………………………．28 4．2．1成功公式……………………………………………………．28 4．2．2可认知公式…………………………………………………．29 4．3所有公式都是知道是否是真的公式……………………………．．30 第5章总结……………………………………………………………．33 参考文献………………………………………………………………。．34 致谢……………………………………………………………………．．35 攻读硕士期间的学术成果………………………………………………36 西南大学硕士学位论文 中文摘要 !曼曼曼曼量篁I一一一 I喜吕鼍皇曼皇曼曼曼曼曼量罾皇鲁鼍曼曼鼍曼皇皇量曼曼鼍曼量量鲁舅曼曼曼量舅皇量曼曼量曼曼量曼f 任意公开宣告逻辑对证实原则的逻辑分析 逻辑学专业硕士研究生： 黄海林 导师：郭美云副教授 中文摘要 证实原则是逻辑实证主义的基础性原则，居于核心地位，因为它是划分形式 真理和事实真理的基础，是逻辑实证主义一切理论主张的基础。同时证实原则也 是人们揭露和批判逻辑实证主义的关键所在，成为逻辑实证主义的致命弱点，因 为逻辑实证主义在给证实原则所作的解释和所赋予的地位方面存在明显缺陷。摩 尔和菲奇分别在信念逻辑和认知逻辑中质疑逻辑实证主义证实原则的科学性、合 理性。 在国内外专家学者的诸多修正方案中，我们提取出Johan．vanBenthen的修正 方案，即他通过建立任意公开宣告逻辑公理化演算系统来修正证实原则，是把“可 认知的”限制为“存在一个宣告使得对它进行宣告之后，命题被认知到”。我们用 模态算子◇对公开宣告这一动作进行量化，这样我们就可以用◇p来表示“存在一个 宣告