1990年,Kosta Do?en首先提出“子結(jié)構(gòu)邏輯”一詞,子結(jié)構(gòu)邏輯的特點是:從結(jié)構(gòu)規(guī)則和聯(lián)結(jié)詞規(guī)則兩個層面對邏輯系統(tǒng)進行分析研究,這種借助結(jié)構(gòu)規(guī)則來研究邏輯推理的方法,可追溯至根岑于20世紀30年代提出的的貫列演算。子結(jié)構(gòu)邏輯聚焦于結(jié)構(gòu)規(guī)則的行為,通過對各類結(jié)構(gòu)規(guī)則的研究,可以對一大類邏輯進行整體上的處理,從而為現(xiàn)代邏輯的眾多分支的比較研究提供了有力工具。子結(jié)構(gòu)邏輯的研究在國外已有數(shù)十年歷史,但在國內(nèi)還方興未艾。本文從歷史和哲學的角度引介這一主題,追溯其思想淵源和發(fā)展動因,比較分析希爾伯特式公理系統(tǒng)、根岑式自然演繹和貫列演算的特點,進而闡明當代子結(jié)構(gòu)邏輯的基礎(chǔ)理論,展現(xiàn)其對貫列演算的改進之處;在此基礎(chǔ)上,從多角度分析結(jié)構(gòu)規(guī)則受到限制的原因,從而在結(jié)構(gòu)規(guī)則層面展示某些子結(jié)構(gòu)邏輯分支的特點及其背后的哲學考量——由于經(jīng)典邏輯在刻畫某些特殊推理時存在局限,這在結(jié)構(gòu)規(guī)則層面往往表現(xiàn)為對于某種或某些結(jié)構(gòu)規(guī)則的拒斥;最后辨析“貫列”、“聯(lián)結(jié)詞規(guī)則”、“結(jié)構(gòu)規(guī)則”等基礎(chǔ)概念,對相關(guān)哲學討論——如“tonk”難題、證明論語義學的發(fā)展、結(jié)構(gòu)規(guī)則在證明中的地位等,進行深入研究,同時討論邏輯后承概念多元化的可能性,并試圖從結(jié)構(gòu)規(guī)則層面分析邏輯的本質(zhì)——基本的形式演繹就是結(jié)構(gòu)性的演繹,相對于聯(lián)結(jié)詞等邏輯常項,結(jié)構(gòu)規(guī)則從更高層次體現(xiàn)了演繹的特點。
【學位單位】：華東師范大學
【學位級別】：碩士
【學位年份】：2018
【中圖分類】：B81-0
【文章目錄】：
內(nèi)容摘要
abstract
1 緒論
    1.1 研究意義
    1.2 研究現(xiàn)狀
    1.3 研究框架
2 子結(jié)構(gòu)邏輯概述
    2.1 子結(jié)構(gòu)邏輯溯源——根岑的貫列演算
        2.1.1 從公理化系統(tǒng)到自然演繹
        2.1.2 從自然演繹到貫列演算
    2.2 當代子結(jié)構(gòu)邏輯的理論特征
        2.2.1 結(jié)構(gòu)規(guī)則
        2.2.2 聯(lián)結(jié)詞規(guī)則
3 子結(jié)構(gòu)邏輯溯因
    3.1 結(jié)構(gòu)規(guī)則在自然語言中的局限性
    3.2 拒斥弱化規(guī)則的理由
    3.3 拒斥收縮規(guī)則的理由
    3.4 拒斥交換規(guī)則的理由
4 貫列、聯(lián)結(jié)詞規(guī)則和結(jié)構(gòu)規(guī)則的哲學辨析
    4.1 “貫列”語義的不同解讀
        4.1.1 外延結(jié)構(gòu)下的“貫列”
        4.1.2 內(nèi)涵結(jié)構(gòu)下的“貫列”
    4.2 聯(lián)結(jié)詞規(guī)則和聯(lián)結(jié)詞的定義
        4.2.1 “tonk”難題
        4.2.2 “完全證成”的語義測試
        4.2.3 保守性和唯一性
        4.2.4 Tonk-邏輯——一種新的子結(jié)構(gòu)邏輯？
    4.3 證明論語義學視角下的結(jié)構(gòu)規(guī)則
        4.3.1 從模型論語義學到證明論語義學
        4.3.2 結(jié)構(gòu)規(guī)則與聯(lián)結(jié)詞規(guī)則的聯(lián)系
        4.3.3 從結(jié)構(gòu)規(guī)則看邏輯的本質(zhì)
結(jié)語
參考文獻
后記

【相似文獻】

相關(guān)期刊論文 前5條

1 馮棉;;子結(jié)構(gòu)邏輯的研究方法與應(yīng)用前景[J];哲學動態(tài);2007年06期

2 劉冬寧;湯庸;;智能主體的信念認知時態(tài)子結(jié)構(gòu)邏輯模型[J];計算機應(yīng)用研究;2010年07期

3 滕少華;涂宏俊;劉冬寧;;基于子結(jié)構(gòu)邏輯的不確定性語義時態(tài)查詢技術(shù)研究[J];江西師范大學學報(自然科學版);2017年06期

4 姚從軍;;混合范疇類型邏輯系統(tǒng)的構(gòu)造及應(yīng)用[J];湖北大學學報(哲學社會科學版);2013年05期

5 劉冬寧;湯庸;滕少華;林哲;;基于時態(tài)數(shù)據(jù)庫的極小子結(jié)構(gòu)邏輯系統(tǒng)[J];計算機學報;2013年08期

相關(guān)博士學位論文 前1條

1 賀鵬飛;剩余格及相關(guān)超結(jié)構(gòu)研究[D];西北大學;2015年

相關(guān)碩士學位論文 前1條

1 熊建;子結(jié)構(gòu)邏輯的哲學基礎(chǔ)研究[D];華東師范大學;2018年

本文編號：2872647