以冯赖特的《道义逻辑》这篇经典性的论文为标志
以冯赖特的《道义逻辑》这篇经典性的论文为标志, 道义逻辑这门现代模态逻辑中的新学科, 从此就以独立的学科形式获得了学术界的认可。道义逻辑其后的发展, 都是由这部经典性文献直接或者间接地刺激起来的。
冯赖特创建的道义逻辑经典系统首先是现代模态逻辑的一个扩展, 3 0 年代模态逻辑系统的成熟, 是人们能够思考道义概念的一个理论基础。而道义模态和真势模态的类似, 则成为可以在真势模态逻辑的基础上建立道义逻辑系统的一个基本出发点。我们可以用一个表格来清晰地说明这两类模态之间的类似。
因为真势模态和道义模态的相似, 模态逻辑的基本框架就可以为道义逻辑所用, 模态逻辑的一些基本概念相应地就转换为道义逻辑的基本概念。例如模态逻辑中的真值和真值函项, 在道义逻辑中就成了实施值和实施函项。
同样地我们可以用模态逻辑的方法来定义道义逻辑中的其他一些概念, 例如各种逻辑联接词和道义模态。其中的道义模态的定义, 就如同真势模态把必然作为初始概念一样, 道义逻辑把道义模态中的允许作为模态词的初始概念, 允许是经典系统中惟一未被定义的道义范畴。
当初的哲学逻辑仅指模态逻辑
对于" 哲学逻辑" 的不同涵义, 我国的逻辑与哲学工作者的态度基本上是一致的, 即认为应该把" 哲学逻辑" 与" 逻辑哲学" 作出区分, 在前面所讲的第一种涵义上使用哲学逻辑一词, 而将第二种涵义的哲学逻辑称之为" 逻辑哲学例如, 郑毓信先生较早对" 哲学逻辑" 与" 逻辑哲学" 的涵义进行了梳理, 并提出了自己的看法。陈波先生著有《逻辑哲学导论》一书, 在书中, 他认为, 哲学逻辑是2 0 世纪3 0 年代至4 0 年代至年代开始兴起、5 0 年代蓬勃发展的一个新兴的逻辑学科群体, 它以数理逻辑为直接基础, 以传统的哲学概念、范畴以及逻辑在各门具体学科中的应用为研究对象, 构造出各种具有直接哲学意义的逻辑系统, 至于作为哲学的" 哲学逻辑" , 他认为, 应当改称为" 逻辑哲学" 。刘壮虎先生认为, 哲学逻辑是以模态逻辑为代表的一类逻辑的总称, 当初为了强调模态逻辑不是关于数学的, 而是关于哲学的, 将模态逻辑称为哲学逻辑。当初的哲学逻辑仅指模态逻辑, 后来将许多与经典逻辑不同的逻辑都称为哲学逻辑。
张清宇、郭世铭、李小五合著了《哲学逻辑研究》一书, 该书的主要内容包括一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、多值逻辑、相干逻辑、直觉主义逻辑、哥德尔不完全性定理等。从书中的研究内容可以看出, 他们对哲学逻辑的理解也是与陈波、刘壮虎先生的理解相同的。
The perfect video converter can convert between almost all popular video formats. It can convert SWF to Iaudio, convert SWF to Archos, convert SWF to Blackberry, convert SWF to DVD, convert Shockwave Flash to AVI easy and fast.