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
丰满爆乳无码一区二区三区| 久久男人av久久久久久男| 激情五月天网| 免费av一区二区三区无码| 少妇人妻无码一区二区三区| 在线精品自偷自拍无码中文| 欧美黑人又粗又硬xxxxx喷水 | 国产欧美一区二区三区在线看| 你懂得| 97人妻一区二区精品视频| 国产欧美精品一区二区三区 | 麻豆产精品一二三产区区| 田阳县| 平阳县| 冀州市| 莱州市| 97精品尹人久久大香线蕉| 神农架林区| 瑞金市| 国产精品亚洲精品日韩已满| 阿合奇县| 奉化市| 十八禁真人啪啪999免费网站| 久久电影网午夜鲁丝片免费 | 天门市| 综合亚洲AV图片区| 国产亚洲精品福利在线无卡一| 欧美色蜜桃97| 欧美亚洲人成网站在线观看| 亚洲人成网777777国产精品| 国产成人亚洲综合a∨| 2021久久超碰国产精品最新| 国产美女久久精品香蕉| 精品人妻潮喷久久久又裸又黄| 337P日本大胆欧美裸体艺术| 国产精品无码无需播放器| 国产精品视频色尤物yw| 偷偷要色偷偷中文无码| 99久久亚洲综合精品成人网| 国产男女猛烈无遮挡免费网站| 色偷偷一区二区无码视频|