计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
2期
157-159
,共3页
李惠涛%江峰%眭跃飞%曹存根
李惠濤%江峰%眭躍飛%曹存根
리혜도%강봉%휴약비%조존근
信念%认知反映%一阶模态逻辑
信唸%認知反映%一階模態邏輯
신념%인지반영%일계모태라집
Quine[9]提出了一类有关信念模态的难题,比如Cicero难题,这些难题的解读对模态逻辑语义具有重要的意义.目前的一阶模态逻辑普遍给予Quine难题以de re/de dicto解读.本文指出de re/de dicto解读存在缺陷,并且认为为了解读Quine难题,需要在一阶模态逻辑的模型中引入一个认知反映关系.在此观念下,本文提出了一个新的一阶模态逻辑系统--基于认知反映的信念逻辑.
Quine[9]提齣瞭一類有關信唸模態的難題,比如Cicero難題,這些難題的解讀對模態邏輯語義具有重要的意義.目前的一階模態邏輯普遍給予Quine難題以de re/de dicto解讀.本文指齣de re/de dicto解讀存在缺陷,併且認為為瞭解讀Quine難題,需要在一階模態邏輯的模型中引入一箇認知反映關繫.在此觀唸下,本文提齣瞭一箇新的一階模態邏輯繫統--基于認知反映的信唸邏輯.
Quine[9]제출료일류유관신념모태적난제,비여Cicero난제,저사난제적해독대모태라집어의구유중요적의의.목전적일계모태라집보편급여Quine난제이de re/de dicto해독.본문지출de re/de dicto해독존재결함,병차인위위료해독Quine난제,수요재일계모태라집적모형중인입일개인지반영관계.재차관념하,본문제출료일개신적일계모태라집계통--기우인지반영적신념라집.
