本文關(guān)鍵詞：加名字核證邏輯的極小系統(tǒng)

  更多相關(guān)文章： 內(nèi)在化 定理證明 公理系統(tǒng) 重言式 可能世界 技術(shù)原因 完全性 常項 命題變元 可證

【摘要】：正美國邏輯學家M·斐汀在2010年對核證邏輯與混合邏輯的組合進行了初步嘗試,給出了第一個混合版本的核證邏輯系統(tǒng)JT及其完全性和顯式性定理的證明。(cf.Fitting,2010)由于技術(shù)原因,這個邏輯在證明內(nèi)在化定理時要用到對自返性典范的事實公理,所以它還不是這一族邏輯中最小的系統(tǒng)。本文旨在把斐汀建立的邏輯弱化到核證邏輯J的對應,給出該族邏輯的一個極小系統(tǒng),進而簡化系統(tǒng)JT的元定理證明,從而解決斐汀在其文章最后提出來的一個主要問題。
【作者單位】： 中國社會科學院研究生院哲學系;中國社會科學院哲學研究所;
【基金】：國家社會科學基金項目“可能世界的名字”(編號12BZX061)的研究成果
【分類號】：B81-05
【正文快照】： 美國邏輯學家M?斐汀在2010年對核證邏輯與混合邏輯的組合進行了初步嘗試,給出了第一個混合版本的核證邏輯系統(tǒng)JT及其完全性和顯式性定理的證明。(cf.Fitting,2010)由于技術(shù)原因,這個邏輯在證明內(nèi)在化定理時要用到對自返性典范的事實公理,所以它還不是這一族邏輯中最小的系統(tǒng)。

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 劉立輝;;英國巴羅克時期詩歌的時間內(nèi)在化構(gòu)建[J];外國文學;2014年03期

2 黃琦;;試論閱讀課型中實現(xiàn)語言內(nèi)在化的有效途徑[J];英語新世紀;2012年05期

3 黃映輝;學習型組織的知識創(chuàng)新機理[J];遼寧師范大學學報;2004年02期

4 雷靜;;理學視野中天下責任的道德實踐[J];華北電力大學學報(社會科學版);2013年02期

5 陳剛;;作為文字語言的語調(diào)[J];學海;2010年05期

6 楊琛;;略論新詩的節(jié)奏與格律[J];雞西大學學報;2011年08期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 金艷燕;李曉曉;呂瓊;徐志卿;;5羥色胺1A受體亞型的內(nèi)在化研究[A];Proceedings of the 8th Biennial Conference of the Chinese Society for Neuroscience[C];2009年

中國碩士學位論文全文數(shù)據(jù)庫 前4條

1 李春蓉;環(huán)境成本內(nèi)在化政策研究[D];西南政法大學;2006年

2 遲志鋒;基于環(huán)境成本內(nèi)在化視角的勞動密集型產(chǎn)業(yè)比較優(yōu)勢分析[D];中國海洋大學;2008年

3 曾翼;洗錢與反洗錢的外部性及其內(nèi)在化問題研究[D];湖南大學;2007年

4 張楠;環(huán)境成本內(nèi)在化及其對國際貿(mào)易的影響[D];江南大學;2008年

，

本文編號：1218883