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


    • 数理科学->数学->数理逻辑和与计算机相关的数学

    扫一扫,分享此博客主页
统计信息

已有 82393 人来访过

    现在还没有记录

数学与哲学的对话
华沙学派——一个几乎被历史遗忘的哲学、数学、逻辑学派(1) 2018-02-17
一直想写一篇关于波兰华沙学派的文章,因为这个学派在数学、哲学、逻辑等领域贡献颇多。但由于这个学派不是处于西方主流中心加之这个学派的许多学者的论文多用 ...
(3972)次阅读|(4)个评论
范畴语法和《句法连通性》 2017-11-15
范畴语法是一个非常重要的描述自然语言的形式化框架。它的基本思想是形式语义学中的组合性思想;它的基本结构是基于高阶函数所生成的句法成分。从形式上,范畴 ...
(1323)次阅读|(0)个评论
集合论的哲学认知——读《Naive Set Theory》:交并公理 2017-10-03
交并集公理——关于“一”的哲学(上) 汉字中的“一”字,可以说是笔画最简单的汉字。和西方的用拉丁字母组成的数词相比,这个看上去像是横躺着的 ...
(4289)次阅读|(7)个评论
语言学研究之浅见 2017-09-29
这些年来,稍稍远离了主流的语言学理论,也没有对具体的语言现象加以注意,大部分精力都放到了语言学之外的学习,主要是逻辑学的学习,从一阶逻辑、模型论、证 ...
(3174)次阅读|(2)个评论
逻辑学到底是什么——历史观(一) 2017-09-27
逻辑学到底是什么——历史观(一) 逻辑学——退去一切形容词:数理的、普通的、内涵的、模态的……等等一切令一般人摸不着头脑的形容词——逻辑学到底是什么? ...
(1723)次阅读|(4)个评论
认识逻辑应当从哪里开始? 2017-09-14
近来,在《科学网博客》发了一些文章,这些文章有些是我过去的讲义,有些是我的读书笔记,没想到得到科学网和许多热心朋友的厚爱和鼓励,在此向所有浏览我的博 ...
(4055)次阅读|(7)个评论
数理逻辑发展的基本动机 2017-09-12
We know that mathematicians care no more for logic than logicians for mathematics. The two eyes of exact science are mathematics and logic, the math ...
(5887)次阅读|(18)个评论
语言和语言学 2017-09-12
本人从事语言学研究多年,从早期的结构主义语言学到20世纪后半叶的生成语法理论,再到范畴语法及其各种变种、Montague语义论。随着时间的流逝,我对语言、语言 ...
(3654)次阅读|(3)个评论

查看更多

你需要登录后才可以留言 登录 | 注册


yansijia 2017-11-28 04:30
这学期选修了“逻辑学与语言” 教授推荐了gemut的书 在网上搜到了您的文章 感谢翻译!简单易懂!第二部很难的样子 希望以后紧跟您的脚步继续学习 哈哈~
LINJIANRONG 2017-9-12 16:57
广义上的语言也是属于信息传递的模型系统,存在信息(甲方)-信息编码语言压缩--传递(甲乙共同存在的语境,包括干扰)-信息解码乙方-  感知信息(乙方)。语言的词法与句法都不能够代表精确的信息模型。因为整个模型系统不完整。案例:汉语单句“你好坏!”是有许多信息解。
hjlf117 2016-12-22 23:16
写得真好,以前读研也有老师讲,但是没讲清楚,赛老师讲清楚了
查看全部

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

GMT+8, 2018-7-18 10:40

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社

返回顶部