数学联邦政治世界观
超小超大

逻辑句法综合论 (4-3)

在此基础上,卡尔纳普定义了句法学概念derivability。且通过算数化,利用语言I本身的算术词项定义了谓词“x是y从z的derivation”,不过由于缺少非约束存在量化子,“y于z是derivable”不可定义。所以derivability要在更为丰富的语言II中定义。

而derivability概念要区分于consequence概念,后者现在看来是一个语义学概念。卡尔纳普通过引入附加的句法规则infinitary rule(一般被称之为omega-rule或Carnap’s rule)。通过不完备性定理可得到,若consequence可以用omega-rule在derivaility基础上被定义,那么其外延必定超过derivaility。卡尔纳普用Diagonalization Lemma的一个语义学版本重构了这一结论。

在语言I中,卡尔纳普将分析性定义为“若一个句子是空集的consequence,则此句子为分析的”。而在语言II中的分析性和consequence的定义则更为复杂,是采用的类似于Tarski对真的递归定义的方式。Tarski认为卡尔纳普的consequence定义是一种语义学定义。

普遍句法。逻辑句法的哲学

“普遍句法”中可说的就是“逻辑性”(logicality)的一般定义。

卡尔纳普将只包含逻辑符号的句子定义为逻辑句子。而将逻辑符号定义为:具有“所有由S的members组成的语句A要么是空集的consequence(在这一情况下A为valid),要么所有语句都是A的consequence(此情况下A为contravalid)”这一性质的所有最大集合S的交集。

不过很快Mac Lane (1938)就指出这种定义logicality的方法是无效的。因为有可能不存在所要求性质的最大符号集合,即使有,也存在一些前语义学上不被认为是逻辑符号的特例。

卡尔纳普的“逻辑性”观点的另一个结论是将主张纯粹逻辑词项存在的陈述看作是逻辑的。这在现在被看作是mathematical存在的声明。

卡尔纳普在后来的《语义学导论》中放弃了对logicality的句法定义,并认为logical和descriptive的区分只能在语义学中进行。

为了让科学语言相对于科学本身是无异议的,卡尔纳普认为“科学逻辑学”必须是完全形式的(即后面所要讲的inferentialism),不能直接提及任何对象和过程,而只能言及对象语言中的语言构成物。因而作为“科学逻辑学”的哲学必须被限制在“formal mode of speech”上。

语义与logical inferentialism

SEP的卡尔纳普词条中提到了另一种看待逻辑句法的角度。

卡尔纳普拒绝提及逻辑符号的“meaning”,而专注于纯粹的句法。这意味着他接受了一种逻辑演算子的“证明论语义学”(proof-theoretic semantics),并且是一种“logical inferentialism”。也就是说,卡尔纳普将逻辑结合子的meaning看作是完全由这个语言系统的转换规则(其中的rules of inference)决定和定义的,所以其meaning可以认为是现代proof-theoretic semantics中所谓inferential meaning。

文献

关于这本书的介绍和讨论有相当多文献,详细可以参考SEP的卡尔纳普词条。此后若非必要,不再赘述。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

我的世界你最耀眼 连载中
我的世界你最耀眼
清挽月
纯原创随笔现古ABO可书评可投稿可求后续禁抄禁不打招呼不打原作者搬运不定时更新可催
1.6万字9个月前
收集十二星座法典 连载中
收集十二星座法典
暮幻
我是月昭,一个普普通通的人,在某一天捡到了一只小精灵,开启了收集星座法典的旅途……◎本文是看小花仙时的一个突发奇想,本文原创哦◎禁转载,不过......
0.1万字8个月前
穿书身死后我进阶成了白月光 连载中
穿书身死后我进阶成了白月光
宴今
一觉醒来,卓薇发现她穿进了她刚完成的那本修仙文中。更悲催的是,她发现她不是女主,不是女配,而是一个她笔下没有的人物——男主卓沛病弱且早死的亲......
7.8万字8个月前
道长大人求放过 连载中
道长大人求放过
小阿银
【本作品于2021.3.14签约】二十一世纪特种兵队长林风易,因为意外穿越到架空的修仙世界。从此林风易只好绑定系统,赚到金手指,开启睥睨修仙......
2.3万字8个月前
杂闻录之无奇不有2 连载中
杂闻录之无奇不有2
若雪……
来自树屋的故事我,白晓晓,一个打工仔意外得到一本游戏早晨,是忙里忙外,干劲满满的女仆夜晚,是贯穿游戏剧本的……女配角?“什么啊,怎么又是你”......
10.7万字8个月前
神兽金刚之归来离去 连载中
神兽金刚之归来离去
香肠嘎嘣脆
自从叶辉变成神石后,人类和九重天恢复了以往的平静,但有一天黑暗势力开始涌动,神兽战队能够阻止黑暗势力吗?
0.8万字8个月前