蒙塔古内涵逻辑研究

发布时间：2023-10-21 13:38

　　本文根据弗雷格对于内涵问题的思考,给出了评价内涵逻辑的两个标准即内涵刻画标准和解决内涵难题标准。根据这两个标准,现代内涵逻辑存在两种基本的解决策略：还原主义路径(由卡尔纳普奠基)和内涵主义路径(由丘奇奠基)。从内涵逻辑发展历史来看,蒙塔古内涵逻辑从语形上继承了丘奇简单类型论的语形,从语义上接受了卡尔纳普对于内涵语义的建构。本文从蒙塔古提出内涵逻辑的基本动机入手,阐释了蒙塔古“普遍语法”的设想及其内涵逻辑系统IL的语形和语义,并对于蒙塔古内涵逻辑的成效与不足做出评价。本文认为,蒙塔古试图用一种严格的数学方法将逻辑学家长期认为的一对矛盾(即外延逻辑主义的严格性与自然语言内涵歧义性与内涵性)解决掉,这是一次颇具胆识和智慧的尝试,但他所提出的内涵逻辑系统,能够解决内涵难题1,但无法解决内涵难题2和内涵难题3。蒙塔古之后,许多逻辑学家试图弥补蒙塔古内涵逻辑的不足,从而把有关内涵问题的讨论进一步引向深入。针对这些逻辑学家所做的工作,本文揭示了内涵逻辑所面临的二难困境,并指出用一种统一的内涵标准来发展内涵逻辑是不可能的。

【文章页数】：57 页

【学位级别】：硕士

【文章目录】：
附表
摘要
Abstract
目录
绪论
第一章 弗雷格的内涵理论纲要与内涵难题
第二章 前蒙塔古的内涵逻辑：卡尔纳普与丘奇
    第一节 还原主义的进路——卡尔纳普的内涵逻辑思想
    第二节 内涵主义的进路——丘奇的内涵逻辑思想
第三章 蒙塔古论自然语言与人工语言
    第一节 蒙塔古对于自然语言与人工语言关系的思考
    第二节 普遍的语形和语义
    第三节 自然语言与人工语言的统一
第四章 蒙塔古内涵逻辑系统IL
    第一节 IL系统的基本架构
    第二节 内涵逻辑系统IL
第五章 蒙塔古内涵逻辑的意义和发展
    第一节 蒙塔古内涵逻辑的意义和不足
    第二节 对于某些未决问题的可能解决方案
参考文献
致谢



本文编号：3855938