概念分析的奠基与发展

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

From Frege's Begriffsschrift to the Birth and Development of Modal Logic

This paper studies the relationship between first-order logic and modal logic.First,the historical and theoretical background of Frege's Begriffsschrift is reviewed and we show that Frege made great contribution in starting a tradition of formalization and axiomatization in logic research.Then the problem of the material implication in Begriffsschrift is illustrated and we show how modal logic began with a direct aim of solving it.After that,we present a brief history of modal logic and explain how its tech...