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