模态逻辑

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第686页（302字）

研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题，以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑，它们的形式化的公理系统，分别称为模态命题演算和模态谓词演算。现代模态逻辑以数理逻辑为基础，通过建立模态命题演算和模态谓词演算去研究模态推理形式。通常把关于逻辑必然和逻辑可能的模态逻辑称为标准模态逻辑，而把并不论述逻辑必然和逻辑可能，但具有类似于标准模态逻辑的性质的其他模态逻辑系统称之为非标准模态逻辑或广义模态逻辑。本世纪六十年代以前形成的非标准模态逻辑，主要有认知逻辑、道义逻辑和时态逻辑等。