我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:双彩网 > 直觉主义逻辑 >

中国社会科学网

归档日期:06-24       文本归类:直觉主义逻辑      文章编辑:爱尚语录

  哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。

  哲学逻辑是以模态逻辑为代表的一类逻辑的总称。哲学逻辑并不是一个十分明确的概念,不同的人在使用哲学逻辑这个概念时所指的范围是不一样的。

  模态逻辑是与经典逻辑不同的一类逻辑。经典逻辑就是数理逻辑,它的建立和发展与数学密切相关。当初为了强调模态逻辑不是关于数学的,而是关于哲学的(因为必然性和可能性是哲学概念),将模态逻辑称为哲学逻辑。当初的哲学逻辑仅指模态逻辑,后来将许多与经典逻辑不同的逻辑都称为哲学逻辑。

  哲学逻辑最广的范围是指现代逻辑(只指演绎逻辑,因为其它种类的逻辑是否是逻辑人们的意见并不一致)中除经典逻辑外的所有逻辑。最窄的范围是指与模态逻辑类似的一类逻辑。

  最广的范围是一种否定的定义,不能说明哲学逻辑的含义。最窄的范围虽然有明确的含义,但必须在非常了解模态逻辑的情况下才能理解这种含义。

  哲学逻辑是从修改古典逻辑发展起来的一类逻辑,可以按对古典逻辑的不同的修改来对哲学逻辑作一个分类。这种分类是据我个人对逻辑的看法得到的,也是我个人对哲学逻辑的一种界定。

  古典逻辑的特征是外延性和二值性。外延性是说我们只考虑命题的外延。二值性是说外延只有两个值,真和假。

  (1)扩充古典逻辑,引进一些内涵性的算子,如模态、时态、 道义、认知等。它们是古典逻辑的扩充,所以也称为扩充逻辑。

  (2)修改古典逻辑,将常用的连接词解释为内涵连接词。 这类逻辑的哲学背景比较复杂。有直觉主义逻辑、相干逻辑等。它们将常用的连接词作另外的解释,所以也称为异释逻辑。

  ①多值逻辑大约产生于30年代,最早建立的、至今仍是最主要的三个三值逻辑都是与哲学有密切关系的。卢卡希维茨的三值逻辑是为了处理将来偶然命题,布茨瓦尔的三值逻辑是为了处理无意义(或悖论)的命题,克利尼的三值逻辑是为了处理人们不知道命题真假的情况。

  渐渐地,那些哲学问题在其它逻辑中有更为深入和细致的讨论,将来偶然命题在模态逻辑或时态逻辑中讨论,知道不知道的问题由认知逻辑处理,悖论问题也被人们证明不能由多值逻辑来解决。多值逻辑不是作为一种解决哲学问题的逻辑,而是作为一种代数系统在发展。所以人们一般不把多值逻辑当作哲学逻辑。

本文链接:http://kathala.net/zhijuezhuyiluoji/120.html