【相似文獻(xiàn)】

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

1 M.比尼;陳波;中戶川孝治;;弗雷格,他的邏輯和他的哲學(xué)——邁克·比尼訪談錄[J];世界哲學(xué);2010年02期

2 張志偉;從語言的觀點(diǎn)看邏輯[J];河南師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2002年02期

3 梁立明;集合論悖論若干哲學(xué)問題的思考[J];河南師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1987年03期

4 林夏水;數(shù)學(xué)基礎(chǔ)的哲學(xué)問題[J];哲學(xué)動(dòng)態(tài);1985年03期

5 郭金彬 ,陳體滇;二律背反與悖論[J];福建師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1981年04期

6 ;紀(jì)念弗雷格誕辰160周年[J];科學(xué)文化評(píng)論;2008年06期

7 劉曉力;Godel對(duì)邏輯實(shí)證主義的批判[J];自然辯證法研究;1997年01期

8 李慧華;;弗雷格《概念文字》的構(gòu)造及其意義[J];畢節(jié)學(xué)院學(xué)報(bào);2009年03期

9 沈健;桂起權(quán);;量子邏輯:一種全新的邏輯構(gòu)造[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2011年01期

10 孫金森;墨辯邏輯與亞里士多德邏輯 數(shù)學(xué)基礎(chǔ)的比較研究[J];學(xué)術(shù)界;1988年06期

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

1 郭澤深;;邏輯學(xué)與數(shù)學(xué)基礎(chǔ)問題的歷史聯(lián)系[A];1993年邏輯研究專輯[C];1993年

2 孟曉青;;Topos理論的哲學(xué)意義以及辯證法的形式化[A];1994年邏輯研究專輯[C];1994年

3 莫紹揆;;傳統(tǒng)邏輯與數(shù)理邏輯[A];邏輯學(xué)文集[C];1978年

4 胡世華;;作為現(xiàn)代邏輯學(xué)的數(shù)理邏輯——在一九七八年全國邏輯討論會(huì)上的發(fā)言[A];邏輯學(xué)文集[C];1978年

5 王學(xué)剛;;量詞與字母[A];1993年邏輯研究專輯[C];1993年

6 王雨田;;當(dāng)前的邏輯教學(xué)科研向何處去?[A];1993年邏輯研究專輯[C];1993年

7 周肆根;;弗雷格邏輯主義的理論反思[A];1996年邏輯研究專輯[C];1996年

8 王憲鈞;;數(shù)理邏輯和形式邏輯——在一九七八年全國邏輯討論會(huì)上的發(fā)言[A];邏輯學(xué)文集[C];1978年

9 劉曉力;;一份珍貴的史料與一段誤讀的歷史[A];2000年邏輯研究專輯[C];2000年

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

1 沈躍春;現(xiàn)代邏輯學(xué)及其發(fā)展趨勢(shì)[N];人民日?qǐng)?bào);2004年

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

1 張莉敏;悖論與數(shù)理邏輯的發(fā)展探析[D];河南大學(xué);2003年

2 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

3 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學(xué);2001年

4 郭美云;辛提卡IF一階邏輯研究[D];西南師范大學(xué);2003年

5 王慧展;羅素的數(shù)學(xué)邏輯主義本質(zhì)探析[D];山西大學(xué);2010年