［芬］加布里埃尔·桑杜

（赫尔辛基大学哲学系，芬兰赫尔辛基）

芬兰逻辑学家和哲学家雅各·亨迪卡（Jaakko Hintikka）于2015年8月12日在芬兰波尔沃去世，享年86岁。从波士顿大学退休后，他与妻子在波尔沃度过了最后的岁月。

亨迪卡于1929年1月12日出生在芬兰的赫尔辛基市（万塔）。他从1947年开始在赫尔辛基大学学习数学、物理学和哲学，并且在1953年完成了关于分配范式的博士论文答辩。他在30岁时被任命为赫尔辛基大学的实践哲学教授。在其职业生涯中，雅各·亨迪卡在许多地方担任过重要职位，包括芬兰科学院（1970-1981）、斯坦福大学（1965-1982）、佛罗里达州立大学（1978-1900）和波士顿大学（1990-2014）。

亨迪卡是我们时代最有影响力的逻辑学家和哲学家之一。他出版了40本著作，编辑了20本文集，在国际期刊或论文集中发表了300多篇学术论文。他是现代逻辑的奠基人之一。他在1955年关于量化理论和模型集的工作是现在的标准参考文献。

模型集是相关的逻辑语言中的语句集，该语句集构成了对可能事态的描述。在命题逻辑中，一个模型集μ是任何满足特定封闭条件的语句的集合：

C1．如果p属于μ，那么p的否定﹁p不属于μ

C2．如果合取式（p∧q）属于μ，那么p和q都属于μ

C3．如果析取式（p∨q）属于μ，那么p和q至少有一个属于μ

C4．p的双重否定﹁﹁p属于μ，那么p属于μ

C5．如果﹁（p∧q）属于 μ，那么﹁p和﹁q至少有一个属于 μ

C6．如果﹁（p∨q）属于 μ，那么﹁p和﹁q都属于 μ

在谓词逻辑中，增加了另外4个条件来适应“存在一个x使得p”即（∃x）p和“对于所有的x来说p”即（∀x）p这两个类型：

C7．如果（∃x）p属于 μ，那么至少有一个个体常项a，p（a/x）属于 μ

C8．如果（∀x）p属于……