谓词抽象研究.pdf-魏燕侠-2017年版-社会科学文献出版社

合作推广
©本内容由知传链提供

谓词抽象研究.pdf-魏燕侠-2017年版-社会科学文献出版社

  1. 1、本内容来自版权合作机构,您在本站购买的阅读使用权仅限于您本人阅读使用,您不得/不能给任何第三方使用,由此造成的一切相关后果本平台保留向您追偿索赔的权利!版权所有,后果自负!
  2. 2、本文档为正版电子图书,虚拟物品付费之后概不接收任何理由退款。
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。

《华侨大学哲学社会科学文库》编辑委员会主编 贾益民副主编 曾路编委 (以姓氏笔画为序)马海生 王四达 王丽霞 庄国土 许少波 许斗斗 许培源孙锐 孙汝建 孙德明 李拉亚 李景源 宋振镇 张向前张禹东 陈旋波 林怀艺 周世兴 郑向敏 郑锦扬 赵昕东胡日东 胡培安 骆克任 贾益民 郭克莎 黄小萍 黄远水梁宁 程一辉 曾路发展哲学社会科学 推动文化传承创新——《华侨大学哲学社会科学文库》总序哲学社会科学是研究人的活动和社会历史发展规律、构建人类价值世界和意义世界的科学,是人类文化的核心组成部分,其积极成果有助于提升人的素质、实现人的价值。中国是世界文明古国,拥有丰富的文化历史资源——中华文化的发展是

您可能关注的文档

文档评论(0)

该用户很懒,什么也没介绍

认证主体知传链
IP属地四川
统一社会信用代码/组织机构代码
22222403MA16M69T22

相关文档

1亿VIP精品文档免费下

相关课程推荐