本书是在“首届信息、智能与逻辑高级学术论坛”的基础上编辑而成的。由三大部分组成。第一部分是通论，收集了5篇一般性讨论信息、智能与逻辑的重要文章，特别是提出了信息时代的基本科学问题是信息的结构和运动规律，核心基础理论是逻辑的论断。第二部分是特论，收集了5篇具体讨论某个特定逻辑系统的重要文章，特别是探讨了易经逻辑的数学化问题。这10篇文章集中反映了各位作者自己多年的研究心得，见解独特，能引发讨论，启迪思维。第三部分是论坛档案，收集了本次论坛的有关文件资料。

本书是在“首届信息、智能与逻辑高级学术论坛”的基础上编辑而成的。主要由通论和特论两部分组成，通论部分收集了5篇一般性讨论信息、智能与逻辑之间关系的重要文章，特别是提出了信息时代的基本科学问题是信息的结构和运动规律，核心基础理论是逻辑的论断；特论部分收集了5篇具体讨论某个特定逻辑系统的重要文章，特别是探讨了易经逻辑的数学化问题。这10篇文章集中反映了各位作者自己多年的研究心得，见解独特，能引发讨论、启迪思维。相信本书的出版能够在更大的范围内引起学术界对信息时代的基本科学问题和核心基础理论的关心和讨论。

凡具有大专以上文化水平，对信息、智能与逻辑感兴趣的读者均可阅读本书，本书也可供数学、数理逻辑、信息科学、智能科学、认知科学、逻辑学和人文学科方面的专家学者研究参考。

第一部分 通论

 探索信息世界的基本运动规律

 泛逻辑学研究纲要

 机制主义研究方法与人工智能统一理论

 辩证思维时代与辩证逻辑

 信息的定义、物理基础及其与基本自然规律的本质关系

第二部分 特论

 从易经逻辑到数理辩证逻辑

 弗协调逻辑与人工智能

 命题泛逻辑的语构理论研究

 复杂系统的柔性逻辑控制方法研究

 二层单准Pmlog与两种定理证明器之间的关系

第三部分 论坛档案

 论坛的特别约稿信和正式邀请信

 会议日程表

 部分发言要点

 协调学与泛逻辑

 本体语言及其在计算机科学中的应用

 数值逻辑学

 基于动态描述逻辑的知识表示和推理

 非单调推理的形式刻画——非单调推演

 Flexible Interval-valued Logics and Its Algebraic Structure

 论意识的层次

 自然语言函数对知识、常识的表示与定理证明

 论康托对角线法及实数集可数性问题的相对性及相关问题

 “强化谎者”悖论的简明消解

附录

 附录一 部分非标准逻辑与信息科学的关系

 附录二 部分泛逻辑学研究成果