亚科·欣蒂卡

✍ dations ◷ 2025-09-14 05:31:06 #亚科·欣蒂卡

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

相关

健康问题塑料是指以高分子量的合成树脂为主要组分，加入适当添加剂，如增塑剂、稳定剂、抗氧化剂、阻燃剂、润滑剂、着色剂等，经加工成型的塑性（柔韧性）材料，或固化交联形成的刚性材料塑料最
SDLC系统发展生命周期（System Development Life Cycle,SDLC），也称软件生命周期，是系统工程、信息系统和软件工程中的术语，用于描述一个信息系统从规划、创建、测试到最终完成部署的全
哺乳形态类哺乳形态类（学名：Mammaliamorpha）是兽孔目犬齿兽亚目的一个演化支，包含了哺乳动物冠群与三瘤齿兽科最近共同祖先的所有后代，哺乳形类（Mammaliaformes）与巴西齿兽科（Brasilodontidae）
维甲酸综合征维甲酸综合症（英语：retinoic acid syndrome,RAS）是“全反式维甲酸（all-trans-retinoicacid,ATRA）综合症”的简称，是使用维甲酸治疗急性早幼粒细胞白血病(Acute promyelocytic leuk
cowsaycowsay是一个生成ASCII图片的程序，显示一头牛的消息。它也可以使用预先制作的图像，以生成其他动物的图片，如Linux的吉祥物企鹅。由于它是用Perl编写的，它也适用于其他系统，如微软
安东尼奥·帕奇诺蒂安东尼奥·帕奇诺蒂（意大利语：Antonio Pacinotti，1841年6月17日－1912年3月24日），意大利物理学家，比萨大学物理学教授。
玄武玄武是中国传统文化的四象之一、天之四灵之一，根据五行学说，它是代表北方的灵兽，形象是黑色的龟与蛇（或龟蛇），代表的季节是冬季。道教中后将玄武人格化为玄武神（又称玄天上帝、真武
林奇梅林奇梅（1947年3月7日－）是旅英女作家、诗人和翻译家，欧洲华文作家协会会员。林奇梅1947年3月7日出生于台湾嘉义，毕业于台湾铭传女子商业专科学校（今铭传大学），伦敦大学伯贝克学院，现居伦敦。创作散文、诗歌和少年儿童小说。多项作品获华文著述奖及中小学生评选推介优良课外读物。林奇梅以“厝鸟仔远飞”散文集，赢得侨联文教基金会九十三年华文著述奖散文类第一名。《伦敦寄语》、《厝鸟仔远飞》、《美的飨宴》、《金黄耀眼》、《青草地》、《老田巷》、《林奇梅童诗选——红女巫，风筝，小溪》、《稻草人杰克》、《稻草人贝克
艾玛猪笼草艾玛猪笼草（学名：），又名漏斗猪笼草（），是苏拉威西特有的热带食虫植物，生长于海拔1000米至2000米处。其与大猪笼草（）之间存在着密切的近缘关系，区别在于其具有红酒杯状的上位笼。其种加词“”得名于荷兰植物学家皮埃尔·约瑟夫·艾玛，他曾在荷属东印度群岛进行了广泛的研究，并发现了许多新物种。1938年，荷兰植物学家皮埃尔·约瑟夫·艾玛在中苏拉威西省发现了艾玛猪笼草。艾玛猪笼草的原始标本编号为“”，其包含一个雄性花序。仓田重夫在1984年的一期《食虫植物研究会杂志》中正式描述了艾玛猪笼草。1983年11月5
1010 WINSWINS (1010 AM)，是一家位于纽约市的中波广播电台。该电台由Entercom所有，节目以新闻为主。除了通过模拟传输外，1010 WINS还可通过高清数字广播 (HD radio)和互联网播出。1010 WINS的信号可覆盖纽约州南部和新泽西州北部。该电台同时也是当地收听率较高的电台之一。