首页 | 本学科首页   官方微博 | 高级检索  
     检索      

概念分析的奠基与发展
引用本文:刘奋荣.概念分析的奠基与发展[J].自然辩证法研究,2011(4).
作者姓名:刘奋荣
作者单位:清华大学哲学系;
摘    要:本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,探讨其形式化和公理化研究方法对逻辑研究的历史贡献。接着,我们重点关注经典一阶逻辑所采用的实质蕴涵概念的意义,表明这样的蕴涵概念如何导致实质蕴涵悖论。接着,文章考察了模态逻辑如何在解决实质蕴涵的悖论中产生,后来如何为哲学概念的分析提供有力的工具和技术。

关 键 词:一阶逻辑  模态逻辑  动态逻辑  

From Frege's Begriffsschrift to the Birth and Development of Modal Logic
LIU Fen-rong.From Frege's Begriffsschrift to the Birth and Development of Modal Logic[J].Studies In Dialectics of Nature,2011(4).
Authors:LIU Fen-rong
Institution:LIU Fen-rong (Department of Philosophy,Tsinghua University,Beijing,100084,China)
Abstract: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...
Keywords:first-order logic  modal logic  dynamic logic  
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号