https://wiki.taigi.ima.org.tw/w/index.php?action=history&feed=atom&title=%E9%9B%85%E5%90%84%C2%B7%E8%BE%9B%E6%8D%BE%E5%8D%A1 2026-06-02T07:13:41Z 本 wiki 上此頁面的修訂紀錄 MediaWiki 1.43.1 https://wiki.taigi.ima.org.tw/w/index.php?title=%E9%9B%85%E5%90%84%C2%B7%E8%BE%9B%E6%8D%BE%E5%8D%A1&diff=432150&oldid=prev 2025-08-22T16:47:23Z

<p>從 JSON 檔案批量匯入</p> <p><b>新頁面</b></p><div>&#039;&#039;&#039;卡洛 ・ 雅各 ・ 尤哈尼 ・ 辛捾卡&#039;&#039;&#039;（芬蘭語：Kaarlo Jaakko Juhani Hintikka，一九二九年正月初二—二空一五年八月十二號）， 芬蘭哲學家佮邏輯學家，主要貢獻為數學哲學佮邏輯，為公式化熟似邏輯的發明人。<br /> <br /> ==生平==<br /> <br /> 一九二九年生佇芬蘭赫爾辛基鄉鎮（現名做萬塔）。 佇佛羅里達州立大學、史丹福大學，赫爾辛基大學佮芬蘭學術院執教多年。過身進前伊是波士頓大學的哲學教授。佇數理邏輯、哲學邏輯、數學哲學、認知、語言邏輯佮科學哲學方面出版佮發表三十外部著作佮三百外篇論文。<br /> <br /> 辛提卡予人認為是認知邏輯佮博弈語義邏輯的創始人。佇咧其早期職業生涯中，伊提出著模態邏輯的語義本質上類似索爾 ・ 阿倫 ・ 克里普克的關係語義（或者是 Kripke 語義抑是框架邏輯）， 並佮艾蔭特 ・ 威廉 ・ 貝斯（Evert Willem Beth）分別獨立發現了這陣廣泛使用的語義 tableau。<br /> <br /> 過身進前的近十年內，伊主要是致力佇博弈邏輯佮予人認為是 IF 邏輯頂頭。伊對亞里斯多德、卡特、維根斯坦、男爾斯 ・ 桑德斯 ・ 皮爾士等人的解說工課。辛提卡的主要工課是佇咧對由布倫塔諾佮皮爾士建立，由羅素佮瑛雷格來推動，進而且猶閣卡納普、奎因佮辛提卡的老師喬治 ・ 亨利克 ・ 馮 ・ 賴特的貢獻的邏輯的延伸。比如講：一九九八年，辛提卡出版的《數學原理才探》會當佮羅素佇一九零三年寫的《數學原理》這冊相輸的代誌。<br /> <br /> 辛提卡佇千九百六十二-二空空二年是一名荷蘭的國際《綜合的》雜誌的編輯，並且捌是十外名編輯的顧問。伊是第一屆國際哲學聯合會的副主席 ( 一千九百九十三-一九九六年 )，嘛是美國哲學協會、國際歷史佮科學哲學聯合會、符號邏輯協會的一員，政府創辦的科學哲學協會的一員。佇二空空五年，伊贏會著羅福夫 ・ 紹克獎。<br /> <br /> ==參考文獻==<br /> <br /> ==外部連結==<br /> <br /> * Jaakko Hintikka in 三百七十五 humanists–二十 May 二千空一十五 . Faculty of Arts , University of Helsinki（英文）<br /> <br /> [[分類: 待校正]]</div>

TaiwanTonguesApiRobot