赛义甫的个人博客分享 http://blog.sciencenet.cn/u/saif 逻辑学、数学、计算科学、语言学和哲学——关于形式科学的思考

博文

按标题搜索
分享 范畴语法和《句法连通性》
2017-11-15 12:17
范畴语法是一个非常重要的描述自然语言的形式化框架。它的基本思想是形式语义学中的组合性思想;它的基本结构是基于高阶函数所生成的句法成分。因此,从形式上来说,可以归结为短语结构语法的一个变种。 范畴语法的思想,首次由阿伊杜凯维茨 (Kazimierz Ajdukiewicz)——上世纪逻辑实证主义华沙学派(Lwow-Warsaw Sc ...
个人分类: 语言学|148 次阅读|没有评论
分享 集合论的哲学认知——读《Naive Set Theory》:交并公理
热度 3 2017-10-3 11:49
交并集公理——关于“一”的哲学(上) 汉字中的“一”字,可以说是笔画最简单的汉字。和西方的用拉丁字母组成的数词相比,这个看上去像是横躺着的阿拉伯数字“1”,却充满了古代中国人所寄托的哲学情怀。先看看下面一段文字: “惟初太始,道立于一,造分天地,化成萬物” 这是什么?这就是中国人对“一 ...
个人分类: 逻辑学|2801 次阅读|3 个评论 热度 3
分享 语言学研究之浅见
热度 2 2017-9-29 22:01
这些年来,稍稍远离了主流的语言学理论,也没有对具体的语言现象加以注意,大部分精力都放到了语言学之外的学习,主要是逻辑学的学习,从一阶逻辑、模型论、证明论、类型论到和计算有关的可计算函数理论、包括lambda演算和组合子逻辑。除此之外就是数学的学习,包括集合论、抽象代数和范畴论的学习。 当然,学习的主 ...
个人分类: 语言学|1850 次阅读|2 个评论 热度 2
分享 逻辑学到底是什么——历史观(一)
热度 1 2017-9-27 16:31
逻辑学到底是什么——历史观(一) 逻辑学——退去一切形容词:数理的、普通的、内涵的、模态的……等等一切令一般人摸不着头脑的形容词——逻辑学到底是什么?这是个看似简单、“人人都有答案但人人答案都不相同”的问题。为什么?因为“逻辑”不等于“逻辑学”,每个人都可以有自己独特的“逻辑”——思维方式、人生观, ...
个人分类: 逻辑学|503 次阅读|3 个评论 热度 1
分享 认识逻辑应当从哪里开始?
热度 6 2017-9-14 05:10
近来,在《科学网博客》发了一些文章,这些文章有些是我过去的讲义,有些是我的读书笔记,没想到得到科学网和许多热心朋友的厚爱和鼓励,在此向所有浏览我的博客和留言朋友表示感谢。 目前我个人的关注是在逻辑、数学、语言、计算和哲学的交叉点,很难用一门学科加以概括,但是这些学问的基础是相同的,这就是逻辑。 ...
个人分类: 逻辑学|2478 次阅读|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. ...
个人分类: 逻辑学|4283 次阅读|14 个评论 热度 13
分享 语言和语言学
热度 3 2017-9-12 03:47
本人从事语言学研究多年,从早期的结构主义语言学到20世纪后半叶的生成语法理论,再到范畴语法及其各种变种、Montague语义论。随着时间的流逝,我对语言、语言学理论、各种语言学理论框架、流派认知也在发生着改变。这种改变可以归结为一个从逻辑学角度是同义反复的命题:语言学是研究语言的学问。而关于语言的理论、框架 ...
个人分类: 语言学|2350 次阅读|3 个评论 热度 3
分享 从逻辑走向计算——概念篇
热度 1 2017-8-27 13:46
逻辑和计算,对许多置身其外的人来说,似乎是两门不相干的学问,学逻辑的,大部分在哲学系,少部分在数学系,对他们来讲,逻辑就是关于“思维”的,是形而上的;从数学角度来说,就是数学的一个分支;而学计算机的,因为程序语言和离散数学的关系,了解多一些,但大多也是技术层面的知识,例如一个程序代码中的判断表达式 ...
个人分类: 计算|613 次阅读|1 个评论 热度 1
分享 组合子逻辑、λ演算的历史背景和产生动机
2017-3-26 16:36
函数——是横跨数学、逻辑和计算的最基础概念,也是从逻辑走向计算的基本工具。想象一下,如果一个逻辑系统不再以命题、谓词、量词、变量为基本单位而把函数作为唯一的原生元素会是什么样?——其结果就是组合子逻辑和λ演算。 组合子逻辑和λ演算属于数理逻辑中的形式系统,本质上是以函数为基本元素的高阶逻辑。 ...
个人分类: 计算|934 次阅读|1 个评论
分享 读《Lisp的本质》(The nature of Lisp)——悼Schönfinkel
2017-3-15 09:03
生性不喜造神、不喜造神运动,也不喜欢造神的人。IT社区那些喧嚣无脑的编程语言排行论(不是排行榜)是我避之唯恐不及的。把某个或某些编程语言吹上天,再把另外一个或某些语言踩到地,宗教般的狂热很容易让人想起中外历史中一些疯狂的年代。 现在问题来了,如果有人造了一个神,不过在神的背后不是令人炫目的 ...
个人分类: 计算|929 次阅读|没有评论

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

GMT+8, 2017-11-19 19:59

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社

返回顶部