咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >分析哲学中的逻辑量化模式渊源探讨 收藏

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

作     者:潘丹丹 翟玉章 

作者机构:阜阳师范大学 南京师范大学公共管理学院哲学系江苏南京210023 南京师范大学公管院江苏南京210023 

出 版 物:《湖北社会科学》 (Hubei Social Sciences)

年 卷 期:2022年第3期

页      面:94-100页

学科分类:01[哲学] 0101[哲学-哲学] 

基  金:国家社科基金“奎因著作翻译与研究”(16BZX069)的阶段性成果 安徽省教育厅人文社科重点项目“奎因的真理观研究”(SK2020A0987)的阶段性成果。 

主  题:谓词 变项 量化模式 形式语言 

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

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分