本文關(guān)鍵詞：塔斯基關(guān)于類演算語(yǔ)言的真句子定義，，由筆耕文化傳播整理發(fā)布。

【摘要】：本文的主要內(nèi)容是:首先把塔斯基定義類演算語(yǔ)言真句子的過(guò)程系統(tǒng)化,并對(duì)其中的一些問(wèn)題進(jìn)行探討;然后,證明這個(gè)真句子定義具有恰當(dāng)性所要求的性質(zhì);最后,針對(duì)類演算語(yǔ)言,在不同的真句子定義方法之間進(jìn)行一些比較。 塔斯基認(rèn)為,令人滿意的真句子定義應(yīng)該滿足兩個(gè)條件:(1)形式上正確:(2)實(shí)質(zhì)上適當(dāng)。所謂形式上正確,即遵守一般的定義規(guī)則;實(shí)質(zhì)上適當(dāng),即所有(T)形等值式是該定義的邏輯后承。塔斯基發(fā)現(xiàn),在一個(gè)語(yǔ)言內(nèi)部定義該語(yǔ)言的“真”必然導(dǎo)致該語(yǔ)言具有語(yǔ)義封閉性,而對(duì)日常語(yǔ)言的分析已經(jīng)表明,在任意一個(gè)具有語(yǔ)義封閉性的語(yǔ)言中都可以成功地構(gòu)造出語(yǔ)義悖論,因此,形式語(yǔ)言的真句子定義只能在其元語(yǔ)言中得到。這就是著名的語(yǔ)言分層思想。 塔斯基嚴(yán)格地構(gòu)造出了類演算語(yǔ)言,然后又構(gòu)造出了類演算語(yǔ)言的元語(yǔ)言,并且在元語(yǔ)言中定義出類演算語(yǔ)言的語(yǔ)句函項(xiàng)、自由變?cè)�、語(yǔ)句、運(yùn)算、后承等重要概念。通過(guò)分析語(yǔ)句的結(jié)構(gòu),塔斯基發(fā)現(xiàn)很難直接定義出類演算語(yǔ)言的真概念,而語(yǔ)句函項(xiàng)所具有的可遞歸形成的結(jié)構(gòu)性質(zhì)可以使我們得到脫離困境的辦法:先采用遞歸方法針對(duì)語(yǔ)句函項(xiàng)定義出滿足概念,然后把語(yǔ)句作為語(yǔ)句函項(xiàng)的特殊形式,借助于滿足概念最終可以得到類演算語(yǔ)言的真概念定義。塔斯基得到的真概念定義是:x是類演算語(yǔ)言的任一語(yǔ)句,x為真當(dāng)且僅當(dāng)每一個(gè)類的無(wú)窮序列都滿足x。這個(gè)定義完全滿足形式正確性條件和實(shí)質(zhì)適當(dāng)性條件,并且由此得到的真句子類Tr是一個(gè)一致的和完全的演繹系統(tǒng),這些性質(zhì)使我們相信,它是一個(gè)恰當(dāng)?shù)恼娓拍疃x。 現(xiàn)在要定義類演算語(yǔ)言的真句子,一般要引進(jìn)解釋概念。在解釋概念的基
【關(guān)鍵詞】：塔斯基 類演算 定義 語(yǔ)句函項(xiàng) 語(yǔ)句 滿足 真
【學(xué)位授予單位】：四川大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2005
【分類號(hào)】：B812
【目錄】：

• 引言7-11
• 第一章 真句子定義應(yīng)該滿足的條件11-19
• 第一節(jié) 對(duì)類演算語(yǔ)言的簡(jiǎn)要介紹11-12
• 第二節(jié) 實(shí)質(zhì)適當(dāng)性條件12-14
• 第三節(jié) 形式正確性條件14-19
• 第二章 類演算語(yǔ)言及其元語(yǔ)言的構(gòu)造19-30
• 第一節(jié) 元語(yǔ)言的構(gòu)造19-22
• 第二節(jié) 類演算語(yǔ)言的構(gòu)造22-30
• 第三章 真句子定義的實(shí)現(xiàn)30-34
• 第四章 真句子定義的性質(zhì)34-43
• 第一節(jié) 對(duì)實(shí)質(zhì)適當(dāng)性條件和形式正確性條件的滿足34-35
• 第二節(jié) Tr是一個(gè)一致且完全的演繹系統(tǒng)35-43
• 第五章 評(píng)論部分43-50
• 參考文獻(xiàn)50-53
• 致謝53-54
• 聲明54

【相似文獻(xiàn)】

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

1 圖·烏力吉;;論“空”概念的邏輯實(shí)質(zhì)[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

2 黃展驥;;略評(píng)“層級(jí)”、“三值”、“間隙”、“情景”諸方案——“自涉”悖論雜談[A];2003年邏輯研究專輯[C];2003年

3 郭世銘;;多主體認(rèn)知邏輯系統(tǒng)(語(yǔ)法部分)[A];1998年邏輯研究專輯[C];1998年

4 蘇新春;;元語(yǔ)言研究的三種理解及釋義型元語(yǔ)言研究評(píng)述[A];第三屆全國(guó)語(yǔ)言文字應(yīng)用學(xué)術(shù)研討會(huì)論文集[C];2004年

5 張鐵聲;;典型悖論之統(tǒng)一消解原理:證偽預(yù)設(shè)——悖論研究的誤區(qū)與愛因斯坦的啟示[A];2005年邏輯研究專輯[C];2005年

6 黃展驥;;說(shuō)謊者悖論的“歧解”和“消解”——邏輯、辯證兩派“矛盾觀”千古之論爭(zhēng)![A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

7 張力鋒;;一階量詞的邏輯哲學(xué)考察[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

8 俞穎杰;;達(dá)米特論指稱和涵義[A];第二屆中國(guó)科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 留美遺傳學(xué)碩士 游識(shí)猷;交友還需基因批準(zhǔn)[N];東方早報(bào);2011年

2 北京大學(xué)醫(yī)學(xué)人文研究院 張大慶　王一方;別讓醫(yī)學(xué)背上罪惡的枷鎖[N];健康報(bào);2010年

3 本刊記者 王輝 編譯;NBA頭號(hào)經(jīng)紀(jì)人戴維·福克二十年沉浮[N];市場(chǎng)報(bào);2002年

4 記者 茹晴;美專家斷言轉(zhuǎn)基因作物安全[N];中國(guó)經(jīng)濟(jì)時(shí)報(bào);2001年

5 辛望旦;悖論的意義與理性形式的演化[N];社會(huì)科學(xué)報(bào);2000年

6 沈敏;“美國(guó)民權(quán)運(yùn)動(dòng)之母”走了[N];新華每日電訊;2005年

7 記者 王薇　楊晴川 李良勇;奧巴馬就職典禮定主題：“重續(xù)美國(guó)承諾”[N];新華每日電訊;2008年

8 復(fù)旦大學(xué)當(dāng)代國(guó)外馬克思主義研究中心 俞吾金;“人一次也不能踏進(jìn)同一條河流”嗎[N];中國(guó)社會(huì)科學(xué)報(bào);2010年

9 鄧玉山;阻撓私刑立法數(shù)十年，美參院終于致歉[N];新華每日電訊;2005年

10 楊子巖;強(qiáng)權(quán)就能忽視人權(quán)？[N];人民日?qǐng)?bào)海外版;2011年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 馬亮;論卡爾納普的意義理論[D];中國(guó)社會(huì)科學(xué)院研究生院;2003年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 李主斌;塔斯基：語(yǔ)義性真理論與符合論[D];復(fù)旦大學(xué);2010年

2 琚鳳魁;塔斯基關(guān)于類演算語(yǔ)言的真句子定義[D];四川大學(xué);2005年

3 李娟;塔斯基的真語(yǔ)義理論[D];黑龍江大學(xué);2012年

4 張娟;塔斯基真之語(yǔ)義理論述評(píng)[D];中國(guó)政法大學(xué);2009年

5 陸曉娟;塔斯基的真理論語(yǔ)義學(xué)及其意義[D];蘇州大學(xué);2007年

6 張方成;部分相干光在湍流大氣中傳輸?shù)钠穸茸兓芯縖D];西安理工大學(xué);2008年

7 林偉;悖論探究[D];復(fù)旦大學(xué);2009年

8 孫琳琳;戴維森意義理論研究[D];蘇州大學(xué);2010年

9 張文琴;克里普克解悖方案研究[D];華東師范大學(xué);2007年

10 翟鵬;理解的條件[D];山西大學(xué);2008年

  本文關(guān)鍵詞：塔斯基關(guān)于類演算語(yǔ)言的真句子定義，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：385061