当代中国逻辑学研究 1949-2009

本书侧重学术思想和学术观点的发展历史、发展过程，全面系统、综合地梳理和总结了中国逻辑学在当代（特别是新中国成立60年以来）思想理论体系发生、发展和演变的历史过程，认真总结所取得的巨大成绩、存在问题及主...

逻辑学 修订版

本书主要是供高等学校使用的逻辑学教材。该书选材新颖，即有逻辑基本理论，又有批判性思维tdyk。在逻辑基本理论方面，系统地介绍了概念、命题、推理、逻辑规律、逻辑方法、逻辑谬误等。在批判性思维方面，概括介绍...

受苦人的讲述 骥村历史与一种文明的逻辑

语言、逻辑与文化

本文集是作者从事逻辑学教学和研究以来的关于逻辑和语言的思考，对语言影响思维，思维进而影响逻辑类型进行了一些探索和尝试，特别是对被西方学者称之为过程语言的汉语以及被称之为关联性思维的中国型思维及其对...

执行的逻辑

本书是一本关于工作执行的书籍。其主要内容是一套简单易懂却又富有逻辑的工作执行方法。本书共分为七个章节，首先阐述了逻辑思考对工作的重要性，并提出了一套科学的工作方法；然后又在各章节中逐一讲解这套工作...

数字逻辑 第2版

本书是计算机科学与技术、软件工程等信息专业本科“数字逻辑”课程教材。 全书共分为九章，主要内容有：数字逻辑的基本概念、基本逻辑运算电路、逻辑代数和逻辑函数的化简、组合逻辑电路、触发器、时序逻辑电...

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

人文科学的逻辑

作者在本书中分五章探讨了人文科学的对象、自然与人文的不同感知方式、自然概念与人文概念的差异性、文化形式、文化价值与现代文化悲剧等重大问题，旨在从其“符号形式的哲学”出发解答人文与人文科学的可能...

新闻逻辑学

新闻逻辑学以传统逻辑为基本内容，同时将传统逻辑与新闻的特殊性相结合，努力将逻辑学与新闻学有机地融为一体。为此，新闻逻辑学的体系、内容以及对某些逻辑理论问题的阐释，将有别于一般的逻辑学教材：它一方面将省...

阶级与公民之间的政治：职工代表大会的实践空间与转型逻辑