发表于2024-12-28
{RT}谓词抽象研究-魏燕侠 社会科学文献出版社 9787520111737 pdf epub mobi txt 电子书 下载
图书基本信息 | |||
图书名称 | 谓词抽象研究 | 作者 | 魏燕侠 |
定价 | 59.00元 | 出版社 | 社会科学文献出版社 |
ISBN | 9787520111737 | 出版日期 | 2017-12-01 |
字数 | 页码 | ||
版次 | 1 | 装帧 | 平装-胶订 |
内容简介 | |
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand 定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。 |
作者简介 | |
魏燕侠,2008 年获南开大学逻辑学博士学位,现为华侨大学哲学与社会发展学院副教授,研究方向为现代逻辑与逻辑哲学。2014 年曾公派访学美国Iowa 大学。主持了国家社科基金项目、教育部人文社会科学研究项目、福建省社会科学规划项目以及福建省教育厅A 类人文社科研究项目等。曾入选2013 年华侨大学哲学社会科学“百名学者培育计划”,在《哲学动态》《自然辩证法研究》《自然辩证法通讯》等专业杂志二十余篇。 |
目录 | |
精彩内容敬请期待 |
编辑推荐 | |
精彩内容敬请期待 |
文摘 | |
精彩内容敬请期待 |
序言 | |
精彩内容敬请期待 |
{RT}谓词抽象研究-魏燕侠 社会科学文献出版社 9787520111737 pdf epub mobi txt 电子书 下载