【共引文獻(xiàn)】

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

1 黃展驥!深圳市太白03郵箱518019;“賦值”與“非賦值”平分秋色?——評(píng)克里普克的“悖論觀”[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1999年05期

2 李志昌;論遞歸方法的實(shí)質(zhì)和普遍意義[J];楚雄師專學(xué)報(bào);2000年01期

3 劉社軍;也談“可能世界”之定義問(wèn)題[J];廣西大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1997年03期

4 何華燦,劉永懷,何大慶;經(jīng)驗(yàn)性思維中的泛邏輯[J];中國(guó)科學(xué)E輯;1996年01期

5 程顯毅,邵應(yīng)清;推理與第四次數(shù)學(xué)危機(jī)[J];江蘇理工大學(xué)學(xué)報(bào);1998年05期

6 羅翊重;對(duì)形式邏輯和內(nèi)容邏輯之對(duì)象論的數(shù)理分析——兼論現(xiàn)代哲學(xué)邏輯的發(fā)展趨勢(shì)[J];昆明師范高等�？茖W(xué)校學(xué)報(bào);2004年03期

7 張曉芒;略論問(wèn)句的邏輯合理性問(wèn)題[J];南開(kāi)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2002年06期

8 孫盧東;肖東生;;論風(fēng)險(xiǎn)的產(chǎn)生及風(fēng)險(xiǎn)復(fù)雜性的根源[J];南華大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2006年01期

9 樊明亞;假話、謊話與反話的邏輯分析[J];上饒師范學(xué)院學(xué)報(bào);1999年04期

10 凌德祥;論悖論的基礎(chǔ)及其理論意義[J];學(xué)術(shù)交流;1990年03期

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

1 郭元林;復(fù)雜性科學(xué)知識(shí)論[D];中國(guó)社會(huì)科學(xué)院研究生院;2003年

2 張本祥;不可計(jì)算復(fù)雜性的機(jī)理與意義[D];華南師范大學(xué);2006年

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

1 劉素姣;一階謂詞邏輯在人工智能中的應(yīng)用[D];河南大學(xué);2004年

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

3 李?lèi)?ài)仙;特異水稻的細(xì)胞胚胎學(xué)研究及其雜交后代的遺傳分析[D];四川農(nóng)業(yè)大學(xué);2005年

4 曾柱;論虛概念[D];廣西師范大學(xué);2007年

5 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

6 趙榮盛;博弈邏輯中局中人有限理性研究[D];廣西師范大學(xué);2008年

【相似文獻(xiàn)】

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

1 賈國(guó)恒;;哥德?tīng)柌煌耆远ɡ碓u(píng)析[J];天中學(xué)刊;2008年02期

2 溫邦彥;;也談?wù)_理解哥德?tīng)柌煌耆远ɡ怼c陳慕澤先生商榷[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年04期

3 李慧華;;自指、悖論與哥德?tīng)柖ɡ韀J];貴州大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2010年02期

4 溫邦彥;;禁止使用自指代命題——說(shuō)謊者悖論的排除和哥德?tīng)柖ɡ淼挠懻揫J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2006年05期

5 劉壯虎;;哥德?tīng)柌煌耆远ɡ硌杏憰?huì)在蘇州召開(kāi)[J];哲學(xué)動(dòng)態(tài);1990年12期

6 溫邦彥;;說(shuō)謊者悖論的排除和哥德?tīng)柖ɡ淼馁|(zhì)疑[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2008年03期

7 甘進(jìn);張學(xué)立;;厘清形式系統(tǒng)的幾個(gè)概念[J];昆明學(xué)院學(xué)報(bào);2010年05期

8 W.V.O.蒯因,孫偉平;論現(xiàn)代邏輯的應(yīng)用[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年05期

9 羅翊重;;對(duì)哥德?tīng)柖ɡ淼霓q證邏輯形式化解讀[J];昆明學(xué)院學(xué)報(bào);2011年04期

10 倪培民 ,柳岑;關(guān)于研究“矛盾”的現(xiàn)代哲學(xué)價(jià)值的對(duì)話——信訪留美哲學(xué)博士生倪培民[J];社會(huì)科學(xué);1989年05期

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

1 羅翊重;;從辯證邏輯形式化視野看哥德?tīng)柖ɡ韀A];中國(guó)思維科學(xué)研究論文選2011年專輯[C];2012年

2 劉曉力;;人工智能的邏輯極限[A];2001年邏輯研究專輯[C];2001年

3 吳允曾;;關(guān)于形式化的幾個(gè)問(wèn)題[A];金岳霖學(xué)術(shù)思想研究——金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];1985年

4 ;書(shū)訊[A];1996年邏輯研究專輯[C];1996年