模态逻辑

模态逻辑 正文　　逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。模态逻辑所研究的命题"必然 A"和"可能 A"与通常命题演算中的...讨论了这些命题之间的逻辑关系。他所提出的模态三段论，是至少有一前提是模态...

所属分类： 数学术语 模态逻辑 自动化 计算机术语

非经典逻辑

非经典逻辑 正文　　最广义的数理逻辑的组成部分之一。指运用特制的人工符号 语言和形式化方法研究演绎推理的规律及其相关的各种逻辑系统和理论。它包括模态逻辑、多值逻辑、构造逻辑、道义逻辑、时态逻辑、模糊逻辑等。（见...

关系语义

可能世界语义)是模态逻辑系统的形式语义，于 1950 年代晚期和 1960...，因为这种逻辑的模型论在 Kripke 之前实际上是不存在的。 模态逻辑的语义对于我们的目的，模态逻辑的语言由命题变量，读者喜欢的布尔连结词的...

所属分类： 科学 逻辑

认识逻辑

名称 认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个...其他领域。 认识逻辑的基本模态算子通常写为 K，它可以读做“有人知道..., Kb, etc.)来指示谈论的是哪个代理者。 特征 认识逻辑与真势模态...

道义逻辑

道义逻辑 正文　　一种非标准的模态逻辑。它研究“应当”、“可以”或...哲学有密切关系的模态逻辑。 　　早在12世纪，P.阿贝拉尔就把道义概念与...《模态逻辑》一书中，提出了一个不严格的道义逻辑系统，并提出一个判定道义逻辑...

泰奥弗拉斯多

增补了 5个式，这5个式后来成为第四格的5个式。他对亚里士多德的模态逻辑也作了改进。这首先表现为他在其模态逻辑的系统内取消了意义不确定的偶然性概念,代之以可能性概念,从而简化了模态逻辑的推演。亚里士多德曾提出，第一...

提奥弗拉斯特

逻辑也作了改进。这首先表现为他在其模态逻辑的系统内取消了意义不确定的偶然性概念,代之以可能性概念,从而简化了模态逻辑的推演。亚里士多德曾提出，第一...372～前287) 介绍 古希腊生物学家、逻辑学家。生于莱斯...

刘易斯，C.I.

来提出了严格涵蕴的概念，建立了一种模态逻辑系统。主要著作有：《符号逻辑概论...开创了现代的模态逻辑。他在1912年发表的《蕴涵与逻辑代数》论文中，批评...。后来他不断改进其模态逻辑系统，包括改进他所使用的符号,并提出了5个模态...

克里普克

简介 克里普克（1940～ ）Kripke，Saul Aaron美国逻辑学家，哲学家。曾任教于哈佛、哥伦比亚、康奈尔和洛克菲勒等大学，1977年任普林斯顿大学哲学教授，后升任麦科什讲座哲学教授。他是模态逻辑语义...

所属分类： 逻辑学家

模态模型论

模态模型论 正文　　模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向，即公理学、语义学和代数学方向之一的语义学方向。模态逻辑的关系语义学(又称关系模型论)一般公认...

搜索模态逻辑相关的维吧

1[2][3][4][5]下一页最后一页