PDF《认知悖论》

共指不能 仅从两个名称的字面上知道, 还必须诉诸别的认知要素和认知手段. 究竟诉诸哪些认知要素 或手段?不同的哲学家会有不同的选择.

二、欧洲中世纪的认识论悖论 欧洲中世纪对悖论做了大量的研究,当时的逻辑学家把悖论叫做 不可解问题 (insolubles) ,后者是一个令人误解的用法,因为他们也不认为悖论是不可解的,而只是解 决起来很困难.大阿尔伯特(Albert the Great,1193-1280)断言: 不可解问题是这样一个命 题,它由一个逻辑矛盾构成,无论承认矛盾的哪一方,都可以推导出对立的一方. 欧洲中 世纪的悖论研究开始于

12 世纪巴尔夏姆的亚当(Adam of Balsham, 1100?C1157?) ,他研 究了说谎者类型的悖论;

大阿尔伯特、罗马的吉勒士(Giles of Rome,1243-1316) 、西班牙 的彼得 (Peter of Spain,13 世纪, 生卒不详) 曾简要讨论过悖论;

到伪司各脱 (Pseudo-Scotus) 时期,悖论成为热门话题;

奥卡姆的威廉(William of Ockham,1288-1347)把关于悖论的讨 论列为他的逻辑教科书的专门章节, 自此以后, 悖论研究成为中世纪逻辑学的实质性部分之 一.当时的研究集中在两方面:一是提出了各种类型的悖论,二是提出了各种不同的悖论解 决方案. 欧洲中世纪逻辑学家在研究悖论的过程中,也涉及一大类与知道、相信、怀疑、犹豫这 类认识论概念相关的悖论,其中也涉及真、假等语义概念,它们就是我们目前讨论的 认知 悖论 .具体讨论略.

三、认知逻辑和逻辑万能问题 认知逻辑系统 从语形方面说,认知命题逻辑是在经典命题逻辑的基础上加一元认知算子 Ki 和Bi 构成 的,其中: KiA 表示:认知主体 i 知道 A;

BiA 表示:认知主体 i 相信 A. 这两个公式各自的语义解释是: KiA:在与认知主体 i 所知道的东西相容的所有可能世界中,A 是真的;

BiA:在与认知主体 i 所相信的东西相容的所有可能世界中,A 是真的. 我们先列表给出知道逻辑的特征公理: K Ki(A?B)?(KiA?KiB) D KiA?!Ki!A T KiA?A

4 KiA?KiKiA

5 !KiA?Ki!KiA .2 !Ki!KiA?Ki!Ki!A .3 Ki(KiA?KiB)?Ki(KiB?KiA) .4 A?(?Ki?KiA → KiA) 再列出知道逻辑系统的推理规则: MP 从A和A?B 推出 B RN 从A推出........