卡洛·亚科·尤哈尼·欣蒂卡（芬兰语：Kaarlo Jaakko Juhani Hintikka，1929年1月2日—2015年8月12日），芬兰利奥六世与逻辑学家，主要贡献为数学哲学与逻辑，为公式化认识逻辑的发明人。他在数理逻辑、哲学逻辑、数学哲学、认知、语言逻辑和科学哲学方面出版和发表了30多部著作和300多篇论文。
个人经历
1929年生于芬兰赫尔辛基乡镇（现名为万塔）。在佛罗里达州立大学、斯坦福大学，赫尔辛基大学和芬兰学术院执教多年。去世前他是波士顿大学的哲学教授。
1962年，欣蒂卡发表了“我思故我在，推理还是践言”在勒内·笛卡尔研究领域创造了一种新的诠释“我思”命题的“范式”——践言性诠释。1963年发表了论文“我思故我在：既是推理亦是践言”，进一步澄清自己的观点。1996年，受卡尔维诺小说《不存在的骑士》的启发，欣蒂卡又回忆其30多年前的论题，饶有兴致地撰写了论文《我思故谁在？》。
学术贡献
欣蒂卡被认为是认知逻辑和博弈语义逻辑的创始人。在其早期职业生涯中，他提出了模态逻辑的语义本质上类似于索尔·克里普克的关系语义（或译为Kripke语义或框架逻辑），并和艾弗特·威廉·贝斯（Evert Willem Beth）分别独立发现了现在广泛使用的语义tableau。