Jouko Väänänen,University of Amsterdam,

Holand,and University of Helsinki,Finland.

Dependence Logic

A New Approach to Independence

Friendly Logie

2007,225pp

Paperback,￡

ISBN 0-521-70015-9

J.瓦纳恩著

相关性在人类生活中是非常普遍的现象，例如在生态系统、天文、人类历史、证券市场中就处处可以见到。这就向人们提出对于相关性的逻辑加以研究的必要性。本书通过对Hintikka顺从无关性逻辑的精细的数学处理，给出相关性这个重要概念的系统逻辑研究，是关于这个主题的第一本专著，书的前身是作者在北欧一些大学所开设课程的讲稿，现正式出版，并被列为伦敦数学协会《大学生教材》系列丛书第70卷。

全书由8章及一个附录组成，各章内容如下：1.引论，给出顺从无关性逻辑概念的背景材料；2.全书的预备知识，给出关于逻辑的基本概念；3.讲述相关性逻辑的语法和语义学，给出数学模型和例子，以及有关基本定义，逻辑等价性和对偶性，一阶公式等，最后引进顺从相关性和顺从无关性概念，正文中穿插了不少简单易懂的例子；4.给出几种类型的更为复杂的顺从相关性的例子。第5~7章研究对策论语义学、相关性逻辑的模型论结果，并研究了它的复杂性。最后一章给出Hintikka引进的广义顺从无关性逻辑，研究了团队逻辑。正文各章包含200多个习题，附录给出它们的完整的解答。

阅读本书要具备基本的逻辑知识，本书对于逻辑专业的大学高年级学生、研究生是一本简明可读的材料，也可供科研人员参考。

朱尧辰，研究员

(中国科学院应用数学研究所)

Zhu Yaochen,Professor

(Institute of Applied Mathematics,Chinese Academy of Sciences)