非經(jīng)典邏輯_《哲學(xué)研究》2004年10期
本文關(guān)鍵詞:經(jīng)典邏輯和變異邏輯,由筆耕文化傳播整理發(fā)布。
《哲學(xué)研究》 2004年10期
投稿
經(jīng)典邏輯和變異邏輯
【摘要】:正 一、一些定義性澄清 經(jīng)典邏輯是指由弗雷格、皮爾士、羅素等人創(chuàng)立的現(xiàn)代邏輯系統(tǒng),由統(tǒng)一的命題演算和謂詞演算構(gòu)成,叫做“一階邏輯”,其特點是使用特制的人工符號語言,運用公理化、形式化的方法。與后來出現(xiàn)的各種邏輯系統(tǒng)相比,經(jīng)典邏輯至少含有下述假定或預(yù)設(shè): (1)外延原則,即它在處理語詞、語句時,只考慮它們的外延,并認(rèn)為語詞的外延是它所指稱的對象,語句的外延是它所具有的真值,如果在某一復(fù)合語句中用具有同樣指稱但有不同涵義的語詞或語句去替換另一語詞或子語句,該復(fù)合語句的真值保持不變。這就是著名的“外延論題”。
【作者單位】:
北京大學(xué)哲學(xué)系
【關(guān)鍵詞】:
【分類號】:B81
【正文快照】:
一、一些定義性澄清 經(jīng)典邏輯是指由弗雷格、皮爾士、羅素等人創(chuàng)立的現(xiàn)代邏輯系統(tǒng),由統(tǒng)一的命題演算和謂詞演算構(gòu)成,叫做“一階邏輯”,其特點是使用特制的人工符號語言,運用公理化、形式化的方法。與后來出現(xiàn)的各種邏輯系統(tǒng)相比,經(jīng)典邏輯至少含有下述假定或預(yù)設(shè): (1)外延原則
下載全文 更多同類文獻(xiàn)
PDF全文下載
CAJ全文下載
(如何獲取全文? 歡迎:購買知網(wǎng)充值卡、在線充值、在線咨詢)
CAJViewer閱讀器支持CAJ、PDF文件格式,,AdobeReader僅支持PDF格式
【同被引文獻(xiàn)】
中國期刊全文數(shù)據(jù)庫 前10條
1 張燕京;[J];社會科學(xué)論壇;2003年09期
2 張家龍;[J];北京航空航天大學(xué)學(xué)報(社會科學(xué)版);2000年01期
3 張燕京;[J];北京師范大學(xué)學(xué)報(社會科學(xué)版);2000年04期
4 陳曉平;[J];廣西大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2000年01期
5 陳曉平;[J];廣西大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1998年02期
6 江曉紅;;[J];廣西社會科學(xué);2005年12期
7 王路;[J];開放時代;2001年03期
8 吳鏘,陳亞軍;[J];南京理工大學(xué)學(xué)報(社會科學(xué)版);2003年01期
9 張燕京;[J];云南社會科學(xué);2003年03期
10 黃華新;[J];浙江大學(xué)學(xué)報(人文社會科學(xué)版);2001年02期
【相似文獻(xiàn)】
中國期刊全文數(shù)據(jù)庫 前10條
1 吳家國;[J];北京師范大學(xué)學(xué)報(社會科學(xué)版);1980年04期
2 馬玉珂 ,蘇越;[J];湖北大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1980年04期
3 林淑娟 ,袁長在;[J];外語學(xué)刊;1980年04期
4 凌雨軒;[J];人文雜志;1980年01期
5 馬偉;[J];大理學(xué)院學(xué)報;1980年01期
6 馬鶴鳴;[J];大理學(xué)院學(xué)報;1980年01期
7 褚可邑;[J];華南師范大學(xué)學(xué)報(自然科學(xué)版);1980年01期
8 呂政春;[J];齊齊哈爾大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1980年Z1期
9 李公天 ,向熙陽;[J];求實;1980年Z2期
10 田崇勤;[J];江淮論壇;1980年03期
中國重要會議論文全文數(shù)據(jù)庫 前10條
1 Michele VIO;陳云水;;[A];第九屆全國冷水機(jī)組與熱泵技術(shù)學(xué)術(shù)會議論文集[C];1999年
2 張石麟;;[A];外語語言教學(xué)研究——黑龍江省外國語學(xué)會第十次學(xué)術(shù)年會論文集[C];1996年
3 宋立亞;;[A];外語語言教學(xué)研究——黑龍江省外國語學(xué)會第十一次學(xué)術(shù)年會論文集[C];1997年
4 王希杰;;[A];得體修辭學(xué)研究[C];1999年
5 李敬德;;[A];探索新路構(gòu)筑輝煌——慶祝中華人民共和國建國五十周年論文集[C];1998年
6 王淑芝;;[A];教研擷華——青海師大附中建校45周年論文集[C];1999年
7 呂瑞華;;[A];發(fā)展的信息技術(shù)對管理的挑戰(zhàn)——99’管理科學(xué)學(xué)術(shù)會議專輯(下)[C];1999年
8 任世賢;;[A];系統(tǒng)工程與可持續(xù)發(fā)展戰(zhàn)略——中國系統(tǒng)工程學(xué)會第十屆年會論文集[C];1998年
9 陳國勛;閆家杰;;[A];中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年
10 陳琪;余雄南;;[A];第二屆全國人—機(jī)—環(huán)境系統(tǒng)工程學(xué)術(shù)會議論文集[C];1995年
中國重要報紙全文數(shù)據(jù)庫 前10條
1 臧樂源;[N];中國教育報;2000年
2 本欄由廣東中山圖書館供稿;[N];中國文化報;2000年
3 呂來明;[N];法制日報;2000年
4 國家信息中心 步德迎;[N];國際商報;2000年
5 ;[N];光明日報;2000年
6 ;[N];光明日報;2000年
7 陳波;[N];光明日報;2000年
8 沈榮興 王文東;[N];社會科學(xué)報;2000年
9 周政保;[N];中國圖書商報;2000年
10 俞吾金;[N];文匯報;2000年
中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條
1 田建波;[D];西安電子科技大學(xué);1998年
2 鄭東;[D];西安電子科技大學(xué);1999年
3 杜國平;[D];中國社會科學(xué)院研究生院;2000年
4 李益發(fā);[D];解放軍信息工程大學(xué);2001年
5 劉志;[D];浙江大學(xué);2001年
6 姬東耀;[D];西安電子科技大學(xué);2001年
7 張拴平;[D];中共中央黨校;2001年
8 劉奮榮;[D];中國社會科學(xué)院研究生院;2001年
9 余俊偉;[D];中國社會科學(xué)院研究生院;2001年
10 張纓;[D];中國社會科學(xué)院研究生院;2001年
中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條
1 張春霞;[D];云南師范大學(xué);2000年
2 和國強;[D];首都師范大學(xué);2000年
3 藍(lán)國橋;[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ā)布。
本文編號:210090
本文鏈接:http://sikaile.net/shekelunwen/ljx/210090.html