證實原則是邏輯實證主義的基礎(chǔ)性原則,居于核心地位,因為它是劃分形式真理和事實真理的基礎(chǔ),是邏輯實證主義一切理論主張的基礎(chǔ)。同時證實原則也是人們揭露和批判邏輯實證主義的關(guān)鍵所在,成為邏輯實證主義的致命弱點,因為邏輯實證主義在給證實原則所作的解釋和所賦予的地位方面存在明顯缺陷。摩爾和菲奇分別在信念邏輯和認知邏輯中質(zhì)疑邏輯實證主義證實原則的科學性、合理性。在國內(nèi)外專家學者的諸多修正方案中,我們提取出Johan.van Benthen的修正方案,即他通過建立任意公開宣告邏輯公理化演算系統(tǒng)來修正證實原則,是把“可認知的”限制為“存在一個宣告使得對它進行宣告之后,命題被認知到”。我們用模態(tài)算子◇對公開宣告這一動作進行量化,這樣我們就可以用◇p來表示“存在一個宣告使得對它進行宣告之后,p是真的”,◇Kp表示“存在一個宣告使得對它進行宣告之后,p被認知到”。我們在公開宣告邏輯語言的基礎(chǔ)之上增加模態(tài)算子口從而得到的一個任意公開宣告邏輯,這就是任意公開宣告邏輯對公開宣告邏輯的擴張我們首先對證實原則進行介紹分析,并分析論證了菲奇悖的證明過程,接著在公開宣告邏輯的基礎(chǔ)上定義任意公開宣告邏輯的初始語言和相應(yīng)的語... 

【文章來源】：西南大學重慶市211工程院校教育部直屬院校

【文章頁數(shù)】：41 頁

【學位級別】：碩士

【文章目錄】：
目錄
中文摘要
Abstract
第1章 緒論
    1.1 問題的提出及其研究現(xiàn)狀
    1.2 研究思路和主要內(nèi)容
第2章 菲奇悖論和證實原則修正方案
    2.1 邏輯實證主義及其證實原則
        2.1.1 邏輯實證主義
        2.1.2 證實原則
    2.2 信念邏輯中的菲奇悖論——摩爾悖論
        2.2.1 摩爾悖論
        2.2.2 摩爾悖論的動態(tài)變化形式
    2.3 認知邏輯中的菲奇悖論
    2.4 證實原則的修正方案
第3章 任意公開宣告邏輯
    3.1 公開宣告邏輯
        3.1.1 公開宣告邏輯的初始語言和語義
        3.1.2 公開宣告邏輯的幾則原理
        3.1.3 公開宣告邏輯公理化演算系統(tǒng)
    3.2 任意公開宣告邏輯
        3.2.1 任意公開宣告邏輯的初始語言和語義
        3.2.2 任意公開宣告邏輯的幾則原理
        3.2.3 任意公開宣告邏輯公理化演算系統(tǒng)
第4章 對證實原則修正方案的邏輯分析
    4.1 證實原則的新修正方案
    4.2 成功公式和可認知公式
        4.2.1 成功公式
        4.2.2 可認知公式
    4.3 所有公式都是知道是否是真的公式
第5章 總結(jié)
致謝
參考文獻
攻讀碩士期間的學術(shù)成果



本文編號：3637028