国产伦乱,一曲二曲欧美日韩,AV在线不卡免费在线不卡免费,搞91AV视频

當前位置:主頁 > 社科論文 > 邏輯論文 >

子結構邏輯的哲學基礎研究

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

【相似文獻】

相關期刊論文 前5條

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

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

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

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

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


相關博士學位論文 前1條

1 賀鵬飛;剩余格及相關超結構研究[D];西北大學;2015年


相關碩士學位論文 前1條

1 熊建;子結構邏輯的哲學基礎研究[D];華東師范大學;2018年



本文編號:2872647

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

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


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

版權申明:資料由用戶9511e***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
少妇高潮 30p| 成人在线日韩| 91久久成人电影| 成人久久天堂综合| 伊人成人中文字母| 中文字幕人妻无码一区二区| 亚洲熟女伦理片| 后入av在线播放| 伊人久久青青大香蕉| 五月婷婷综合激情色| 亚洲成人蜜桃| 欧洲成人视频在线观看网站| 久久日本乱入| 激情精品人妻| 一级性感片久久| 精品黄片久久久久久久| 久久久999视频免费观看| 男人鸡巴日美女骚逼视频| 亚洲欧洲无码精品一区二区尤物| 精品 久 国产| 午夜无码一区中文| 国产123一区| 欧美一区二区不卡蜜桃| 日韩中文久久综合不卡在线| 一区二区三区无码在s| 婷婷色婷婷久久久久久久久| αV高清无码色网| 超碰偷拍| 男人女人18级a级毛片| 欧美涩涩精品一区二区| 又黄又爽又色1000部免费| 精品国产伦一区=区三区| 97偷国自产一区二区三区| 亚洲日韩365| porn在线乱| 亚洲欧美日本中文字不卡 | 91精品国产综合久久久久久蜜臀| 91欧美人妻白浆喷潮 | 国产美国欧洲亚洲日本韩国三级片| 成人美女人妻在线视频| 日韩 欧美 妻|