發(fā)布時間：2020-08-06 15:25

【摘要】：本文從邏輯學(xué)的發(fā)展歷程考察了邏輯學(xué)發(fā)展的認(rèn)知轉(zhuǎn)向。邏輯學(xué)和認(rèn)知心理學(xué)的結(jié)合為信息科學(xué)尤其是計算機(jī)科學(xué)的理論與應(yīng)用提供了方法,形成了一個以計算機(jī)為帶頭學(xué)科、以邏輯為基礎(chǔ)、以認(rèn)知為對象的研究方向,從而導(dǎo)致認(rèn)知邏輯這一研究新課題的產(chǎn)生。認(rèn)知邏輯的研究內(nèi)容主要包括認(rèn)識邏輯和心理邏輯,其研究方法涉及哲學(xué)思辨、心理實驗、邏輯推理、計算機(jī)模擬和數(shù)學(xué)方法等。我們從認(rèn)識邏輯、心理邏輯、人工智能三方面的研究成果可了解認(rèn)知邏輯的研究現(xiàn)狀。當(dāng)前對認(rèn)知邏輯的研究尚存在一些問題,但未來將會在若干領(lǐng)域有所突破。

【參考文獻(xiàn)】

相關(guān)期刊論文 前4條

1 王左立;試論認(rèn)知邏輯研究中的若干問題[J];南開學(xué)報(哲學(xué)社會科學(xué)版);2003年06期

2 康巧茹;邏輯研究的第二次轉(zhuǎn)向[J];寧夏黨校學(xué)報;2003年02期

3 陳波;從人工智能看當(dāng)代邏輯學(xué)的發(fā)展[J];中山大學(xué)學(xué)報論叢;2000年02期

4 鞠實兒;論邏輯學(xué)發(fā)展的方向[J];中山大學(xué)學(xué)報(社會科學(xué)版);2003年S1期

【共引文獻(xiàn)】

相關(guān)期刊論文 前5條

1 張振華;試論制約人工智能發(fā)展的邏輯問題[J];東北大學(xué)學(xué)報(社會科學(xué)版);2002年03期

2 晉榮東;;當(dāng)代中國邏輯的現(xiàn)代化及其問題[J];華東師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2006年03期

3 陳波;從《哲學(xué)邏輯手冊》(第二版)看當(dāng)代邏輯的發(fā)展趨勢[J];學(xué)術(shù)界;2004年05期

4 邱江,張慶林;假言推理中的概率效應(yīng)[J];心理科學(xué)進(jìn)展;2004年04期

5 張振華;邏輯學(xué)在人工智能中的應(yīng)用及其前景研究綜述[J];哲學(xué)動態(tài);2001年09期

相關(guān)會議論文 前3條

1 陳波;;從《哲學(xué)邏輯手冊》(第二版)看當(dāng)代邏輯的發(fā)展趨勢[A];小康社會：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

2 張小燕;;皮亞杰對邏輯學(xué)與心理學(xué)之間關(guān)系的重新認(rèn)識[A];2005年邏輯研究專輯[C];2005年

3 張小燕;;皮亞杰對邏輯學(xué)與心理學(xué)之間關(guān)系的重新認(rèn)識[A];第三次金岳霖學(xué)術(shù)思想研討會論文集[C];2005年

相關(guān)博士學(xué)位論文 前4條

1 姚志強(qiáng);演繹推理中信念偏差效應(yīng)的研究[D];南京師范大學(xué);2005年

2 鄭海燕;類別特征的相似性與競爭性對特征推理的影響研究[D];華南師范大學(xué);2006年

3 徐慈華;選擇與適應(yīng)[D];浙江大學(xué);2007年

4 高華;條件推理雙重加工的發(fā)展性研究[D];南京師范大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 劉志雅;復(fù)合命題推理的發(fā)展性研究[D];華南師范大學(xué);2002年

2 黃凌云;啟發(fā)式概率估計在反饋條件下的偏向研究[D];西南師范大學(xué);2003年

3 郝旭東;次協(xié)調(diào)邏輯初探[D];河南大學(xué);2004年

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

5 李會芬;法律邏輯：應(yīng)用邏輯的一種[D];中國政法大學(xué);2006年

6 王燕;兒童傳遞性推理能力發(fā)展的實驗研究[D];江西師范大學(xué);2006年

7 李雄波;知識表示在教學(xué)領(lǐng)域的應(yīng)用研究[D];華東師范大學(xué);2007年

8 陳琳;類別不確定下的特征推理方式研究[D];華南師范大學(xué);2007年

9 游紅軍;會話隱涵的推理機(jī)制研究[D];西南大學(xué);2008年

10 董英東;多主體自認(rèn)知邏輯系統(tǒng)及其應(yīng)用[D];西南大學(xué);2008年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 林作銓;常識問題常識推理的邏輯基礎(chǔ)[J];計算機(jī)研究與發(fā)展;1997年06期

2 周青,鞠實兒;不確定推理的支持度[J];軟件學(xué)報;1999年02期

3 鞠實兒;三種信念悖論的消除[J];自然辯證法通訊;1995年02期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉新文;;現(xiàn)代模態(tài)邏輯探源[J];哲學(xué)動態(tài);2011年05期

2 王太忠;王朝輝;;正確認(rèn)識和科學(xué)發(fā)展歸納邏輯[J];文教資料;2011年26期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會議論文 前10條

1 張建軍;;邏輯全能問題與動態(tài)認(rèn)知邏輯[A];2000年邏輯研究專輯[C];2000年

2 盛作國;胡紅;;情報推理的邏輯理論工具——制約邏輯在情報科學(xué)中的應(yīng)用[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

3 陳曉華;;邏輯全能問題研究述評[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

4 劉奮榮;;缺省邏輯如何研究非單調(diào)推理？[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

5 劉奮榮;;非單調(diào)性問題與自認(rèn)知邏輯[A];2001年邏輯研究專輯[C];2001年

6 蔡曙山;;學(xué)科交叉與現(xiàn)代邏輯的發(fā)展[A];小康社會：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

7 李瑞峰;;知道邏輯初探[A];1994年邏輯研究專輯[C];1994年

8 熊立文;;用認(rèn)知邏輯刻畫簡單枚舉法[A];2001年邏輯研究專輯[C];2001年

9 馮荷飛;曹子寧;;交錯時序認(rèn)知邏輯在安全協(xié)議中的應(yīng)用[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

10 唐曉嘉;陳樹文;;認(rèn)知邏輯的幾個語義問題分析[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

相關(guān)重要報紙文章 前6條

1 陳波;人工智能 當(dāng)代邏輯發(fā)展的動力[N];光明日報;2000年

2 ;中國邏輯學(xué)：回顧、反省與前瞻[N];光明日報;2003年

3 陳慕澤;多主體系統(tǒng)中的互知[N];光明日報;2000年

4 華東師范大學(xué) 馮棉;邏輯科學(xué)，將充滿活力[N];社會科學(xué)報;2004年

5 陳波;邏輯學(xué)與理性精神[N];光明日報;2003年

6 沈躍春;現(xiàn)代邏輯學(xué)及其發(fā)展趨勢[N];人民日報;2004年

相關(guān)博士學(xué)位論文 前7條

1 劉奮榮;非單調(diào)推理的邏輯研究[D];中國社會科學(xué)院研究生院;2001年

2 呂進(jìn);基于時間和行動規(guī)劃的知識—意圖邏輯[D];西南大學(xué);2008年

3 張君;知道邏輯中的知識可傳遞性問題研究[D];清華大學(xué);2008年

4 馮彥波;合并邏輯方法研究[D];南開大學(xué);2010年

5 郭佳宏;理想自省主體的信念修正[D];中山大學(xué);2006年

6 張繼華;科學(xué)探究推理研究[D];西南大學(xué);2012年

7 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 顧鋒強(qiáng);蒙太格語法研究述評[D];西南大學(xué);2006年

2 金宏妍;人工智能視野下的進(jìn)化邏輯研究[D];燕山大學(xué);2010年

3 王軼;認(rèn)知邏輯的動態(tài)化理論[D];中國人民大學(xué);2005年

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

5 王志艷;類比與科學(xué)發(fā)現(xiàn)[D];華南師范大學(xué);2005年

6 劉珂;動態(tài)認(rèn)知邏輯發(fā)展初探[D];河南大學(xué);2008年

7 盧延鑫;邏輯學(xué)在計算機(jī)科學(xué)中的應(yīng)用[D];上海社會科學(xué)院;2008年

8 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

9 蕭瑤;信念修正邏輯初探[D];西南大學(xué);2008年

10 張麗;時態(tài)公開宣告邏輯初探[D];西南大學(xué);2009年

本文編號：2782600