MARC状态：审校 文献类型：中文图书 浏览次数：111
- 题名/责任者:
- 谓词抽象研究/魏燕侠著
- 出版发行项:
- 北京:社会科学文献出版社,2017
- ISBN及定价:
- 978-7-5201-1173-7/CNY59.00
- 载体形态项:
- 213页:图;24cm
- 丛编项:
- 华侨大学哲学社会科学文库.哲学系列
- 个人责任者:
- 魏燕侠 著
- 学科主题:
- 谓词逻辑
- 中图法分类号:
- O141.12
- 中图法分类号:
- B815.1
- 书目附注:
- 有书目 (第202-213页)
- 提要文摘附注:
- 本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
全部MARC细节信息>>
10楼南数、理科学借阅室