發(fā)布時(shí)間：2018-04-15 17:28

  本文選題：希爾柏脫和阿克曼 + 克勞斯　； 參考：《武漢大學(xué)學(xué)報(bào)(人文科學(xué)版)》2004年03期

【摘要】：希爾柏脫和阿克曼試圖導(dǎo)出一個(gè)普遍可行的判定標(biāo)準(zhǔn) ,判定一聯(lián)合演算公式是否永真。克勞斯用這個(gè)標(biāo)準(zhǔn)來論證傳統(tǒng)推論式并排除不正確的推理式。但是 ,由希爾柏脫和阿克曼提出并經(jīng)克勞斯轉(zhuǎn)述的所謂聯(lián)合演算的“判定標(biāo)準(zhǔn)”并不是一個(gè)十分可靠的標(biāo)準(zhǔn)。聯(lián)合演算的最特殊的方面是 ,其演算不可能在單一的層次上進(jìn)行 ,必須在兩個(gè)層次上同時(shí)進(jìn)行。第一個(gè)層次是命題邏輯的層次 ,第二個(gè)層次是謂詞邏輯或類邏輯的層次。希爾柏脫和阿克曼試圖在笫一個(gè)層次上解決問題 ,克勞斯則承襲其思路 ,總是想把一聯(lián)合演算的公式化為使其豎號(hào)在公式最外面的形式 ,然后在判定過程中脫去豎號(hào)。忽視聯(lián)合演算的兩個(gè)層次 ,正是現(xiàn)行聯(lián)合演算出現(xiàn)混亂和錯(cuò)誤的根源
[Abstract]:Hill and Ackerman tried to export a cypress take off generally feasible criteria to determine the combined calculus formula is eternal truth. Claus use the standard to demonstrate the traditional form of inference and rule inference is not correct. However, by Hill and Ackerman put forward by Claus and cypress take off the so-called "joint Calculau reporting criteria" is not a a very reliable standard. The most special aspect is the combined calculus, calculus may not be a single level, must be carried out simultaneously in two levels. The first level is the level of propositional logic, the second level is the predicate logic or logic of class hierarchy. Hill and Ackerman tried to solve the problem in the cypress take off the first level, Claus inherited the idea, always want to put a combined calculation formula for the vertical number on the outside of the formula form, then in the decision process Taking off the vertical number. Ignoring the two levels of the joint calculus, it is the root of the confusion and error of the current joint calculus.

【作者單位】： 東南大學(xué)哲學(xué)與科學(xué)系
【分類號(hào)】：B815

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 胡世華;信息時(shí)代的數(shù)學(xué)[J];數(shù)學(xué)進(jìn)展;1988年01期

2 尚愛華,任會(huì)昌;關(guān)于命題的討論[J];數(shù)學(xué)通報(bào);2001年08期

3 何鎮(zhèn)邦,李桂榮;框圖教學(xué)研究[J];大學(xué)數(shù)學(xué);1991年Z1期

4 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評(píng)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2005年01期

5 張鐵聲;;“典型語義悖論”及其單義句預(yù)設(shè)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2006年01期

6 李春泰;可能世界為真的確認(rèn)方式[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年04期

7 黎洪;肯定·否定的句值及其偏移現(xiàn)象[J];巢湖學(xué)院學(xué)報(bào);2002年01期

8 朱如曾;非相對(duì)論熱力學(xué)中玻意耳定律與焦耳定律的相互獨(dú)立性[J];大學(xué)物理;2005年03期

9 向容憲;符號(hào)學(xué)與語言學(xué)和邏輯學(xué)[J];貴陽(yáng)師專學(xué)報(bào)(社會(huì)科學(xué)版);1998年01期

10 馮棉;“可能世界”概念的基本涵義[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1995年06期

相關(guān)博士學(xué)位論文 前4條

1 徐爾清;基于中心語驅(qū)動(dòng)短語結(jié)構(gòu)文法的句法和語義分析[D];上海外國(guó)語大學(xué);2007年

2 何煉紅;工業(yè)版權(quán)研究[D];西南政法大學(xué);2007年

3 牛保義;相信和懷疑：附加疑問句認(rèn)知研究[D];河南大學(xué);2002年

4 陳樹偉;基于格蘊(yùn)涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 周麗莉;兩種模糊命題邏輯的公式的概率真度[D];遼寧師范大學(xué);2007年

2 李華英;軍人信息管理評(píng)估模型的研究[D];大連理工大學(xué);2007年

3 王福亮;結(jié)構(gòu)思想下檔案歷史聯(lián)系學(xué)說的推演[D];天津師范大學(xué);2007年

4 楊凱;喬姆斯基生成語法的邏輯探析[D];華南師范大學(xué);2007年

5 劉紅兵;模糊錯(cuò)誤邏輯研究及其在防范證券投資風(fēng)險(xiǎn)中的應(yīng)用[D];廣東工業(yè)大學(xué);2000年

6 韓波;不完全信息數(shù)據(jù)庫(kù)研究[D];南京航空航天大學(xué);2003年

7 常瑤芝;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

8 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

9 韓瑩;擾動(dòng)模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

10 閆浮;離散數(shù)學(xué)體系結(jié)構(gòu)[D];北京化工大學(xué);2001年

【相似文獻(xiàn)】

相關(guān)期刊論文 前7條

1 馬雷;論聯(lián)合演算對(duì)傳統(tǒng)推論學(xué)說的系統(tǒng)化處理[J];南京大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1994年01期

2 ;華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版)一九九四年1～6期 總目錄[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1994年06期

3 馬雷;亞里士多德模態(tài)三段論的化歸[J];黃岡師范學(xué)院學(xué)報(bào);2003年02期

4 馬雷;聯(lián)合演算何以可能[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2003年03期

5 馬雷;現(xiàn)行聯(lián)合演算的判定標(biāo)準(zhǔn)不可靠的理由[J];武漢大學(xué)學(xué)報(bào)(人文科學(xué)版);2004年03期

6 馬雷;亞里士多德模態(tài)三段論的形式系統(tǒng)[J];合肥學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2005年01期

7 馬雷;;聯(lián)合演算對(duì)傳統(tǒng)詞項(xiàng)邏輯的等價(jià)描述[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2006年02期

，

本文編號(hào)：1755085