文档介绍：/学位论文作者:爹,海端学位论文作者签名::≥涯晗υ隆度髂隆了特别标注。对本研究及学位论文撰写曾做出贡献的老师、朋友、同C艿难宦畚脑诮饷芎笫视帽臼谌ㄊ椋韭畚模嚎诓槐C埽签字日期:侈本人提交的学位论文是在导师指导下进行的研究工作及取得的研究成果。论文中引用他人已经发表或出版过的研究成果,文中已加仁在文中作了明确说明并表示衷心感谢。本学位论文作者完全了解西南大学有关保留、使用学位论文的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和借阅。本人授权西南大学研究生院可以将学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。口保密期限至月止导师签名:签字日期:日
删㈣舢㈣删逻辑实证主义及其证实原则⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..,呒抵ぶ饕濉目录中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.第滦髀邸问题的提出及其研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯研究思路和主要内容⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯,.ΧB鄣亩浠问健认知逻辑中的菲奇悖论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯证实原则的修正方案⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第氯我夤ǹP媛呒公开宣告逻辑⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.公开宣告逻辑的初始语言和语义⋯⋯⋯⋯⋯⋯⋯⋯⋯..,ǹP媛呒ɡ砘菟阆低场任意公开宣告逻辑⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。.........................................⋯....................⋯............
.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..扇现9健所有公式都是知道是否是真的公式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..第伦芙帷参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。.致谢⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..攻读硕士期间的学术成果⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯成功公式和可认知公式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..晒健
矿騃一任意公开宣告逻辑对证实原则的逻辑分析逻辑学专业硕士研究生:黄海林导师:郭美云副教授中文摘要证实原则是逻辑实证主义的基础性原则,居于核心地位,因为它是划分形式真理和事实真理的基础,是逻辑实证主义一切理论主张的基础。同时证实原则也是人们揭露和批判逻辑实证主义的关键所在,成为逻辑实证主义的致命弱点,因为逻辑实证主义在给证实原则所作的解释和所赋予的地位方面存在明显缺陷。摩尔和菲奇分别在信念逻辑和认知逻辑中质疑逻辑实证主义证实原则的科学性、合理性。在国内外专家学者的诸多修正方案中,我们提取出畍男拚方案,即他通过建立任意公开宣告逻辑公理化演算系统来修正证实原则,是把“可认知的”限制为“存在一个宣告使得对它进行宣告之后,命题被认知到”。我们用模态算子◇对公开宣告这一动作进行量化,这样我们就可以用◇幢硎尽按嬖谝桓宣告使得对它进行宣告之后,钦娴摹保琌表示“存在一个宣告使得对它进行宣告之后,蝗现5健薄N颐窃诠ǹP媛呒镅缘幕≈显黾幽L阕覦从而得到的一个任意公开宣告逻辑,这就是任意公开宣告逻辑对公开宣告逻辑的扩张我们首先对证实原则进行介绍分析,并分析论证了菲奇悖的证明过程,接着在公开宣告逻辑的基础上定义任意公开宣告逻辑的初始语言和相应的语义解释,进而建立了一个任意公开宣告逻辑的公理化演算系统,并证明了它的可靠性和完全性。最后在任意公开宣告逻辑公理化系统的基础上对证实原则进行逻辑分析,首先定义了成功公式和可认知公式,并把可认知公式分为知道公式是真的公式和知道公式是否是真的公式两种,进而证明了这几个公式的关系,即它们的表达力。最后证明了任意公式都是知道是否为真的公式。按照以上的研究思路将论文分成以下五个部分:第一章绪论包括问题的提出及研究现状,和本文的研究思路与论文框架结第二章菲奇悖论和证实原则修正方案,这是本文的阃题分析部分。首先是介绍逻辑实证主义的重要理论,重点介绍证实原则,阐明它在逻辑实证主义中的地西南大学硕士学位论文构。一一猜丽净事事款阑事出韭韭驶柿柯韭苛柯尘寺烤嘶柿柯柯柯黤
位和重要意义。然后是分别介绍菲奇悖论在认知逻辑和信念逻辑上的表现形式及其它们的变化形式,最后引进了解决菲奇悖论的证实原则修正方案,提出任意公开宣告逻辑的解决思路。第三章任意公开宣告逻辑,这是本文的基础工作部分。首先是在第二章的基础之上建立公开宣告逻辑公理化演算系统,即给出