本文關(guān)鍵詞：公理化真理論研究新進(jìn)展

  更多相關(guān)文章： 公理化方法 說謊者 組合理論 truth 句法理論 哥德爾編碼 語法概念 塔爾斯基 形式語言 克里普克

【摘要】：正公理化真理論(axiomatic theory of truth)興起于20世紀(jì)80年代,其核心思想是把"真"作為一個(gè)初始的謂詞,直接添加到一種基礎(chǔ)理論(base theory)的語言中,并以若干刻畫真概念基本事實(shí)的語句作為公理,對基礎(chǔ)理論進(jìn)行擴(kuò)充。這里所謂的基礎(chǔ)理論是一種句法理論(sntactic theory),用于提供研究真概念所必需的精確而嚴(yán)格的形式語言。公理化真理論以克服說謊者悖論及其各種變體為目標(biāo),在系統(tǒng)研究真概念的功能和規(guī)律的基礎(chǔ)上,逐漸形成了四大理論~([1]),本文稱之為"經(jīng)典理論",分別是:去
【作者單位】： 南開大學(xué)哲學(xué)院;
【關(guān)鍵詞】： 公理化方法;說謊者;組合理論;truth;句法理論;哥德爾編碼;語法概念;塔爾斯基;形式語言;克里普克;
【基金】：國家社會(huì)科學(xué)基金項(xiàng)目“公理化真理論研究”(12BZX059)資助
【分類號】：B81
【正文快照】： 公理化真理論(axiomatic theory of truth)興起于20世紀(jì)80年代,其核心思想是把“真”作為一個(gè)初始的謂詞,直接添加到一種基礎(chǔ)理論(base theory)的語言中,并以若干刻畫真概念基本事實(shí)的語句作為公理,對基礎(chǔ)理論進(jìn)行擴(kuò)充。這里所謂的基礎(chǔ)理論是一種句法理論(syntactic theory),

【相似文獻(xiàn)】

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

1 張平,文曉宇;關(guān)于幾何公理化方法的產(chǎn)生、發(fā)展和中學(xué)幾何公理處理的xO究[J];齊齊哈爾師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1987年S1期

2 張榮華;數(shù)學(xué)公理化方法淺談[J];九江師專學(xué)報(bào);1990年06期

3 林夏水;公理化方法的哲學(xué)分析[J];福建師大學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1982年01期

4 魯興啟;演繹科學(xué)方法論探尋[J];國內(nèi)哲學(xué)動(dòng)態(tài);1985年05期

5 宋立軍;任沖;;公理化運(yùn)動(dòng)的哲學(xué)反思[J];自然辯證法研究;2013年10期

6 邱克森;形式化、公理化無法擺脫科學(xué)理論錯(cuò)誤[J];安徽大學(xué)學(xué)報(bào);2001年05期

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

1 李建華;;公理化方法的歷史發(fā)展[A];1997年邏輯研究專輯[C];1997年

，

本文編號：1060020