本文關(guān)鍵詞：弗雷格《概念文字》理解的兩點(diǎn)注記

  更多相關(guān)文章： 弗雷格 概念文字 二階邏輯 數(shù)學(xué)歸納法

【摘要】：文章旨在簡(jiǎn)要地討論弗雷格《概念文字》,指出其中的兩個(gè)重要但被一些國(guó)內(nèi)學(xué)者誤解或忽略的貢獻(xiàn):首先我們指出,根據(jù)Boolos等人的論證,弗雷格《概念文字》中的邏輯本質(zhì)上是帶完整二階存在概括規(guī)則的二階邏輯,這點(diǎn)在國(guó)內(nèi)一些學(xué)者的著作與文章中存在誤解;其次,我們討論弗雷格如何用遺傳性概念來(lái)定義祖先關(guān)系,進(jìn)而定義自然數(shù)或有窮數(shù),并使得數(shù)學(xué)歸納法僅根據(jù)自然數(shù)的定義就得以成立,這也為弗雷格把算術(shù)還原為邏輯奠定了基礎(chǔ)。
【作者單位】： 武漢理工大學(xué)政治與行政學(xué)院;
【關(guān)鍵詞】： 弗雷格 概念文字 二階邏輯 數(shù)學(xué)歸納法
【基金】：中央高校基本科研業(yè)務(wù)費(fèi)專(zhuān)項(xiàng)資金資助,項(xiàng)目編號(hào)121419005
【分類(lèi)號(hào)】：B81-06
【正文快照】： 《概念文字》中的邏輯在1 879年發(fā)表的《概念文字》中，弗雷格給出了第一個(gè)現(xiàn)代謂詞邏輯公理系統(tǒng)。按現(xiàn)在的標(biāo)準(zhǔn)來(lái)看，他的系統(tǒng)及對(duì)系統(tǒng)的說(shuō)明中有諸多不足之處，比如，，語(yǔ)言的形成規(guī)則不明確，推理中使用的代入規(guī)則沒(méi)有被明確列舉出，進(jìn)而諸多可判定性條件是否滿(mǎn)足也不是很清

【參考文獻(xiàn)】

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

1 徐明明;弗雷格定理的再發(fā)現(xiàn)、證明及其哲學(xué)意義[J];自然辯證法通訊;2000年02期

【共引文獻(xiàn)】

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

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

2 方剛;名稱(chēng)來(lái)源問(wèn)題的哲學(xué)意蘊(yùn)——論柏拉圖《克拉底魯篇》對(duì)名稱(chēng)來(lái)源問(wèn)題的探討及其哲學(xué)意義[J];安徽大學(xué)學(xué)報(bào);2005年05期

3 黃宇紅;;再析“非�！钡脑~性[J];安徽文學(xué)(下半月);2008年05期

4 聶大海,呂蓓蓓;論語(yǔ)言意義的基本理念[J];北方論叢;2005年05期

5 何自強(qiáng);一個(gè)－階邏輯公理系統(tǒng)獨(dú)立性的證明[J];北京航空航天大學(xué)學(xué)報(bào);1994年01期

6 帥國(guó)文;摹狀詞表達(dá)概念嗎?——兼與許占君同志商榷[J];畢節(jié)師專(zhuān)學(xué)報(bào);1997年02期

7 劉q

本文編號(hào)：1085978