發(fā)布時(shí)間：2020-11-06 04:24

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：2872647