a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

子結(jié)構(gòu)邏輯的哲學(xué)基礎(chǔ)研究

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



本文編號:2872647

資料下載
論文發(fā)表

本文鏈接:http://www.wukwdryxk.cn/shekelunwen/ljx/2872647.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶9511e***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請E-mail郵箱bigeng88@qq.com
少妇aⅴ| 亚洲Ⅴ国产V天堂A无码二区| 亚洲色域p100| 蕾丝av无码专区在线观看| 亚洲综合国产成人丁香五月激情| 米奇777超碰欧美日韩亚洲 | 亚洲中文字幕乱码一区| 久久久久久一区二区三区| 精品国产自在精品国产精野外直播| 香蕉影院在线观看| 成人国产精品日本在线观看 | 99久久精品国产综合| 日韩精品无码人妻免费视频| 亚洲AV无码专区在线电影天堂| 亚洲日韩国产二区无码| 日韩a区| 精品国产欧美一区二区三区成人 | 美少妇| 国产淫片av片久久久久久| 欧美肥妇毛多水多BBXX| 国产99久久久久久免费看| AV无码人妻中文字幕| 亚洲一区无码中文字幕| 黄页在线观看| 电影天堂在线| 国产伦精品一区二区三区高清| 想爱爱| 欧美一区二区三区公司| 成人无码AV一区二区三区| 含羞草传媒每天免费三次| 日韩AV无码成人精品国产| 国产丝袜在线精品丝袜不卡| 扒开双腿猛进入喷水高潮视频| 梁山县| 国产精品久久久爽爽爽麻豆色哟哟| 日韩αv| 亚洲精品久久久精品| 狠狠色综合7777久夜色撩人Ⅰ| 大桥未久亚洲一区二区| 久久亚洲中文字幕精品有坂深雪| 久久精品夜夜夜夜夜久久|