分析哲学中的逻辑量化模式渊源探讨

摘要：

逻辑语言作为一种形式语言,其起源根植于逻辑对日常语言的把握.谓词来源于日常语言中任何描述对象的性质词和关系词,普通名词也通过改写被纳入到谓词的范围.专有名词和单独摹状词可以运用摹状词理论进行改写并消除,变项承担了指称对象的功能.量化句"?x{…x…}"或"?x{…x…}"笼统地指称某一类对象.形式语言的语法具有更高的概括性和简单性,由逻辑词汇和谓词字母搭建而成,是形成逻辑推理的骨架.能够被纳入到逻辑形式语言中的内容,都需要遵从逻辑语法的制约.

关键词：谓词、变项、量化模式、形式语言

分类号：B089(哲学流派及其研究)

资助基金：国家社会科学基金;安徽省教育厅人文社科重点项目

在线出版日期：2022-05-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：94-100