本文關(guān)鍵詞：經(jīng)典邏輯和變異邏輯，由筆耕文化傳播整理發(fā)布。

《哲學(xué)研究》 2004年10期

投稿

經(jīng)典邏輯和變異邏輯

 

【摘要】：正 一、一些定義性澄清 經(jīng)典邏輯是指由弗雷格、皮爾士、羅素等人創(chuàng)立的現(xiàn)代邏輯系統(tǒng),由統(tǒng)一的命題演算和謂詞演算構(gòu)成,叫做“一階邏輯”,其特點(diǎn)是使用特制的人工符號(hào)語(yǔ)言,運(yùn)用公理化、形式化的方法。與后來(lái)出現(xiàn)的各種邏輯系統(tǒng)相比,經(jīng)典邏輯至少含有下述假定或預(yù)設(shè): (1)外延原則,即它在處理語(yǔ)詞、語(yǔ)句時(shí),只考慮它們的外延,并認(rèn)為語(yǔ)詞的外延是它所指稱的對(duì)象,語(yǔ)句的外延是它所具有的真值,如果在某一復(fù)合語(yǔ)句中用具有同樣指稱但有不同涵義的語(yǔ)詞或語(yǔ)句去替換另一語(yǔ)詞或子語(yǔ)句,該復(fù)合語(yǔ)句的真值保持不變。這就是著名的“外延論題”。

【作者單位】： 北京大學(xué)哲學(xué)系
【關(guān)鍵詞】：
【分類號(hào)】：B81
【正文快照】：

一、一些定義性澄清 經(jīng)典邏輯是指由弗雷格、皮爾士、羅素等人創(chuàng)立的現(xiàn)代邏輯系統(tǒng),由統(tǒng)一的命題演算和謂詞演算構(gòu)成,叫做“一階邏輯”,其特點(diǎn)是使用特制的人工符號(hào)語(yǔ)言,運(yùn)用公理化、形式化的方法。與后來(lái)出現(xiàn)的各種邏輯系統(tǒng)相比,經(jīng)典邏輯至少含有下述假定或預(yù)設(shè): (1)外延原則

下載全文 更多同類文獻(xiàn)

PDF全文下載

CAJ全文下載

(如何獲取全文？ 歡迎：購(gòu)買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式，，AdobeReader僅支持PDF格式

【同被引文獻(xiàn)】

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

1 張燕京;[J];社會(huì)科學(xué)論壇;2003年09期

2 張家龍;[J];北京航空航天大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2000年01期

3 張燕京;[J];北京師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2000年04期

4 陳曉平;[J];廣西大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2000年01期

5 陳曉平;[J];廣西大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1998年02期

6 江曉紅;;[J];廣西社會(huì)科學(xué);2005年12期

7 王路;[J];開(kāi)放時(shí)代;2001年03期

8 吳鏘,陳亞軍;[J];南京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年01期

9 張燕京;[J];云南社會(huì)科學(xué);2003年03期

10 黃華新;[J];浙江大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);2001年02期

【相似文獻(xiàn)】

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

1 吳家國(guó);[J];北京師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1980年04期

2 馬玉珂 ,蘇越;[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1980年04期

3 林淑娟 ,袁長(zhǎng)在;[J];外語(yǔ)學(xué)刊;1980年04期

4 凌雨軒;[J];人文雜志;1980年01期

5 馬偉;[J];大理學(xué)院學(xué)報(bào);1980年01期

6 馬鶴鳴;[J];大理學(xué)院學(xué)報(bào);1980年01期

7 褚可邑;[J];華南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1980年01期

8 呂政春;[J];齊齊哈爾大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1980年Z1期

9 李公天 ,向熙陽(yáng);[J];求實(shí);1980年Z2期

10 田崇勤;[J];江淮論壇;1980年03期

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

1 Michele VIO;陳云水;;[A];第九屆全國(guó)冷水機(jī)組與熱泵技術(shù)學(xué)術(shù)會(huì)議論文集[C];1999年

2 張石麟;;[A];外語(yǔ)語(yǔ)言教學(xué)研究——黑龍江省外國(guó)語(yǔ)學(xué)會(huì)第十次學(xué)術(shù)年會(huì)論文集[C];1996年

3 宋立亞;;[A];外語(yǔ)語(yǔ)言教學(xué)研究——黑龍江省外國(guó)語(yǔ)學(xué)會(huì)第十一次學(xué)術(shù)年會(huì)論文集[C];1997年

4 王希杰;;[A];得體修辭學(xué)研究[C];1999年

5 李敬德;;[A];探索新路構(gòu)筑輝煌——慶祝中華人民共和國(guó)建國(guó)五十周年論文集[C];1998年

6 王淑芝;;[A];教研擷華——青海師大附中建校45周年論文集[C];1999年

7 呂瑞華;;[A];發(fā)展的信息技術(shù)對(duì)管理的挑戰(zhàn)——99’管理科學(xué)學(xué)術(shù)會(huì)議專輯（下）[C];1999年

8 任世賢;;[A];系統(tǒng)工程與可持續(xù)發(fā)展戰(zhàn)略——中國(guó)系統(tǒng)工程學(xué)會(huì)第十屆年會(huì)論文集[C];1998年

9 陳國(guó)勛;閆家杰;;[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

10 陳琪;余雄南;;[A];第二屆全國(guó)人—機(jī)—環(huán)境系統(tǒng)工程學(xué)術(shù)會(huì)議論文集[C];1995年

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

1 臧樂(lè)源;[N];中國(guó)教育報(bào);2000年

2 本欄由廣東中山圖書(shū)館供稿;[N];中國(guó)文化報(bào);2000年

3 呂來(lái)明;[N];法制日?qǐng)?bào);2000年

4 國(guó)家信息中心 步德迎;[N];國(guó)際商報(bào);2000年

5 ;[N];光明日?qǐng)?bào);2000年

6 ;[N];光明日?qǐng)?bào);2000年

7 陳波;[N];光明日?qǐng)?bào);2000年

8 沈榮興 王文東;[N];社會(huì)科學(xué)報(bào);2000年

9 周政保;[N];中國(guó)圖書(shū)商報(bào);2000年

10 俞吾金;[N];文匯報(bào);2000年

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

1 田建波;[D];西安電子科技大學(xué);1998年

2 鄭東;[D];西安電子科技大學(xué);1999年

3 杜國(guó)平;[D];中國(guó)社會(huì)科學(xué)院研究生院;2000年

4 李益發(fā);[D];解放軍信息工程大學(xué);2001年

5 劉志;[D];浙江大學(xué);2001年

6 姬東耀;[D];西安電子科技大學(xué);2001年

7 張拴平;[D];中共中央黨校;2001年

8 劉奮榮;[D];中國(guó)社會(huì)科學(xué)院研究生院;2001年

9 余俊偉;[D];中國(guó)社會(huì)科學(xué)院研究生院;2001年

10 張纓;[D];中國(guó)社會(huì)科學(xué)院研究生院;2001年

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

1 張春霞;[D];云南師范大學(xué);2000年

2 和國(guó)強(qiáng);[D];首都師范大學(xué);2000年

3 藍(lán)國(guó)橋;[D];廣西師范大學(xué);2000年

4 趙洋;[D];昆明理工大學(xué);2000年

5 劉旭友;[D];廣西師范大學(xué);2000年

6 唐漢衛(wèi);[D];山東師范大學(xué);2000年

7 陳虹;[D];西北工業(yè)大學(xué);2001年

8 孫德忠;[D];云南師范大學(xué);2001年

9 寧莉娜;[D];黑龍江大學(xué);2001年

10 張利芳;[D];西南師范大學(xué);2001年

  本文關(guān)鍵詞：經(jīng)典邏輯和變異邏輯，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：210090