本文選題：知道　切入點(diǎn)：覺(jué)知　出處：《邏輯學(xué)研究》2015年02期 　論文類型：期刊論文

【摘要】：經(jīng)典認(rèn)知邏輯中的知道算子具有性質(zhì)"知道的皆為真",但這不符合漢語(yǔ)直觀。在漢語(yǔ)中,所知之事的真假還取決于認(rèn)識(shí)能力的高低。本文提出一種覺(jué)知模型來(lái)解釋漢語(yǔ)中的"知道"。在此類模型下,"知道?"可以解讀為"在當(dāng)前覺(jué)知情形下認(rèn)識(shí)到?"。當(dāng)前狀態(tài)并不一定被覺(jué)知,由此解決所知皆真的問(wèn)題。文章引入覺(jué)知語(yǔ)義學(xué),將其與信念邏輯進(jìn)行對(duì)比,然后給出公理系統(tǒng)并證明其完全性。
[Abstract]:The operator of knowing in classical cognitive logic has the property that "all that knows is true", but this does not accord with Chinese intuitionistic. In Chinese, The truth and falsity of what we know also depends on our cognitive ability. In this paper, we propose a cognitive model to explain "know" in Chinese. In this kind of model, "know"? Can be interpreted as "recognizing in the current context of awareness?" "... the current state does not have to be known, thus solving the problem of knowing is true. This paper introduces the semantics of awareness, contrasts it with the logic of belief, and then gives an axiomatic system and proves its completeness.
【作者單位】： 浙江大學(xué)哲學(xué)系語(yǔ)言與認(rèn)知研究中心;
【基金】：教育部留學(xué)回國(guó)人員科研啟動(dòng)基金資助項(xiàng)目 國(guó)家社科基金重大項(xiàng)目(11&ZD088),國(guó)家社科基金重大項(xiàng)目(14ZDB014)
【分類號(hào)】：B815.3
，

本文編號(hào)：1563348