直觉主义否定及其变种

定　价：¥28.00

作　者：	刘佳秋著
出版社：	暨南大学出版社
丛编项：
标　签：	哲学哲学/宗教哲学理论

购买这本书可以去

ISBN：	9787566803924	出版时间：	2013-01-01	包装：	平装
开本：	16开	页数：	160	字数：

内容简介

　　长期以来，逻辑学界对否定概念的研究主要是从传统逻辑和现代逻辑相比较的方面展开，也有不少研究是通过运用现代逻辑形式化方法，从语形和语义两个角度探讨否定的含义、性质与特征。《直觉主义：否定及其变种》正是基于后一视角展开研究的。通观全文，有三方面新意：首先，在克里普克语义里，对直觉主义否定的真一条件给以新的解释，建立相应的新逻辑系统，并分别证明它们框架的可靠性与完全性。其次，对直觉主义否定展开进一步的探讨，将直觉主义否定推广到动态逻辑领域，在对象语言里引进新的动态直觉主义否定，并提出关于此否定的真一条件定义，研究其动态化后的性质和特征。

作者简介

暂缺《直觉主义否定及其变种》作者简介

图书目录

序
第一章引论
第二章直觉主义与否定概述
　第一节直觉主义概述
　第二节否定概念的历史回顾
　第三节非经典逻辑否定概要
第三章直觉主义否定
　第一节形式语言和形式系统
　第二节形式语义和可靠性
　第三节完全性
第四章直觉主义否定的强化与弱化
　第一节形式语言和形式系统
　第二节形式语义和可靠性
　第三节完全性
第五章直觉主义否定的动态化
　第一节形式语言和形式系统
　第二节形式语义和可靠性
　第三节完全性
第六章直觉主义否定与更新语义
　第一节形式语言和形式系统
　第二节形式语义和可靠性
　第三节完全性
第七章总结
参考文献
后记