發(fā)布時(shí)間：2017-09-28 04:42

  本文關(guān)鍵詞：停下即完成:“知道如何”的弱邏輯（英文）

  更多相關(guān)文章： knowing semantics 可判定性 公理系統(tǒng) interpretation 有窮 modality proof shortest maximal

【摘要】：本論文針對(duì)王彥晶提出的"知道如何"的模態(tài)算子提出了一種新的語(yǔ)義。與原來(lái)的語(yǔ)義相比,我們的語(yǔ)義比較弱但是卻更容易實(shí)現(xiàn)。根據(jù)該語(yǔ)義,主體知道如何從狀態(tài)到達(dá)狀態(tài)?當(dāng)且僅當(dāng)主體有一個(gè)有窮的線性動(dòng)作系列使得執(zhí)行該動(dòng)作系列停止后的狀態(tài)即是目的狀態(tài)。這種弱化的新語(yǔ)義導(dǎo)致了一種弱化的邏輯。原來(lái)邏輯系統(tǒng)里面的組合公理在我們的新語(yǔ)義下不再有效。我們也給出了該邏輯的一個(gè)公理系統(tǒng)并證明了其可靠性和完全性。同時(shí),我們也證明了該邏輯具有可判定性。
【作者單位】： 格羅寧根大學(xué)哲學(xué)系;
【關(guān)鍵詞】： knowing;semantics;可判定性;公理系統(tǒng);interpretation;有窮;modality;proof;shortest;maximal;
【基金】：the support from China Scholarship Council
【分類號(hào)】：H0-05
【正文快照】： 1 IntroductionEpistemic logic proposed by von Wright and Hintikka[14,26]is a modal logicthat is concerned with reasoning about knowledge.It formalizes the propositionalknowledge,knowledge of the form“knowing that”,as a modal formula?whichexpresses the

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 馬輝;;一些與out連用的習(xí)語(yǔ)[J];英語(yǔ)知識(shí);1991年03期

2 郁振華;;論能力之知:為賴爾一辯[J];哲學(xué)研究;2010年10期

3 郁振華;羅蒂知識(shí)觀批判——兼論認(rèn)識(shí)論的語(yǔ)用學(xué)轉(zhuǎn)向[J];學(xué)術(shù)月刊;2005年01期

4 ;名人名言[J];初中生必讀;2011年Z2期

5 孫啟祿;;How to Survive in a Jungle[J];中學(xué)英語(yǔ)園地(高中版);2002年18期

6 ;未知博物館[J];當(dāng)代藝術(shù)與投資;2011年10期

7 ;The Truth Must Be Told[J];China Today;2005年07期

8 DOROTHY TECKLENBURG;;They've Got Your Number[J];Beijing Review;2006年36期

9 Evan Richtern;;一個(gè)美國(guó)人在北京看世界杯的五個(gè)理由(英文)[J];新東方英語(yǔ)(中學(xué)生);2010年09期

10 SAMANTHA J. MULVANEY;Reflections on My Time in China[J];China Today;2004年05期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 郁振華;劉靜芳;;論人類知識(shí)的默會(huì)維度[A];第三次金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];2005年

，

本文編號(hào)：933863