分析哲学中的逻辑量化模式渊源探讨
作者机构:阜阳师范大学 南京师范大学公共管理学院哲学系江苏南京210023 南京师范大学公管院江苏南京210023
出 版 物:《湖北社会科学》 (Hubei Social Sciences)
年 卷 期:2022年第3期
页 面:94-100页
基 金:国家社科基金“奎因著作翻译与研究”(16BZX069)的阶段性成果 安徽省教育厅人文社科重点项目“奎因的真理观研究”(SK2020A0987)的阶段性成果。
摘 要:逻辑语言作为一种形式语言,其起源根植于逻辑对日常语言的把握。谓词来源于日常语言中任何描述对象的性质词和关系词,普通名词也通过改写被纳入到谓词的范围。专有名词和单独摹状词可以运用摹状词理论进行改写并消除,变项承担了指称对象的功能。量化句“∃x{…x…}或“∀x{…x…}笼统地指称某一类对象。形式语言的语法具有更高的概括性和简单性,由逻辑词汇和谓词字母搭建而成,是形成逻辑推理的骨架。能够被纳入到逻辑形式语言中的内容,都需要遵从逻辑语法的制约。