论文部分内容阅读
本文提出一个基于无知的群组宣告逻辑，该逻辑是带有宣告算子的无知逻辑加上一个基于无知的群组宣告算子的扩展，用以表达群组中的每个主体宣告他们各自的无知后什么东西为真。我们对比这一逻辑和文献中相关逻辑的相对表达力，并研究该逻辑的框架可定义性问题。另外，我们也提出一个公理化系统并证明它的完全性。
宣告群组的无知来消除主体的无知——基于无知的一个群组宣告逻辑
【摘 要】
：
本文提出一个基于无知的群组宣告逻辑，该逻辑是带有宣告算子的无知逻辑加上一个基于无知的群组宣告算子的扩展，用以表达群组中的每个主体宣告他们各自的无知后什么东西为真。我
【机 构】
：
北京师范大学哲学学院
【出 处】
：
逻辑学研究
【发表日期】
：
2016年4期
【基金项目】
：
This research is funded by China Postdoctoral Science Foundation (2016M590061) and partly fundedby National Social Science Key Project of China (15AZX020).
其他文献
计算机技术应用广泛，日新月异。一个人只有具备自学能力，不断学习，终身学习，才能适应社会发展的需要。作为一名计算机教师，应该有意识地去培养学生的自学能力。本文就如何培养学生
本文主要分析了数据挖掘的相关概念及其过程，介绍了关联规则的提取方法、遗传算法的基本要素、操作技术、基本步骤等。最后结合相关实例提出了在遗传算法当中进行关联规则的数
【摘 要】小学信息技术教师应当强化教学技巧研究，赋予信息技术教学更为生动的内涵，在教学中补充各种趣味性知识，鼓励学生动手操作以及创造各种实践机会，理论联系实际以及开展各种课外活动，让学生在信息技术学习中更加生动活泼，促进学生信息技术素养提升。 【关键词】小学信息技术；教学技巧；分析研究 在小学信息技术教学工作中，广大教师要强化教学技巧的把握，通过巧妙的设计调动学生学习的积极性，使他们学得更加轻
【摘 要】这些年，关于有效课堂教学的探索和研究很多。每一所学校，每一个教师都在教育教学活动中反复思考，不断尝试如何开展有效课堂教学活动？那么什么才是有效课堂教学活动，各地各校各个老师可谓是“仁者见仁，智者见智”。有效课堂教学模式的探索，其最终目的都是为了提升个人和学校教学总体质量。那么如何打造初中信息技术有效课堂？下面结合我的教学实践，谈谈自己的几点体会。 【关键词】初中；教学；舞台 课堂就是
【摘 要】本文以任务教学为阐述要点，提出协作化教学模式对完成任务教学活动的推动功效。依据课程知识重点和难点，紧扣任务主线，注重同桌对话、小组互探、师生沟通、组间竞赛等方法运用，帮助学生在增强理解感知体验基础上形成敏锐语言感知。探讨任务原则在英语课堂教学中的运用，对培养学生团结协作精神有着正面迁移意义，利于提高课堂教学的有效性。 【关键词】初中英语；任务；协作；探学 英语课堂是师生围绕语言而开展