概念分析的奠基与发展

摘要：

本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展.文章首先回顾了<概念文字>出现的历史背景和理论背景,探讨其形式化和公理化研究方法对逻辑研究的历史贡献.接着,我们重点关注经典一阶逻辑所采用的实质蕴涵概念的意义,表明这样的蕴涵概念如何导致实质蕴涵悖论.接着,文章考察了模态逻辑如何在解决实质蕴涵的悖论中产生,后来如何为哲学概念的分析提供有力的工具和技术.

关键词：一阶逻辑、模态逻辑、动态逻辑

所属期刊栏目：27

分类号：N031(科学的方法论)

在线出版日期：2011-07-13（万方平台首次上网日期，不代表论文的发表时间）

页码：14-19