[语义悖论及其理论评价]朱建平

【语义悖论及其理论评价】朱建平.pdf所在单位.专 北逻辑学 研究方向:指导教师或推荐 人姓名、职称:马玉王式教授(在职人员填后者)学习期限:年月至年月本章还受到中世纪指代理论及塔斯基(T)等式的启发,初步论证 定义。在五、六两节,作者在宏观的背景下论述了随着逻辑学的发 展及语义论的种形式的出现,逻辑学与语义傳论二者之间的矛盾 越来越尖锐,语义停论使某些重要的语义概念面临“意义危机”,这种危机又促成了逻辑学的危机,矛盾到了非解决不可的程度,第 七节文章集中论述了现代逻辑中第一个解决语义学论的系统一一分支类型论。罗素是第一个把语言分为不同类型,并把它与解决学论 联系起来从而防止逻辑系统出现矛盾的人。作者对其理论上的成就 与不足进行了详细的评论。目 1序言 2语义论的定义 3亚里多德的逻辑学与“说谎者论 S4中世纪逻辑学家论“不可解命题”S5现代逻辑意义下的语义俘论(I)6现代逻辑意义下的语义论(I)7.语义学论与罗素分支类型论 3 8语义论与塔斯基逻辑语义学(I)16 9语义论与塔斯基逻辑语义学(正)*21 10语义俘论与塔斯基逻辑语义学(Ⅱ)*24 11由“异例”到“反例”,由经典逻辑到非标准逻辑13.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。