雅各·辛提卡

✍ dations ◷ 2025-11-21 03:58:17 #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年,他赢得了罗尔夫·绍克奖。

相关

  • 人体解剖学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学人体解剖学(英语:anthropotomy或human a
  • 锥虫锥虫(Trypanosoma,希腊语:trypaô钻,soma体)是一种带鞭毛的原生动物(鞭毛虫),它可寄生在多种温血动物和冷血动物中。布氏罗得西亚锥虫(Trypanosoma brucei rhodesiense)和布氏冈比亚锥
  • 自动调温器自动调温器(英语:Thermostat)也可以称为温度控制器,简称温控器,这个设备可以用来控制系统提供的温度,使得系统温度一直保持在用户所想要温度点附近,因为控制的温度不可能精确地一直
  • COsub4/sub四氧化碳是一种极不稳定的碳的氧化物,分子式为CO4。它被认为是在高温下二氧化碳(CO2)和氧(O2)发生交换反应的活性中间体。其中1个碳原子与3个氧原子形成一个四元环,另一个氧原
  • ɨ闭央不圆唇元音是母音的一种,使用于许多口语语言之中,其国际音标的符号为 ⟨ɨ⟩,另一种符号为 ⟨ï⟩,相对应的X-SAMPA符号则为 ⟨1⟩。表内成对的元音分别为不圆唇/圆唇。
  • 乔治·桑乔治·桑(Georges Sand,1804年7月1日-1876年6月8日),原名阿曼蒂娜-露西-奥萝尔·杜班(Amantine-Lucile-Aurore Dupin),是19世纪法国女小说家、剧作家、文学评论家、报纸撰稿人。她是
  • 马特洪峰马特峰(德语:Matterhorn,意大利语:Monte Cervino,法语:Mont Cervin)也称马特洪峰、切尔维诺峰,是阿尔卑斯山脉中最著名的山峰。马特峰的位置在瑞士、意大利边境,附近是瑞士瓦莱州小镇
  • 溪头大学池溪头(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Khe-th
  • 航空母舰战斗群航空母舰战斗群(英语:carrier battle group,缩写为CVBG、CVSG或CARBATGRU)是一支以航空母舰为首的作战舰队。这种舰队绝大部分由美国海军所拥有,是美国力量投射能力的重要部分。
  • 无始无明无始无明,佛教术语。无明可分两种:一念无明、无始无明。“无始无明”,是指对法界实相如来藏的智慧一无所知,因而直接或间接影响众生不能成就般若智慧功德与解脱生死,以及究竟圆满