华沙学派——一个几乎被历史遗忘的哲学、数学、逻辑学派(1)

热度 4 赛义甫 2018-2-17 12:09

一直想写一篇关于波兰华沙学派的文章，因为这个学派在数学、哲学、逻辑等领域贡献颇多。但由于这个学派不是处于西方主流中心加之这个学派的许多学者的论文多用本国文字因而流传不广，使得其影响力不如其它现代哲学流派那么耀眼。 促使我写这篇文章的另一个原因是国内外对这个学派的介绍与研究还属于凤毛麟角，就连大名鼎 ...

个人分类: 逻辑学|9931 次阅读|4 个评论 热度 4

浅谈类型论——阶和结构

热度 1 赛义甫 2017-1-20 13:43

谈到类型论，就不得不谈到一本书，一本计算机程序员狂热推崇的书：《计算机程序的结构与解释》（Structure and Interpretation of Computer Programming，简称SICP）。 对于不了解计算机专业的人来说，这本书也许就是一本和其它专业书籍一样的入门教科书，和外行人无关；而计算机专业或者正在从事IT产业的专业人员则 ...

个人分类: 计算|4473 次阅读|7 个评论 热度 1

哈斯凯尔·布鲁克·柯里——一个被埋没了的史诗般学者

热度 2 赛义甫 2017-1-20 00:26

Haskell Brook Curry——美国数学家和逻辑学家，一位在数理逻辑和计算机科学历史上里程碑式的存在，其名声不如阿兰·图灵那么响亮，其影响不如库尔特·哥德尔那么广泛，但是在真实的历史中，Curry对的人类的贡献完全可以和前者比肩。如果说图灵机是现代计算机程序设计语言的基本模型，那么可计算函数就是和图灵机等价的另 ...

个人分类: 计算|11351 次阅读|3 个评论 热度 2

三聊语义学——语义学到底是什么（四）？

热度 2 赛义甫 2016-12-23 03:33

前面我们谈到关于名称的语义是由指称义和感知义构成；指称义就是论域模型中的个体对象，而感知义则是介于符号系统和论域模型之间的概念体系，属于人的思维、精神世界。对这个领域的研究属于哲学范围，从2000年前的亚里士多德到近300年前的康德，都试图对这个概念体系进行明确的建模。本篇无力讨论亚氏和康德的范畴体系。 ...

个人分类: 语义论|7228 次阅读|2 个评论 热度 2

三聊语义学——语义学到底是什么（二）？

热度 2 赛义甫 2016-12-22 03:16

在前一篇讨论的最后我们提到了关于个体的数量对句子语义的影响，而个体数量映射到符号系统就是量词，换句话说，量词是对模型中个体数量的句法表达（denotation）。所以，作为完整的指称论，除了前面谈到的4要素之外还要再加上量词表达——量化研究 (quantification)。 指称论在中国的传统文化中有着重要的地位，孔子早就 ...

个人分类: 语义论|6303 次阅读|3 个评论 热度 2

三聊语义学——语义学到底是什么（一）？

热度 5 赛义甫 2016-12-21 14:49

前两次聊语义学，我们没有什么章法，想到那里就说到哪里，只是想通过这种形式引起读者对语义学的好奇心，不管是喜欢也好、讨厌也罢，至少让你知道了语义学大概是干什么的、以及这门学科和其它学科间的关系。如果你来到这里，至少说明你对语义学的关心超出了只看第一篇的读者，可能真的对语义学开始感兴趣了。本篇小文想把 ...

个人分类: 语义论|22181 次阅读|7 个评论 热度 5

再聊语义学

热度 1 赛义甫 2016-3-5 14:43

新春佳节，多了些码字时间，对语义学就再多聊几句。这次聊有几个重点： 把握语义的几个思路 对世界的认识 概念世界 世界、概念和语言 语义学方法和工具 在上篇《语义学漫谈》中我们主要聊了什么是“语义”的问题。通过这次聊天我们至少知道了一点：语义的研究在很多方面跟语言学的其它方面很不一样。像音素、词素、单词 ...

个人分类: 语义论|4026 次阅读|1 个评论 热度 1

闲聊语义学

热度 1 赛义甫 2016-3-5 14:40

什么是“语义学” (semantics)，或者，“语义学”是什么？大部分词典都将其定义为语言学的一个分支，研究语言的意义（meaning）。那什么是意义呢？词典的定义是：“语言或其它符号所表示的内容”。那什么是内容呢？词典的定义是：“事物所包含的实质和意义”。这样我们又回到原点：意义就是内容，内容就是意义。 这样看 ...

个人分类: 语义论|4884 次阅读|1 个评论 热度 1

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏