Can you summarize the following document?
        
  1929年生於芬蘭赫爾辛基鄉鎮(現名為萬塔)。在佛羅里達州立大學、斯坦福大學,赫爾辛基大學和芬蘭學術院執教多年。去世前他是波士頓大學的哲學教授。在數理邏輯、哲學邏輯、數學哲學、認知、語言邏輯和科學哲學方面出版和發表了30多部著作和300多篇論文。  辛提卡被認為是認知邏輯和博弈語義邏輯的創始人。在其早期職業生涯中,他提出了模態邏輯的語義本質上類似於索爾·阿倫·克里普克的關係語義(或譯為Kripke語義或框架邏輯),並和艾弗特·威廉·貝斯(Evert Willem Beth)分別獨立發現了現在廣泛使用的語義tableau。  去世前的近十年裡,他主要致力於博弈邏輯和被認為是IF邏輯上面。他對亞里士多德、卡特、維特根斯坦、查爾斯·桑德斯·皮爾士等人的解說工作。辛提卡的主要工作是在對由布倫塔諾和皮爾士建立,由羅素和弗雷格推動,進而又卡納普、奎因和辛提卡的老師喬治·亨利克·馮·賴特的貢獻的邏輯的延伸。例如:1998年,辛提卡出版的《數學原理再探》可以與羅素在1903年寫的《數學原理》一書相媲美。  辛提卡在1962-2002年是一名荷蘭的國際《綜合》雜誌的編輯,並且曾經是十幾名編輯的顧問。他是第一屆國際哲學聯合會的副主席(1993-1996年),也是美國哲學協會、國際歷史和科學哲學聯合會、符號邏輯協會的一員,政府創辦的科學哲學協會的一員。在2005年,他贏得了羅爾夫·紹克獎。
卡爾洛·雅各·尤哈尼·辛提卡(,1929年-1月2日-2015年-8月12日),芬蘭哲學家與邏輯學家,主要貢獻為數學哲學與邏輯,為公式化認識邏輯的發明人。