当代形式逻辑引论

本书作为真正的逻辑科学的传统形式逻辑源远流长,具有始终深深地植根于和自然语言形影不离的普通逻辑思考实...

2009.03

可能世界与智慧

本书介绍了模态逻辑发展的概况以及传统逻辑(形式逻辑)的基本内容等。

2005.01

形式逻辑·辩证逻辑·科学

希腊哲学家亚里士多德创立了形式逻辑,数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础...

2016.6

金岳霖解读《穆勒名学》

本书是金岳霖先生对《穆勒名学》的解读。

2005.07

形式逻辑要现代化

本书收集了我国著名逻辑学家张家龙研究员(曾任中国社会科学院哲学研究所逻辑室主任、中国逻辑学会会长)从...

2018.11

形式逻辑初稿

本书分为序言、判断、概念、推理、推理三段论、二难推理、省略体和复杂体、思维和语言在汉语中的表达形式、...

2015.12

形式逻辑浅谈

本书主要对形式逻辑相关内容进行了简要研究,内容包括:引论、形式逻辑的概念、判断(一)、判断(二)、思...

2015.7

当代形式逻辑及其在人工智能中的应用理论研究

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征,决定了其不可能具有从已知得出新知这种作为人类...

2010.12

求实逻辑九章

本书作者从概念和外延之间的关系、直言判断极其基本类型、直言判断词项的周延性、直言判断的换位推理、直言...

2010.8

普通形式逻辑理论与实践

本书介绍了普通形式逻辑的研究对象、性质和作用,并对普通形式逻辑涉及的概念、简单命题、简单命题推理、复...

2010.