dvbbs
收藏本页
联系我们
论坛帮助
dvbbs

>> 时事文摘与学习资料
搜一搜相关精彩主题 
哲学论坛.中国会馆区【藏经楼】 → 模态逻辑

您是本帖的第 1661 个阅读者
树形 打印
标题:模态逻辑
农民兄弟
帅哥哟,离线,有人找我吗?
等级:超级版主
文章:273
积分:2924
门派:无门无派
注册:2009-05-17
楼主
用支付宝给农民兄弟付款或购买其商品,支付宝交易免手续费、安全、快捷! 点击这里发送电子邮件给农民兄弟

发贴心情
模态逻辑

模态逻辑

  模态逻辑
  modal logic
  研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项,前者不是。因为,当A真时 ,“必然A”既可以是真也可以是假 ;当A假时,“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下,美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末,卡尔纳普开始从语义方面研究模态逻辑。50年代末~60年代初,S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论,提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展,出现了许多新的系统,特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质,因而具有深刻的哲学意义。
ip地址已设置保密
2009-08-29 11:59:15

 1   1   1/1页      1    
京ICP备 号
Powered By Dvbbs Version 7.1.0 Sp1
世界华语哲学联合会 邮箱djcm3560@sina.comhttp://哲学论坛.中国
页面执行时间 0.18750 秒, 5 次数据查询