| 单词 | 模态逻辑 |
| 释义 | 【模态逻辑】 拼译：modal logic 模态逻辑是数理逻辑的一个分支，研究“必然”、“可能”、“不可能”和“偶然”等所谓“模态”概念的逻辑学说。这里“模态”一词是英语的词“model”的音译，而“model”又来自“modes of truth”(真的方式)中的“modes”一词。早在中世纪就有人对此进行研究，直到19世纪末至20世纪初，H．麦科尔这位逻辑学家迈出了近代模态逻辑研究的第一步，他在自己的著作中第一次指出了所谓“蕴涵佯谬”。由于他没提出任何公理，所以他的系统与当代的研究不大相同。C．I．列易斯是现代模态逻辑的奠基人，他提出的五个模态系统S1～S5，特别是S4和S5都是最著名和研究得最多的模态系统。他与C．H．兰福德合著的于1932年出版的名著《符号逻辑》，是现代模态逻辑学的经典著作。 |
| 随便看 |
科学参考收录了7804条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。