Study on Academic Contributions of Jaakko Hintikka

　　作者简介：加布里埃尔·桑杜，芬 加布里埃尔·桑杜，赫尔辛基大学 哲学系，芬兰赫尔辛基 加布里埃尔·桑杜(Gabriel Sandu，1954- )，男，芬兰赫尔辛基大学哲学系理论哲学教授，芬兰文理科学院院士，欧洲科学院院士，国际哲学学院(IIP)院士、副主席，主要从事逻辑学、认识论和科学哲学研究。

　　译 者： 刘靖贤，辽宁大学哲学与公共管理学院。

　　原发：《湖北大学学报.哲学社会科学版》20156期

　　内容提要：雅各·亨迪卡是我们时代最有影响力的逻辑学家和哲学家之一，他在逻辑学和哲学方面都有重要的贡献。概括起来，雅各·亨迪卡在逻辑学和哲学方面的贡献包括认知逻辑以及由此派生出的关于跨界识别问题的解决方案和关于描述论和直接指称论之争的居中立场、探究的询问模型以及由此派生出的关于科学哲学概念的分析、博弈论语义以及由此派生出的关于自然语言量词的博弈论分析、IF逻辑以及由此派生出的关于数学基础和量子力学的哲学反思。

　　关键词：认知逻辑/博弈论语义/IF逻辑

　　标题注释：国家社会科学基金重点资助项目：12AZX008、12AZD072；国家社会科学基金青年资助项目：15CZX035

　　芬兰逻辑学家和哲学家雅各·亨迪卡(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属于μ，并且个体常项a出现在μ的公式中，那么p(a/x)属于μ

　　C9.如果(x)p属于μ，那么(x)p属于μ

　　C10.如果(x)p属于μ，那么(x)p属于μ

　　在C7中，p(a/x)是用a替换p中的自由变元而得到的结果。

　　等式a=b使情况变得更复杂：

　　C11.如果p属于μ，a=b属于μ，并且q除了在一个或多个地方a与b互换外与p相同，那么q属于μ

　　C12.对于任何个体常项a：a=a不属于μ

　　在1955年的工作中，亨迪卡用模型集给出了一阶逻辑的完全性证明。这项工作在多个方向得到发展。