【摘 要】
：
在当代知识论中,柏拉图"确证的真信念"(justified true belief)的知识的三元定义仍是知识论的核心定义。在形式语义学中,这个定义中的"真信念"成分通过模态逻辑和可能世界语
【机 构】
：
苏州大学政治与公共管理学院哲学系,江苏苏州,215123
论文部分内容阅读
在当代知识论中,柏拉图"确证的真信念"(justified true belief)的知识的三元定义仍是知识论的核心定义。在形式语义学中,这个定义中的"真信念"成分通过模态逻辑和可能世界语义学,已经给出了一种形式的刻画。但与此同时,柏拉图定义中的"确证"要素长期以来却缺乏一种形式的表征。于是,将"确证"引入形式认识论之中而构建的逻辑系统成为一种新型的认知逻辑。具有确证的认知逻辑连同通常的知识算子□F(F是可知的)包含了对确证的形式处理(断定t:F意味着t是对F的确证)。同时,该系统还为这种逻辑提供了可能世界语义学,该语义学扩展了具有确证断定的t:F的菲廷类型的克里普克模型。
其他文献
摘要：随着社会的不断发展与快速进步，中国的水墨画空间处理已经成为了诸多画家探讨最多的话题之一。通常在人们欣赏一幅作品的时候，首先关注到的就是整体画面的结构，即空间布局。这空间布局不仅仅只是整体画面的一个部署，更是决定这幅水墨作品的重要因素。所以，空间处理是体现中国水墨画作品意的关键点。因此，对中国水墨画空间处理的探析，是非常重要的。 关键词：中国水墨画；空间处理；空间布局 中国水墨画，作为中华
《清华大学藏战国竹简(壹)》中有一篇名为《楚居》的简文,写在16支竹简上.该篇简文内容主要叙述了“自季连开始到楚悼王共二十三位楚公、楚王的居处与迁徙”[1](P180).《楚居
摘要：自然界中有很多本身就具有十分优美的造型形象的物象可以入画。本篇论文就芭蕉这一物象在山水画中的表达作一个简要的分析，把这种南方普遍存在的物象在画中的归纳方法、造型手法、以及传达的形式美感进行一个初步的探讨与研究。 关键词：芭蕉；山水画；造型；意境 一、芭蕉形态与特征 芭蕉在我国南方普遍存在，叶子长圆肥大，生长高度可达六七米高。芭蕉的果实大类分为两种，一种是香蕉，一种是味道相比香蕉略微偏酸
教育国际化是当今世界高等教育的潮流,也是中国高等教育发展的方向,拓展教育国际合作与交流是高等教育国际化的趋势和要求,围绕学校＂十二.五＂发展规划中国际合作与交流的指导思
云南马关县马洒村是一个典型的壮族村寨,也是整个马关县壮族传统文化保存最完整的地方。本文通过对马洒村的传统民俗文化进行个案阐释,试图分析当地民俗传播与社会变迁的关系
目的:分析和研究传染科肝炎治疗用药疗效.方法:将我院传染科在2015年5月至2017年5月期间收治的136例慢性乙型肝炎患者作为研究对象,按照患者入院单号单双数将其分为参照组和
爱伦·坡在他的科幻小说中,揭示了人类的异化现象:人变成了重占有的人,现代社会很多人具有分裂的人格;人与自然关系的被异化;通过这些异化现象的描写,他表达了对人类命运的担
上世纪末以来，以图像化艺术为中心的艺术表现层出不穷，“图像化”作为一种潮流，并在商业方面取得巨大的成功。很短的时间内，各种图像出现在人们的视野中。然而，今天的图像化作品并
摘要：动物是人类的朋友。这在任何国家都是一个共通的概念。但是不同国家对不同动物的认知与情感态度却有一定的差异。本文将浅析一些动物在中西方的不同文化背景下的褒贬意义以及相关文化信息。 关键词：跨文化；动物；文化信息 一、动物在中西方象征的文化信息的异同 （一）相同动物不同国家表达相同文化信息 在中国，狐狸是狡猾的代表，西方用“as cunning as a fox”来形容像狐狸一样狡猾。鸟可