逻辑·语言·计算 马希文文选

马希文(1939-2000年)为我国计算语言学尊基人.与朱德熙先生共同组建北大计算语言学研究所. 　　本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20...

逻辑结构与逻辑工程学

本书是逻辑工程学的一般教材，是作者在多年工作、研究的基础上创作而成，原创性较强。本书主要介绍逻辑系统工程学、一般逻辑工程学、三维软件工程学、三维社会工程学、三维法制工程学、研究市场主体论等内容，全...

科学确证的逻辑与方法论

逻辑、历史与社会 科学合理性研究

逻辑与历史 现代科学方法论的嬗变

科学逻辑与科学方法论

本书内容包括：科学的进步与科学目标、问题之探究、观察和实验、假说与理论、科学史的方法论启示、科学革命的机制、系统工程方法论等。

逻辑、方法与创新

全书分为四部：第一部科学方法论，第二部科学逻辑的研究纲领与基本特征以及普通逻辑，第三部辩证逻辑及其与形式逻辑的区别，第四部邓小平哲学、人才和科技思想解读。全书分为四部：第一部科学方法论，第二部科学逻辑.....

实在论与科学的目标：科学发现的逻辑后记 1

本书呈现的是卡尔·波普尔关于科学哲学的研究模式，全书明确地反对把科学和哲学严格地区分开来，密切关注科学的历史和社会方面的因素，实际地阐明了他所研究的科学理论和实践中的实质性变化。...

现代性与自然科学的理性逻辑

本书把对近代自然科学的考察放在了现代性语境下，从现代性的两层意义的区分出发，具体分析了自然科学产生、发展以及相关问题与现代性的内在关联问题。近代科学的产生与发展是现代性逻辑展开的结果，正如海德格尔...

技术发展的历史逻辑