语言的逻辑句法
豆瓣
[德] 卡尔纳普 译者: 夏年喜 / 梅剑华
简介
《语言的逻辑句法》是卡尔纳普最重要的哲学著作，它系统阐述了卡尔纳普成熟期的基本哲学思想。该书德文版，出版于1934年，英文版出版于1937年，卡尔纳普在英文版序言中明确地说：“这个英文版包含了一些原始德文版中没有的章节”，此外“我还对有些地方做了补充和更正”，其中有些补充和更正很重要。
所谓语言的逻辑句法指的是对一种语言的语言形式的形式化理论的系统表述，亦即对约束语言的形式化规则以及根据规则所获得的后承的系统表述。逻辑句法的目标是提供一个概念系统，即提供一种语言，这种系统可以精确表述逻辑分析的结果。所以，本书试图提供的是一种以精确的句法方法为形式，解决科学逻辑诸多问题的必要工具。
contents
英文版前言
序言
导论
§1．什么是逻辑句法
§2．作为演算的语言
第一部分 确定的语言Ⅰ
A．语言Ⅰ的形成规则
§3．谓词与函子
§4．句法的哥特符号
§5．联结符号
§6．全称句和存在句
§7．K-算子
§8．定义
§9．句子与数字表达式
B．语言Ⅰ的变形规则
§10．对变形规则的一般评论
§11．语言Ⅰ的初始句
§12．语言Ⅰ的推理规则
§13．语言Ⅰ中的推导和证明
§14．语言Ⅰ的后承规则
C．论语言的确定形式
§15．确定的与不确定的
§16．论直觉主义
§16a．同一性
§17．句法中的宽容原则
第二部分 语言Ⅰ句法的形式构造
§18．语言Ⅰ的句法能够在语言Ⅰ中得到系统的表述
§19．句法的算术化
§20．一般术语
§21．形成规则：（1）数字表达式和句子
§22．形成规则：（2）定义
§23．变形规则
§24．描述性句法
§25．算术的、公理的和物理的句法
……
第三部分 不确定的语言Ⅱ
第四部分 一般句法
第五部分 哲学与句法
参考文献和人名索引
索引
