發(fā)布時間：2017-12-11 00:06

  本文關(guān)鍵詞：辛提卡IF一階邏輯研究

  更多相關(guān)文章： 辛提卡 IF一階邏輯 經(jīng)典一階邏輯 博弈論語義學 語形 語義

【摘要】： 雅各·辛提卡(Jaakko Hintikka 1929—)是當今國際邏輯學界和哲學舞臺上極為活躍和富有影響的著名邏輯學家和哲學家。上世紀90年代他在博弈論語義學(game-theoretical semantics) 的基礎上提出并建立了IF-階邏輯(Independence-Friendly first-order logic)，并宣稱它是真正基本的一階邏輯，由此將導致邏輯和數(shù)學基礎研究中的一場杰佛遜意義上的革命。本文在古有第一手資料的基礎之上，運用現(xiàn)代邏輯的方法，主要從語形和語義兩方面對IF一階邏輯進行研究。 全文共四部分。 第一部分：從對量詞的討論入手，分析了IF一階邏輯與經(jīng)典一階邏輯在形式上的區(qū)別和聯(lián)系。 第二部分：介紹了博弈論語義學的哲學背景，，并探導了博弈論語義學是如何用于解釋經(jīng)典一階邏輯和IF一階邏輯的，最后證明了IF一階邏輯的不完全性。 第三部分：在前面研究的基礎之上，對IF一階邏輯展開一些討論和評價。指出IF一階邏輯的真定義依然是二階定義；IF一階邏輯上的有效式只是特定模型上的有效；IF一階邏輯無法建構(gòu)起一個真正的邏輯系統(tǒng)；IF一階邏輯不是真正基本的一階邏輯。但博弈論語義學可以作為真之條件的語義分析工具，IF一階邏輯表達能力大大得到了增強，并為一階邏輯和二階邏輯之間架起了一座橋梁。 第四部分：介紹了IF一階邏輯在認知邏輯和數(shù)學基礎方面的一些作用。IF一階邏輯可用于分析認知邏輯中的Wh一結(jié)構(gòu)和證明選擇公理是一有效的邏輯原則。
【學位授予單位】：西南師范大學
【學位級別】：碩士
【學位授予年份】：2003
【分類號】：B812

【參考文獻】

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

1 唐曉嘉;認知命題的邏輯語義特征分析[J];西南師范大學學報(人文社會科學版);1999年04期

2 唐曉嘉;試析辛提卡的語言博弈論[J];西南師范大學學報(人文社會科學版);2000年04期

3 唐曉嘉;可靠性知識及其基礎的哲學認識演變[J];西南師范大學學報(人文社會科學版);2002年03期

4 陳波;亨迪卡的IF邏輯述評[J];自然辯證法通訊;2000年03期

5 唐曉嘉;語言博弈論與科學博弈[J];哲學動態(tài);2001年05期

6 陳波;在邏輯和哲學之間──訪亨迪卡教授[J];哲學動態(tài);1998年07期

7 J.亨迪卡,G.桑朵,陳波;邏輯學中的一場革命?[J];哲學譯叢;1999年04期

8 王路;邏輯的創(chuàng)新與應用——辛梯卡教授訪談錄[J];世界哲學;2002年05期

9 唐曉嘉;從《論道》看金岳霖的經(jīng)驗主義哲學思想[J];哲學研究;1998年11期

10 劉壯虎;必然性的邏輯分析[J];哲學研究;2002年02期

本文編號：1276395