【语义悖论及其理论评价】朱建平.pdf

所在单位.专北逻辑学研究方向:指导教师或推荐人姓名、职称:马玉王式教授(在职人员填后者)学习期限:年月至年月

本章还受到中世纪指代理论及塔斯基(T)等式的启发,初步论证定义。在五、六两节,作者在宏观的背景下论述了随着逻辑学的发展及语义论的种形式的出现,逻辑学与语义傳论二者之间的矛盾越来越尖锐,语义停论使某些重要的语义概念面临“意义危机”,这种危机又促成了逻辑学的危机,矛盾到了非解决不可的程度,第七节文章集中论述了现代逻辑中第一个解决语义学论的系统一一分支类型论。罗素是第一个把语言分为不同类型,并把它与解决学论联系起来从而防止逻辑系统出现矛盾的人。作者对其理论上的成就与不足进行了详细的评论。

目 1序言 2语义论的定义 3亚里多德的逻辑学与“说谎者论 S4中世纪逻辑学家论“不可解命题”S5现代逻辑意义下的语义俘论(I)6现代逻辑意义下的语义论(I)7.语义学论与罗素分支类型论 3 8语义论与塔斯基逻辑语义学(I)16 9语义论与塔斯基逻辑语义学(正)*21 10语义俘论与塔斯基逻辑语义学(Ⅱ)*24 11由“异例”到“反例”,由经典逻辑到非标准逻辑13.