华大文库---魏燕侠著:《现代汉语言说类话语标记研究》
发布时间:2018-01-02 浏览次数:

《谓词抽象研究》简介

一、 篇章结构

第一节  现代模态逻辑的建立及存在的问题

第二节  西方哲学研究中的逻辑分析传统

第三节  谓词抽象:主题与脉络

第一章 谓词抽象的观念与发展历程

第一节  一类特殊的日常语言歧义现象及其哲学意义

第二节  谓词抽象思想的引入

第三节  菲汀与谓词抽象的完善

第二 谓词抽象与模态Herbrand定理

第一节 经典Herbrand定理

第二节 模态系统K′Herbrand定理

第三章 模态系统K′Herbrand定理的证明

第一节 从右到左方向的证明

第二节 加标公式表列系统K′

第三节 第三节 从左到右方向的证明

第四章 模态系统D′T′S4′Herbrand理及其证明

第一节 模态系统DTS4Herbrand定理

第二节 模态系统D′T′S4′Herbrand定理的证明

第五章 谓词抽象与同一问题

第一节 形而上学视阈下的同一问题

第二节 逻辑视阈下的同一问题

第三节 谓词抽象视阈下的同一问题

第六章 谓词抽象与摹状词理论

第一节 经典逻辑视阈下的摹状词指称问题

第二节 模态逻辑视阈下的摹状词指称问题

第三节 谓词抽象视阈下的摹状词指称问题

第七章 谓词抽象与葛梯尔问题

第一节 葛梯尔问题及传统解答方案

第二节 葛梯尔问题的认知逻辑解答方案

第三节 谓词抽象视阈下的葛梯尔问题

参考文献

二、 基本内容

       本书共分为三个部分:引言、第一部分(谓词抽象的逻辑研究)和第二部分(谓词抽象的哲学应用)。引言从分析现代模态逻辑的建立及存在的问题入手,引出作者所提倡的哲学问题分析和解答的方式——逻辑分析的方式,并提出谓词抽象是一种解决问题的希望。第一部分包括第一章至第四章。第一章将分析谓词抽象的基本思想与观念。第二章与第三章将介绍逻辑学家菲汀如何从考虑谓词抽象的一阶模态逻辑系统获得并证明模态Herbrand定理的工作。在第四章中,作者在菲汀工作的基础上继续展开研究,获得并证明其他模态系统的Herbrand定理,扩大了谓词抽象在Herbrand定理证明方面的应用范围。第二部分包括第五章至第七章。第五章将从谓词抽象的角度讨论哲学中的重要问题——同一问题。第六章将从谓词抽象的角度对摹状词理论做出分析。第七章从谓词抽象的角度对当代知识论的核心问题——葛梯尔问题做出分析。

三、 主要创新

       本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand定理研究的难题从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于同一问题、摹状词理论以及葛梯尔问题等相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。

四、 社会影响

本书适合哲学专业,逻辑学专业的师生和研究人员参考阅读。同时,本书对于数学、计算机自动定理证明等方向的读者具有重要参考价值。