雅各·辛捾卡

卡洛 ・ 雅各 ・ 尤哈尼 ・ 辛捾卡（芬蘭語：Kaarlo Jaakko Juhani Hintikka，一九二九年正月初二—二空一五年八月十二號）， 芬蘭哲學家佮邏輯學家，主要貢獻為數學哲學佮邏輯，為公式化熟似邏輯的發明人。

生平

一九二九年生佇芬蘭赫爾辛基鄉鎮（現名做萬塔）。 佇佛羅里達州立大學、史丹福大學，赫爾辛基大學佮芬蘭學術院執教多年。過身進前伊是波士頓大學的哲學教授。佇數理邏輯、哲學邏輯、數學哲學、認知、語言邏輯佮科學哲學方面出版佮發表三十外部著作佮三百外篇論文。

辛提卡予人認為是認知邏輯佮博弈語義邏輯的創始人。佇咧其早期職業生涯中，伊提出著模態邏輯的語義本質上類似索爾 ・ 阿倫 ・ 克里普克的關係語義（或者是 Kripke 語義抑是框架邏輯）， 並佮艾蔭特 ・ 威廉 ・ 貝斯（Evert Willem Beth）分別獨立發現了這陣廣泛使用的語義 tableau。

過身進前的近十年內，伊主要是致力佇博弈邏輯佮予人認為是 IF 邏輯頂頭。伊對亞里斯多德、卡特、維根斯坦、男爾斯 ・ 桑德斯 ・ 皮爾士等人的解說工課。辛提卡的主要工課是佇咧對由布倫塔諾佮皮爾士建立，由羅素佮瑛雷格來推動，進而且猶閣卡納普、奎因佮辛提卡的老師喬治 ・ 亨利克 ・ 馮 ・ 賴特的貢獻的邏輯的延伸。比如講：一九九八年，辛提卡出版的《數學原理才探》會當佮羅素佇一九零三年寫的《數學原理》這冊相輸的代誌。

辛提卡佇千九百六十二-二空空二年是一名荷蘭的國際《綜合的》雜誌的編輯，並且捌是十外名編輯的顧問。伊是第一屆國際哲學聯合會的副主席 ( 一千九百九十三-一九九六年 )，嘛是美國哲學協會、國際歷史佮科學哲學聯合會、符號邏輯協會的一員，政府創辦的科學哲學協會的一員。佇二空空五年，伊贏會著羅福夫 ・ 紹克獎。

外部連結

• Jaakko Hintikka in 三百七十五 humanists–二十 May 二千空一十五 . Faculty of Arts , University of Helsinki（英文）