宣告群组的无知来消除主体的无知——基于无知的一个群组宣告逻辑（英文）

发布时间：2017-10-19 17:26

  本文关键词：宣告群组的无知来消除主体的无知——基于无知的一个群组宣告逻辑（英文）

  更多相关文章： announcement expressive 可定义性 holds 公理化 admissible knowing proof distinguished frames

【摘要】：本文提出一个基于无知的群组宣告逻辑,该逻辑是带有宣告算子的无知逻辑加上一个基于无知的群组宣告算子的扩展,用以表达群组中的每个主体宣告他们各自的无知后什么东西为真。我们对比这一逻辑和文献中相关逻辑的相对表达力,并研究该逻辑的框架可定义性问题。另外,我们也提出一个公理化系统并证明它的完全性。
【作者单位】： 北京师范大学哲学学院;
【关键词】： announcement;expressive;可定义性;holds;公理化;admissible;knowing;proof;distinguished;frames;
【基金】：funded by China Postdoctoral Science Foundation(2016M590061) funded by National Social Science Key Project of China(15AZX020)
【分类号】：B815.3
【正文快照】： 1 Introduction Ignorance has been one of widely discussed topics in philosophy since Socrates,especially in epistemology.([28,58,59,18,24,10,19,61,27,43,50,44,51,52,23])But what does it mean by‘ignorance’?Just as no consensus was reached among philoso

【相似文献】

中国硕士学位论文全文数据库 前1条

1 张健男;中国股市盈余惯性现象的特点[D];上海交通大学;2013年

，

本文编号：1062365