亚科·欣蒂卡
卡洛·亚科·尤哈尼·欣蒂卡[1](芬兰语:Kaarlo Jaakko Juhani Hintikka,1929年1月2日-2015年8月12日),芬兰哲学家与逻辑学家,主要贡献为数学哲学与逻辑,为公式化认识逻辑的发明人。
亚科·欣蒂卡 Jaakko Hintikka | |
---|---|
2006年的亚科·欣蒂卡 | |
出生 | 芬兰赫尔辛基乡镇 | 1929年1月12日
逝世 | 2015年8月12日 芬兰波尔沃 | (86岁)
国籍 | 芬兰 |
母校 | 赫尔辛基大学 |
知名于 | |
奖项 |
|
科学生涯 | |
研究领域 |
|
机构 |
|
博士导师 | 乔治·亨里克·冯·赖特 |
生平
1929年生于芬兰赫尔辛基乡镇(现名为万塔)。在佛罗里达州立大学、斯坦福大学,赫尔辛基大学和芬兰学术院执教多年。去世前他是波士顿大学的哲学教授。在数理逻辑、哲学逻辑、数学哲学、认知、语言逻辑和科学哲学方面出版和发表了30多部著作和300多篇论文。
欣蒂卡被认为是认知逻辑和博弈语义逻辑的创始人。在其早期职业生涯中,他提出了模态逻辑的语义本质上类似于索尔·阿伦·克里普克的关系语义(或译为Kripke语义或框架逻辑),并和艾弗特·威廉·贝斯(Evert Willem Beth)分别独立发现了现在广泛使用的语义tableau。
去世前的近十年里,他主要致力于博弈逻辑和被认为是IF逻辑上面。他对亚里士多德、卡特、维特根斯坦、查尔斯·桑德斯·皮尔士等人的解说工作。欣蒂卡的主要工作是在对由布伦塔诺和皮尔士建立,由罗素和弗雷格推动,进而又卡纳普、奎因和欣蒂卡的老师乔治·亨利克·冯·赖特的贡献的逻辑的延伸。例如:1998年,欣蒂卡出版的《数学原理再探》可以与罗素在1903年写的《数学原理》一书相媲美。
欣蒂卡在1962-2002年是一名荷兰的国际《综合》杂志的编辑,并且曾经是十几名编辑的顾问。他是第一届国际哲学联合会的副主席(1993-1996年),也是美国哲学协会、国际历史和科学哲学联合会、符号逻辑协会的一员,政府创办的科学哲学协会的一员。在2005年,他赢得了罗尔夫·绍克奖。