认识论逻辑
又叫认知逻辑,是数理逻辑在哲学认识论方面的应用和发展,它所处理的是诸如知道、相信、主张、断定、怀疑等认识论范畴之内所产生的逻辑结果。它不处理事实逻辑的基本事实结果,即不处理那些确实怎样、必然或可能怎样的情况,而是处理与人们知道、相信、主张或怀疑其怎样有关的情况。早在古希腊,柏拉图、斯多亚派就已触及到认识论逻辑的问题;本世纪50年代,芬兰逻辑学家冯·莱特(G·H·von Wright)在他的著作《道义逻辑》和《模态逻辑》中,除了研究原有的真值模态逻辑之外,还提出了道义模态逻辑和认知模态逻辑(即认识论逻辑)两种新的模态逻辑,开创了认识论逻辑研究的新方向,从此 ...... (共440字) [阅读本文]>>