雅各·辛提卡

✍ dations ◷ 2025-08-10 16:13:51 #1929年出生,2015年逝世,芬兰哲学家,分析哲学家,21世纪哲学家,逻辑学家,数学哲学家,语言哲学家,俄罗斯科学院院士,挪威科学与文学院院士,博弈理论家,佛

卡尔洛·雅各·尤哈尼·辛提卡(芬兰语: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年,他赢得了罗尔夫·绍克奖。

相关

  • 昂利·庞加莱英国皇家天文学会金质奖章(1900年) 西尔维斯特奖章 (1901) 马泰乌奇奖章 (1905) 博尧伊奖(英语:Bolyai Prize) (1905)朱尔·亨利·庞加莱(法语:Jules Henri Poincaré,法语发音宽式
  • 詹姆斯·金斯詹姆士·霍普伍德·金斯爵士, OM FRS MA DSc ScD LLD(英语:Sir James Hopwood Jeans,1877年9月11日-1946年9月16日),英国物理学家、天文学家、数学家。金斯生于兰开夏郡奥姆斯柯克,
  • 英格玛·伯格曼安斯特·英格玛·伯格曼(瑞典语:Ernst Ingmar Bergman,瑞典语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans
  • 班吉班吉(法语:Bangui)是中非共和国首都,位于乌班吉河(Oubangi 或 Ubangi)西岸,东面和南面与刚果民主共和国接壤,是全球少数设于国界附近的首都之一。产棉花、咖啡、木制品,另有小工业区
  • Caeciliusetae见内文单
  • 胡里特人胡里安人是一个民族,据信由亚美尼亚山地迁徙而来。他们使用一种有主动格的胶着语,一般称为胡里特语,与乌拉尔图语有亲缘关系。相邻近的亚美尼亚语也与胡里安语有类似之处。 在
  • Mk 44巨蝮二式链炮Mk 44巨蝮二式链炮(英语:Mk 44 Bushmaster II)是一款由美国武器制造商阿连特科技系统公司(英语:Alliant Techsystems)(简称:ATK)所研制及生产的链炮(英语:Chain gun),发射30×173毫米(英语
  • 曹丕魏文帝曹丕(187年-226年6月29日),字子桓,沛国谯县(今属安徽亳州)人。三国时期曹魏开国皇帝,曹操和卞夫人的嫡长子,之后继承父亲的魏王封号与丞相的大权,最终东汉皇帝汉献帝禅让于其,曹
  • 绑定在计算机科学中,所谓的绑定(Binding)是指创造一个简单的参考(reference),并将它指向一个更复杂更大的结构以利后用。此简单参考可以替代此巨大结构,在之后的程序中轻盈地使用。下列
  • 2016年净选盟5.0集会2016年净选盟5.0集会(马来语:Perhimpunan Bersih 5.0;英语:Bersih 5.0 Rally)是马来西亚非政府组织干净与公平选举联盟(净选盟)于2016年11月19日在首都吉隆坡及全国各地主要城市举