亚科·欣蒂卡

✍ dations ◷ 2025-10-28 20:06:18 #亚科·欣蒂卡

卡洛·亚科·尤哈尼·欣蒂卡（芬兰语：Kaarlo Jaakko Juhani Hintikka，1929年1月2日－2015年8月12日），芬兰哲学家与逻辑学家，主要贡献为数学哲学与逻辑，为公式化认识逻辑的发明人。

1929年生于芬兰赫尔辛基乡镇（现名为万塔）。在佛罗里达州立大学、斯坦福大学，赫尔辛基大学和芬兰学术院执教多年。去世前他是波士顿大学的哲学教授。在数理逻辑、哲学逻辑、数学哲学、认知、语言逻辑和科学哲学方面出版和发表了30多部著作和300多篇论文。

欣蒂卡被认为是认知逻辑和博弈语义逻辑的创始人。在其早期职业生涯中，他提出了模态逻辑的语义本质上类似于索尔·阿伦·克里普克的关系语义（或译为Kripke语义或框架逻辑），并和艾弗特·威廉·贝斯（Evert Willem Beth）分别独立发现了现在广泛使用的语义tableau。

去世前的近十年里，他主要致力于博弈逻辑和被认为是IF逻辑上面。他对亚里士多德、卡特、维特根斯坦、查尔斯·桑德斯·皮尔士等人的解说工作。欣蒂卡的主要工作是在对由布伦塔诺和皮尔士建立，由罗素和弗雷格推动，进而又卡纳普、奎因和欣蒂卡的老师乔治·亨利克·冯·赖特的贡献的逻辑的延伸。例如：1998年，欣蒂卡出版的《数学原理再探》可以与罗素在1903年写的《数学原理》一书相媲美。

欣蒂卡在1962-2002年是一名荷兰的国际《综合》杂志的编辑，并且曾经是十几名编辑的顾问。他是第一届国际哲学联合会的副主席(1993-1996年)，也是美国哲学协会、国际历史和科学哲学联合会、符号逻辑协会的一员，政府创办的科学哲学协会的一员。在2005年,他赢得了罗尔夫·绍克奖。

相关

顺磁性顺磁性（Paramagnetism）指的是一种材料的磁性状态。有些材料可以受到外部磁场的影响，产生跟外部磁场同样方向的磁化矢量的特性。这样的物质具有正的磁化率。与顺磁性相反的现象
明矾明矾（英语：Potassium alum，化学式：KAl(SO4)2·12H2O），又称钾铝矾、铝明矾、钾矾、白矾、生矾、羽涅或云母矾，可以用作净化水质、鞣制皮革、当作发粉或者代替硫酸铝作凡拉明蓝防染剂
焦磷酸亚铁焦磷酸亚铁是一种无机化合物，化学式为Fe2P2O7。焦磷酸亚铁可由氧化铁、铁粉和磷酸二氢铵（摩尔比为1:1:3）缓慢加热至1170K反应得到。草酸亚铁二水合物和磷酸二氢铵的反应可以制
徐中行 (明朝)徐中行（1517年9月5日－1578年11月11日），字子舆，一作子与，号龙湾、天目山人。浙江长兴县人。明朝文学家、政治人物。后七子之一。“美姿容，善饮酒”。浙江乡试第三十名，嘉靖二十九年（15
加布里埃莱·加蒂加布里埃莱·加蒂（意大利语：Gabriele Gatti，1953年3月27日－)）是一位圣马力诺的政治家，于2014年10月－2015年4月与马泰奥·菲奥里尼同时出任执政官。2012年9月18日，在圣马力诺反黑手党
下戈加滕巴赫河坐标：51°06′01″N 7°30′34″E / 51.100360°N 7.509393°E / 51.100360; 7.509393下戈加滕巴赫河（德语：Niedergogartener Bach），是德国的河流，位于该国西部，处于北莱茵-威斯特
宽尾鳞鲀属宽尾鳞鲀属（学名：）为鲀形目鳞鲀科的一属，分布于印度洋-太平洋海域以及大西洋东部海域。本属包括以下几种：
拉帕斯托拉 (巴拉圭)坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n
奥斯汀·巴恩斯奥斯汀·史考特·巴恩斯（英语：Austin Scott Barnes，1989年12月28日－），为美国职棒大联盟的捕手，目前效力于洛杉矶道奇。2011年美国职棒大联盟选秀，马林鱼队在第9轮选进巴恩斯，后来他在2015年登上大联盟，2020年拿下世界大赛冠军。而巴恩斯除了担任捕手外，也能担任内野手。2011年美国职棒大联盟选秀，巴恩斯在第9轮被马林鱼队选走。当时他从短期1A出发，到了2014年，球队将他升上3A，并以捕手和内野手这两个位置在栽培巴恩斯。2014年12月10日，马林鱼队将巴恩斯、Chris
G·K·吉尔伯特G·K·吉尔伯特（英语：Grove Karl Gilbert，1843年5月6日－1918年5月1日）是一位美国地质学家，美国地质调查局高级地质学家，曾在1892年和1909年两次担任美国地质学会会长，1899年任美国科学促进会主席，1900年获沃拉斯顿奖章。