亚科·欣蒂卡

✍ dations ◷ 2025-08-15 11:56:52 #亚科·欣蒂卡

卡洛·亚科·尤哈尼·欣蒂卡（芬兰语：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年,他赢得了罗尔夫·绍克奖。

相关

波斯尼亚波斯尼亚常作波斯尼亚和黑塞哥维那的简称。波斯尼亚也可解作：地方：参看:注：波斯尼亚与波斯无直接关系。
热传热有三种方式：根据传热的方式和工艺要求，设计热交换器，几乎各种化学工业都有热交换过程，需要各种热交换器。
u哈尔滨市/u (1953–1954)哈尔滨直辖市，中华人民共和国已撤消的直辖市。1949年时，中国大陆共设有12个直辖市，分别为：南京、上海、武汉（今武汉三镇）、鞍山、抚顺、沈阳、本溪、西安、北平（今北京）、天津、重庆
章利片章利片（根据《汉语官话方言研究》；《中国语言地图集》称章桓小片，归沧惠片）是冀鲁官话的一个分支，分布在山东省北部。该小片分两部分，中间有冀鲁官话沧惠片阳寿小片相隔。
苏班德里约参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：苏班德里约（印度尼西亚语旧拼写法：Soebandrio，新拼写法：Suba
中国农业大学出版社中国农业大学出版社是中华人民共和国的一家出版社，成立于1985年，社址位于北京市，由中华人民共和国教育部主管、中国农业大学主办。
越南第一共和国越南第一共和国（越南语：Đệ Nhất Cộng hòa Việt Nam）是越南共和国成立后的第一个政权，于1955年越南公民投票之后在越南南部成立。根据这次公民投票，保大的君主头衔被废除，吴
圣马利亚堂 (金奈)圣马利亚堂（St. Mary's Church）位于印度金奈的圣乔治堡，是苏伊士运河以东最古老的圣公会教堂，也是印度最古老的英国建筑，被称为“东方的西敏寺”。
中国图书馆分类法 (J)中国图书馆分类法：A，B，C、D、E、F、G、H、I、J、K，N、O、P、Q、R、S、T、U、V、X、Z、通用复分表
杨子立杨子立（1971年12月10日－），笔名羊子，男，河北大名人。1993年，本科毕业于西安交大工程力学系。1998年获得北京大学力学系硕士学位。毕业后至2000年4月就职于中国计算机软件开发总公司。 2000年8月，他与徐伟、靳海科、张彦华和张宏海成立“新青年学会”。2001年3月13日，被秘密拘捕。4月20日正式逮捕。2003年5月28日，北京市第一中级法院以煽动颠覆国家政权罪一审判处其有期徒刑八年、剥夺政治权利二年。11月10日，北京市高级法院二审维持原判。2009年3月12日，刑满出狱。