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

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

【參考文獻(xiàn)】

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

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

2 鄭海燕;類別特征的相似性與競(jìng)爭(zhēng)性對(duì)特征推理的影響研究[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ā)式概率估計(jì)在反饋條件下的偏向研究[D];西南師范大學(xué);2003年

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

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

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

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

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

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

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

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

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

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

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

1 陳波;人工智能 當(dāng)代邏輯發(fā)展的動(dòng)力[N];光明日?qǐng)?bào);2000年

2 ;中國(guó)邏輯學(xué)：回顧、反省與前瞻[N];光明日?qǐng)?bào);2003年

3 陳慕澤;多主體系統(tǒng)中的互知[N];光明日?qǐng)?bào);2000年

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

5 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：2782600