逻辑学研究
邏輯學研究
라집학연구
Studies in Logic
2015年
2期
13-33
,共21页
知道%觉知%认知逻辑%觉知状态逻辑%觉知模型
知道%覺知%認知邏輯%覺知狀態邏輯%覺知模型
지도%각지%인지라집%각지상태라집%각지모형
经典认知逻辑中的知道算子具有性质“知道的皆为真”,但这不符合汉语直观.在汉语中,所知之事的真假还取决于认识能力的高低.本文提出一种觉知模型来解释汉语中的“知道”.在此类模型下,“知道φ”可以解读为“在当前觉知情形下认识到φ”.当前状态并不一定被觉知,由此解决所知皆真的问题.文章引入觉知语义学,将其与信念逻辑进行对比,然后给出公理系统并证明其完全性.
經典認知邏輯中的知道算子具有性質“知道的皆為真”,但這不符閤漢語直觀.在漢語中,所知之事的真假還取決于認識能力的高低.本文提齣一種覺知模型來解釋漢語中的“知道”.在此類模型下,“知道φ”可以解讀為“在噹前覺知情形下認識到φ”.噹前狀態併不一定被覺知,由此解決所知皆真的問題.文章引入覺知語義學,將其與信唸邏輯進行對比,然後給齣公理繫統併證明其完全性.
경전인지라집중적지도산자구유성질“지도적개위진”,단저불부합한어직관.재한어중,소지지사적진가환취결우인식능력적고저.본문제출일충각지모형래해석한어중적“지도”.재차류모형하,“지도φ”가이해독위“재당전각지정형하인식도φ”.당전상태병불일정피각지,유차해결소지개진적문제.문장인입각지어의학,장기여신념라집진행대비,연후급출공리계통병증명기완전성.