搜索结果: 1-5 共查到“哲学 模态逻辑”相关记录5条 . 查询时间(0.128 秒)
4月27日上午,在文科楼101教室,中国人民大学余俊伟教授为我院2020级本科生带来了关于模态逻辑的课程,向同学们深入浅出地介绍了“模态逻辑的历史与现状”。郭建萍教授主持。在传统方面,余老师带领我们首先对模态概念进行了回顾。狭义的模态概念表达真势,分为必然和可能;广义的模态概念表达一种规范或信念。在亚里士多德模态逻辑那里,必然模态命题分为必然肯定和必然否定,可能模态命题有可能肯定和可能否定,它们构...
模态逻辑·形式语义·文本符号
模态逻辑 形式语义 文本符号
2009/7/23
在外延逻辑中(1)(2)两句的意义由两个不相干的客观事件决定,p, q为真的条件是在句子外确实客观地存在着比如说手里举着棍子和骨头的驯狗师之类人物和正要射箭的弓箭手等,符号表达式为:
模态逻辑是关于必然性和可能性的逻辑,或者说,是关于“一定是”和“可能是”的逻辑。当然,必然性和可能性有不同的解释。真势模态逻辑把必然解释为必然真;道义逻辑(见第8章)则把必然解释为道义必然性或规范必然性。必然也可以指知道或相信为真,这是认知逻辑(见第9章)的解释;如果指总是为真或从此总是为真,则是时态逻辑(见第10章)的解释。另外也可以把“必然p”解释为“p是可证的”。本章以真势模态逻辑为重点概述...
摹略万物之然,论求群言之比——模态逻辑新观念述评
模态逻辑 新观念
2009/1/15
模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为“必然和可能的逻辑”而被人所知。但是,把模态逻辑视为关于“可能”和“必然”的逻辑至少在20世纪60年代末就已经过时。“模态语言是研究关系结构的一种简单但富于表达力的语言”、“模态语言为关系结构提供一种内部的、局部的视角”、“模态语言不是孤立的形式系统”,这就是关于模态逻辑的新观点(这种观点有时称为“阿姆斯特丹观点”)。新观点不再把...
内蒙古师范大学法政学院普通逻辑学课件第七讲 模态逻辑
内蒙古师范大学法政学院 普通逻辑学 课件 模态逻辑
2009/1/15
内蒙古师范大学法政学院普通逻辑学课件第七讲 模态逻辑。