關(guān)于“現(xiàn)在”的時態(tài)邏輯的技術(shù)分析最早來源于Hans Kamp,他在發(fā)給Ar thur Prior的筆記中闡述了用二維語義解釋“現(xiàn)在”算子,開辟了多維算子的研究。Kamp與Prior在一個月內(nèi)進行了頻繁的交流后,Prior通過在混合時態(tài)邏輯語言中加入名字“?”表示“現(xiàn)在”的方式,提出了“現(xiàn)在”的混合時態(tài)邏輯。而Kamp繼續(xù)使用二維語義研究“現(xiàn)在”算子在時態(tài)命題邏輯,以及時態(tài)謂詞邏輯中的冗余性和公理系統(tǒng)的構(gòu)建的問題。Patrick Blackburn在Prior的基礎(chǔ)上,用滿足算子取代全局算子重新構(gòu)造了“現(xiàn)在”的混合時態(tài)邏輯的表格系統(tǒng)和公理系統(tǒng),并且通過加入“Kamp-規(guī)則”,將邏輯有效和語境有效聯(lián)系了起來,并分別用二維語義和指向語義證明了系統(tǒng)的完全性。本文對“現(xiàn)在”邏輯的研究進行了梳理,并重新證明了“現(xiàn)在”算子在時態(tài)命題邏輯中是冗余的。文章結(jié)構(gòu)安排如下:引言:介紹研究背景及研究現(xiàn)狀。第1章:簡單介紹時態(tài)邏輯和混合時態(tài)邏輯第2章:簡述Prior對“現(xiàn)在”這一問題的分析,以及他在“現(xiàn)在”的混合時態(tài)邏輯方面的工作。第3章:簡述Blackburn對“現(xiàn)在”的混合時態(tài)邏輯中兩種有效性的關(guān)聯(lián)。第4章... 

【文章來源】：西南大學(xué)重慶市 211工程院校 教育部直屬院校

【文章頁數(shù)】：40 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
引言
第1章 時態(tài)邏輯和混合時態(tài)邏輯簡介
    1.1 時態(tài)邏輯
    1.2 混合時態(tài)邏輯邏輯
第2章 Prior式“現(xiàn)在”混合時態(tài)邏輯
    2.1 Prior關(guān)于“現(xiàn)在”的分析
    2.2 Prior式“現(xiàn)在”的混合時態(tài)邏輯
第3章 Blackburn式“現(xiàn)在”混合時態(tài)邏輯
    3.1 “現(xiàn)在”混合時態(tài)邏輯語言及語義
    3.2 邏輯有效和語境有效的關(guān)聯(lián)
第4章 “現(xiàn)在”算子的冗余問題
    4.1 自然語言中的“現(xiàn)在”時態(tài)句子
    4.2 “現(xiàn)在”算子在時態(tài)命題邏輯的冗余問題
    4.3 帶“現(xiàn)在”算子的時態(tài)邏輯公理系統(tǒng)
結(jié)論
參考文獻
致謝
發(fā)表論文



本文編號：3298836