搜索结果: 1-4 共查到“知识库 逻辑学 态”相关记录4条 . 查询时间(0.14 秒)
意向性、心智模态与心智逻辑
心灵 意向性 心智模态 心智逻辑
2012/3/20
将意向性的心灵活动与它们所指向或涉及的对象分割开来所得的一些'态度'，即为心智模态，它们由'相信'、'喜欢'、'坚持'等'心智模态词'所刻画。根据对象的种类，心智模态可划分为三种： 指向事态的认知模态、指向客体（包括人）的情感模态和指向行动的意志模态。它们可分别看成'从言模态'、'从物模态'和'从动模态'。心智模态词操作于相应的对象构成心智模态命题。心智模态逻辑或心智逻辑研究同种心智模态词构成的心...
模态逻辑·形式语义·文本符号
模态逻辑 形式语义 文本符号
2009/7/23
在外延逻辑中(1)(2)两句的意义由两个不相干的客观事件决定，p, q为真的条件是在句子外确实客观地存在着比如说手里举着棍子和骨头的驯狗师之类人物和正要射箭的弓箭手等，符号表达式为：
模态逻辑是关于必然性和可能性的逻辑，或者说，是关于“一定是”和“可能是”的逻辑。当然，必然性和可能性有不同的解释。真势模态逻辑把必然解释为必然真；道义逻辑（见第8章）则把必然解释为道义必然性或规范必然性。必然也可以指知道或相信为真，这是认知逻辑（见第9章）的解释；如果指总是为真或从此总是为真，则是时态逻辑（见第10章）的解释。另外也可以把“必然p”解释为“p是可证的”。本章以真势模态逻辑为重点概述...
摹略万物之然，论求群言之比——模态逻辑新观念述评
模态逻辑 新观念
2009/1/15
模态逻辑是一个多方面的学科，它起初在哲学中得名，在很长一段时间中作为“必然和可能的逻辑”而被人所知。但是，把模态逻辑视为关于“可能”和“必然”的逻辑至少在20世纪60年代末就已经过时。“模态语言是研究关系结构的一种简单但富于表达力的语言”、“模态语言为关系结构提供一种内部的、局部的视角”、“模态语言不是孤立的形式系统”，这就是关于模态逻辑的新观点（这种观点有时称为“阿姆斯特丹观点”）。新观点不再把...