雅各·辛提卡
生平
1929年生于芬蘭的一個南部城市萬塔。在佛羅里達(dá)州立大學(xué)、斯坦福大學(xué),赫爾辛基大學(xué)和芬蘭學(xué)術(shù)院執(zhí)教多年。去世前他是波士頓大學(xué)的哲學(xué)教授。在數(shù)理邏輯、哲學(xué)邏輯、數(shù)學(xué)哲學(xué)、認(rèn)知、語言邏輯和科學(xué)哲學(xué)方面出版和發(fā)表了30多部著作和300多篇論文。
辛提卡被認(rèn)為是認(rèn)知邏輯和博弈語義邏輯的創(chuàng)始人。在其早期職業(yè)生涯中,他提出了模態(tài)邏輯的語義本質(zhì)上類似于索爾·阿倫·克里普克的關(guān)系語義(或譯為Kripke語義或框架邏輯),并和艾弗特·威廉·貝斯(Evert Willem Beth)分別獨(dú)立發(fā)現(xiàn)了現(xiàn)在廣泛使用的語義tableau。
去世前的近十年里,他主要致力于博弈邏輯和被認(rèn)為是IF邏輯上面。他對亞里士多德、卡特、維特根斯坦、查爾斯·桑德斯·皮爾士等人的解說工作。辛提卡的主要工作是在對由布倫塔諾和皮爾士建立,由羅素和弗雷格推動,進(jìn)而又卡納普、奎因和辛提卡的老師喬治·亨利克·馮·賴特的貢獻(xiàn)的邏輯的延伸。例如:1998年,辛提卡出版的《數(shù)學(xué)原理再探》可以與羅素在1903年寫的《數(shù)學(xué)原理》一書相媲美。
辛提卡在1962-2002年是一名荷蘭的國際《綜合》雜志的編輯,并且曾經(jīng)是十幾名編輯的顧問。他是第一屆國際哲合會的副主席(1993-1996年),也是美國哲學(xué)協(xié)會、國際歷史和科學(xué)哲合會、符號邏輯協(xié)會的一員,政府創(chuàng)辦的科學(xué)哲學(xué)協(xié)會的一員。在2005年,他贏得了羅爾夫·紹克獎。
免責(zé)聲明:以上內(nèi)容版權(quán)歸原作者所有,如有侵犯您的原創(chuàng)版權(quán)請告知,我們將盡快刪除相關(guān)內(nèi)容。感謝每一位辛勤著寫的作者,感謝每一位的分享。
- 有價值
- 一般般
- 沒價值
{{item.userName}} 舉報
{{item.time}} {{item.replyListShow ? '收起' : '展開'}}評論 {{curReplyId == item.id ? '取消回復(fù)' : '回復(fù)'}}
{{_reply.userName}} 舉報
{{_reply.time}}