科学网

 找回密码
  注册
搜索
搜索
分享 认识逻辑应当从哪里开始?
热度 6 赛义甫 2017-9-14 05:10
近来,在《科学网博客》发了一些文章,这些文章有些是我过去的讲义,有些是我的读书笔记,没想到得到科学网和许多热心朋友的厚爱和鼓励,在此向所有浏览我的博客和留言朋友表示感谢。 目前我个人的关注是在逻辑、数学、语言、计算和哲学的交叉点,很难用一门学科加以概括,但是这些学问的基础是相同的,这就是逻辑。 ...
个人分类: 逻辑学|1946 次阅读|7 个评论 热度 6
分享 数理逻辑发展的基本动机
热度 13 赛义甫 2017-9-12 05:19
We know that mathematicians care no more for logic than logicians for mathematics. The two eyes of exact science are mathematics and logic, the mathematical sect puts out the logical eye, the logical sect puts out the mathematical eye; each believing that it sees better with one eye than with two. ...
个人分类: 逻辑学|3688 次阅读|14 个评论 热度 13
分享 语言和语言学
热度 3 赛义甫 2017-9-12 03:47
本人从事语言学研究多年,从早期的结构主义语言学到20世纪后半叶的生成语法理论,再到范畴语法及其各种变种、Montague语义论。随着时间的流逝,我对语言、语言学理论、各种语言学理论框架、流派认知也在发生着改变。这种改变可以归结为一个从逻辑学角度是同义反复的命题:语言学是研究语言的学问。而关于语言的理论、框架 ...
个人分类: 形式语法理论|1982 次阅读|3 个评论 热度 3
分享 从逻辑经数学通往计算之路——如何从逻辑走向计算(1)
热度 1 赛义甫 2017-8-27 13:46
逻辑和计算,对许多置身其外的人来说,似乎是两门不相干的学问,学逻辑的,大部分在哲学系,少部分在数学系,对他们来讲,逻辑就是关于“思维”的,是形而上的;从数学角度来说,就是数学的一个分支;而学计算机的,因为程序语言和离散数学的关系,了解多一些,但大多也是技术层面的知识,例如一个程序代码中的判断表达式 ...
个人分类: 逻辑学|384 次阅读|1 个评论 热度 1
分享 组合子逻辑、λ演算的历史背景和产生动机
赛义甫 2017-3-26 16:36
函数——是横跨数学、逻辑和计算的最基础概念,也是从逻辑走向计算的基本工具。想象一下,如果一个逻辑系统不再以命题、谓词、量词、变量为基本单位而把函数作为唯一的原生元素会是什么样?——其结果就是组合子逻辑和λ演算。 组合子逻辑和λ演算属于数理逻辑中的形式系统,本质上是以函数为基本元素的高阶逻辑。 ...
个人分类: 计算|681 次阅读|1 个评论
分享 读《Lisp的本质》(The nature of Lisp)——悼Schönfinkel
赛义甫 2017-3-15 09:03
生性不喜造神、不喜造神运动,也不喜欢造神的人。IT社区那些喧嚣无脑的编程语言排行论(不是排行榜)是我避之唯恐不及的。把某个或某些编程语言吹上天,再把另外一个或某些语言踩到地,宗教般的狂热很容易让人想起中外历史中一些疯狂的年代。 现在问题来了,如果有人造了一个神,不过在神的背后不是令人炫目的 ...
个人分类: 计算|707 次阅读|没有评论
分享 卡尔纳普《符号逻辑及其应用导论》读书笔记书评(4)
赛义甫 2017-2-9 17:27
上回谈到,在一个逻辑系统中,存在三类元素:个体、谓词和句子,个体是最基本元素,就像几何学中的点和线一样,无法再进一步分析。而谓词,则是一个多棱镜,从不同的角度看有不同的“视图”。从纯逻辑的角度,谓词就是一个函数,从个体到句子真值的函数;从模型论的角度,谓词可以看做是“论域”中的一个子集;从哲学角度 ...
个人分类: 逻辑学|994 次阅读|没有评论
分享 浅谈类型论——阶和结构
热度 1 赛义甫 2017-1-20 13:43
谈到类型论,就不得不谈到一本书,一本计算机程序员狂热推崇的书:《计算机程序的结构与解释》(Structure and Interpretation of Computer Programming,简称SICP)。 对于不了解计算机专业的人来说,这本书也许就是一本和其它专业书籍一样的入门教科书,和外行人无关;而计算机专业或者正在从事IT产业的专业人员则 ...
个人分类: 计算|1224 次阅读|4 个评论 热度 1
分享 哈斯凯尔·布鲁克·柯里——一个被埋没了的史诗般学者
热度 2 赛义甫 2017-1-20 00:26
Haskell Brook Curry——美国数学家和逻辑学家,一位在数理逻辑和计算机科学历史上里程碑式的存在,其名声不如阿兰·图灵那么响亮,其影响不如库尔特·哥德尔那么广泛,但是在真实的历史中,Curry对的人类的贡献完全可以和前者比肩。如果说图灵机是现代计算机程序设计语言的基本模型,那么可计算函数就是和图灵机等价的另 ...
个人分类: 计算|2206 次阅读|3 个评论 热度 2
分享 集合论的哲学认知——读《Naive Set Theory》:有序对公理
热度 3 赛义甫 2017-1-18 10:08
“序”,是一个非常有意思的概念,在汉语中,“序”可以表示堂屋的东西墙,或正房两侧的东西厢房,但“序”的主要意思是表示“次第”,按照一定的规则对事物的排列。 例如,我的日程表中有一个“任务列表”(todo list),这个列表中的任务是按照一定的优先等级排列的。这个优先顺序并不是按照时间顺序、也不是根据任务的 ...
个人分类: 逻辑学|1077 次阅读|4 个评论 热度 3

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2017-9-21 22:00

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社

返回顶部