本文選題：邏輯全知問(wèn)題 + 信念邏輯　； 參考：《求是學(xué)刊》2007年06期

【摘要】：正一、邏輯全知者問(wèn)題邏輯學(xué)研究的對(duì)象是人的思維,現(xiàn)代數(shù)理邏輯與哲學(xué)邏輯則致力于考察人的推理行為與模式。作為個(gè)體的人,由于受其所在環(huán)境、所接受的知識(shí)、所掌握的資源的限制,其推理能力必然是有限的。例如,假設(shè)從理論上講,某人從其當(dāng)前所掌握的知識(shí)出發(fā),能夠推出一個(gè)命題α。實(shí)際上,他仍可能推不出α。也許推出α過(guò)于困難,超出了此人的能力。
[Abstract]:First, the object of logic study is human thinking, while modern mathematical logic and philosophical logic are devoted to the study of human reasoning behavior and mode.Because of the limitation of the environment, the knowledge and the resources, the reasoning ability of the individual is bound to be limited.For example, suppose, in theory, someone can deduce a proposition from what they currently know.In fact, he may still not be able to deduce 偽.Perhaps it is too difficult to launch an alpha, beyond the person's ability.
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所 中山大學(xué)邏輯與認(rèn)知研究所
【分類號(hào)】：B812

【相似文獻(xiàn)】

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

1 姜成林;應(yīng)用邏輯——現(xiàn)代邏輯的新發(fā)展[J];社會(huì)科學(xué)輯刊;1988年05期

2 李小五;1993年國(guó)外哲學(xué)邏輯研究新進(jìn)展[J];國(guó)外社會(huì)科學(xué);1994年06期

3 胡澤洪;信念邏輯二題[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1994年03期

4 蘇開樂(lè)，，丁德成;關(guān)于Levesque的信念邏輯的完備性[J];數(shù)學(xué)年刊A輯(中文版);1995年03期

5 鞠實(shí)兒,趙藝,傅小蘭;自我欺騙的認(rèn)知機(jī)制[J];中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年05期

6 趙藝;論自我欺騙問(wèn)題的解決方案[J];自然辯證法通訊;2004年02期

7 潘天群;建立在“笛卡爾公理”上的一個(gè)懷疑邏輯系統(tǒng)[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2004年05期

8 潘天群;認(rèn)知命題集合的邏輯構(gòu)造及其相互關(guān)系[J];哲學(xué)研究;2005年03期

9 潘天群;三分的認(rèn)知世界與懷疑邏輯的獨(dú)立性[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年05期

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

1 李金厚;iRobot——一種基于類自然語(yǔ)言人機(jī)交互系統(tǒng)的初步研究與實(shí)現(xiàn)[D];浙江大學(xué);2005年

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

1 陳鐵明;復(fù)雜安全協(xié)議的形式化分析、設(shè)計(jì)與驗(yàn)證研究[D];浙江工業(yè)大學(xué);2004年

本文編號(hào)：1766040