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

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

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

【參考文獻(xiàn)】

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

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

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

3 唐曉嘉;可靠性知識(shí)及其基礎(chǔ)的哲學(xué)認(rèn)識(shí)演變[J];西南師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);2002年03期

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

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

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

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

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

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

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

本文編號(hào)：1276395