达纳·斯科特
达纳·斯图尔特·斯科特（，），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。 简介 斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆佐·邱奇，1958年取得博士学位。 他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学…
标签：#模态逻辑学家
共 4 篇文章
索尔·阿伦·克里普克
索尔·阿伦·克里普克（，，音“克里普基”，），美国逻辑学家和哲学家，模态逻辑语义学创始人之一，首倡者之一。 生平 索尔·克里普克1940年11月出生于美国内布拉斯加州奥马哈的猶太人家庭，父亲迈尔·塞缪尔·克里普克是当地圣会领袖，母亲是儿童读物作家。克里普克是三个子女中的长子，从小便被冠以神童之名。克里普克六岁时开始自学古希伯来语；九岁通读莎士比亚的作品，小学毕业前他就已经相当了解笛卡尔的理论，且展现了极高的数学天赋。克里普克在十六歲時写…
查尔斯·桑德斯·皮尔士
查尔斯·桑德斯·皮尔士（， ；），中文常译為皮尔斯或帕爾斯，是美国哲学家、逻辑学家与数学家，被誉为“实用主义之父”。伯特兰·罗素曾称其为：“十九世纪后期最有独创性的思想家之一，当然也是有史以来最伟大的美国思想家。” 生平 1839年生于马萨诸塞州坎布里奇，早年在哈佛大学接受教育，后任教于霍普金斯大学。 皮尔士在其一生中被很大程度上忽视了，直到第二次世界大战对他的研究文献仍很缺乏。他的很多巨著仍未出版中譯本。他是数学、研究方法论、科学哲学…
亚科·欣蒂卡
卡洛·亚科·尤哈尼·欣蒂卡 }} 外部链接 * [http://375humanistia.helsinki.fi/en/humanists/jaakko-hintikka Jaakko Hintikka in 375 humanists – 20 May 2015. Faculty of Arts, University of Helsinki]