停下即完成:“知道如何”的弱逻辑（英文）

发布时间：2017-09-28 04:42

  本文关键词：停下即完成:“知道如何”的弱逻辑（英文）

  更多相关文章： knowing semantics 可判定性 公理系统 interpretation 有穷 modality proof shortest maximal

【摘要】：本论文针对王彦晶提出的"知道如何"的模态算子提出了一种新的语义。与原来的语义相比,我们的语义比较弱但是却更容易实现。根据该语义,主体知道如何从状态到达状态?当且仅当主体有一个有穷的线性动作系列使得执行该动作系列停止后的状态即是目的状态。这种弱化的新语义导致了一种弱化的逻辑。原来逻辑系统里面的组合公理在我们的新语义下不再有效。我们也给出了该逻辑的一个公理系统并证明了其可靠性和完全性。同时,我们也证明了该逻辑具有可判定性。
【作者单位】： 格罗宁根大学哲学系;
【关键词】： knowing;semantics;可判定性;公理系统;interpretation;有穷;modality;proof;shortest;maximal;
【基金】：the support from China Scholarship Council
【分类号】：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

【相似文献】

中国期刊全文数据库 前10条

1 马辉;;一些与out连用的习语[J];英语知识;1991年03期

2 郁振华;;论能力之知:为赖尔一辩[J];哲学研究;2010年10期

3 郁振华;罗蒂知识观批判——兼论认识论的语用学转向[J];学术月刊;2005年01期

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

5 孙启禄;;How to Survive in a Jungle[J];中学英语园地(高中版);2002年18期

6 ;未知博物馆[J];当代艺术与投资;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;;一个美国人在北京看世界杯的五个理由(英文)[J];新东方英语(中学生);2010年09期

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

中国重要会议论文全文数据库 前1条

1 郁振华;刘静芳;;论人类知识的默会维度[A];第三次金岳霖学术思想研讨会论文集[C];2005年

，

本文编号：933863