來源：互聯網
卡洛·亞科·尤哈尼·欣蒂卡（芬蘭語：Kaarlo Jaakko Juhani Hintikka，1929年1月2日—2015年8月12日），芬蘭利奧六世與邏輯學家，主要貢獻為數學哲學與邏輯，為公式化認識邏輯的發明人。他在數理邏輯、哲學邏輯、數學哲學、認知、語言邏輯和科學哲學方面出版和發表了30多部著作和300多篇論文。
個人經歷
1929年生于芬蘭赫爾辛基鄉鎮（現名為萬塔）。在佛羅里達州立大學、斯坦福大學，赫爾辛基大學和芬蘭學術院執教多年。去世前他是波士頓大學的哲學教授。
1962年，欣蒂卡發表了“我思故我在，推理還是踐言”在勒內·笛卡爾研究領域創造了一種新的詮釋“我思”命題的“范式”——踐言性詮釋。1963年發表了論文“我思故我在：既是推理亦是踐言”，進一步澄清自己的觀點。1996年，受卡爾維諾小說《不存在的騎士》的啟發，欣蒂卡又回憶其30多年前的論題，饒有興致地撰寫了論文《我思故誰在？》。
學術貢獻
欣蒂卡被認為是認知邏輯和博弈語義邏輯的創始人。在其早期職業生涯中，他提出了模態邏輯的語義本質上類似于索爾·克里普克的關系語義（或譯為Kripke語義或框架邏輯），并和艾弗特·威廉·貝斯（Evert Willem Beth）分別獨立發現了現在廣泛使用的語義tableau。
參考資料 >