科学网—saif的博文

热度 5 赛义甫 2020-12-18 00:11

在《「离散数学」是一门什么样的学科》中，我们曾提到两个关系，第一、数学与其它科学之间的关系：数学是用来解决其它科学问题的工具；第二、数理逻辑与数学之间的关系：数理逻辑是用来解决数学问题的工具。抽象地看，这两种关系实际上是同一种「范式」(paradigm)：输入 —— 处理×求解 — ...

个人分类: 逻辑学|8746 次阅读|11 个评论热度 5

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

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

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

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

集合论的哲学认知——读《Naive Set Theory》：交并公理

热度 4 赛义甫 2017-10-3 11:49

交并集公理——关于“一”的哲学（上）汉字中的“一”字，可以说是笔画最简单的汉字。和西方的用拉丁字母组成的数词相比，这个看上去像是横躺着的阿拉伯数字“1”，却充满了古代中国人所寄托的哲学情怀。先看看下面一段文字： “惟初太始，道立于一，造分天地，化成萬物” 这是什么？这就是中国人对“一 ...

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

逻辑学到底是什么——历史观(一)

热度 1 赛义甫 2017-9-27 16:31

逻辑学到底是什么——历史观(一) 逻辑学——退去一切形容词：数理的、普通的、内涵的、模态的……等等一切令一般人摸不着头脑的形容词——逻辑学到底是什么？这是个看似简单、“人人都有答案但人人答案都不相同”的问题。为什么？因为“逻辑”不等于“逻辑学”，每个人都可以有自己独特的“逻辑”——思维方式、人生观， ...

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

认识逻辑应当从哪里开始？

热度 6 赛义甫 2017-9-14 05:10

近来，在《科学网博客》发了一些文章，这些文章有些是我过去的讲义，有些是我的读书笔记，没想到得到科学网和许多热心朋友的厚爱和鼓励，在此向所有浏览我的博客和留言朋友表示感谢。目前我个人的关注是在逻辑、数学、语言、计算和哲学的交叉点，很难用一门学科加以概括，但是这些学问的基础是相同的，这就是逻辑。 ...

个人分类: 逻辑学|10254 次阅读|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. ...

个人分类: 逻辑学|11326 次阅读|17 个评论热度 13

卡尔纳普《符号逻辑及其应用导论》读书笔记书评（4）

赛义甫 2017-2-9 17:27

上回谈到，在一个逻辑系统中，存在三类元素：个体、谓词和句子，个体是最基本元素，就像几何学中的点和线一样，无法再进一步分析。而谓词，则是一个多棱镜，从不同的角度看有不同的“视图”。从纯逻辑的角度，谓词就是一个函数，从个体到句子真值的函数；从模型论的角度，谓词可以看做是“论域”中的一个子集；从哲学角度 ...

个人分类: 逻辑学|3594 次阅读|没有评论

集合论的哲学认知——读《Naive Set Theory》：有序对公理

热度 3 赛义甫 2017-1-18 10:08

“序”，是一个非常有意思的概念，在汉语中，“序”可以表示堂屋的东西墙，或正房两侧的东西厢房，但“序”的主要意思是表示“次第”，按照一定的规则对事物的排列。例如，我的日程表中有一个“任务列表”（todo list），这个列表中的任务是按照一定的优先等级排列的。这个优先顺序并不是按照时间顺序、也不是根据任务的 ...

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

集合论的哲学认知——读《Naive Set Theory》：空集和无序对公理

热度 1 赛义甫 2017-1-16 19:21

集合论的本质是建构性的，对集合，我们没有定义，不说它是什么或不是什么，而说通过什么手段我们可以构建集合。这个思想的公理表达就是我们前面谈到的外延公理和分类公理——集合的性质、集合与集合之间的关系以及新集合的构建都是由其成员决定的。如果把集合作为一种工具或者语言为某个特定的领域建模，那么相应概念的定 ...

个人分类: 逻辑学|7481 次阅读|2 个评论热度 1

集合论的哲学认知——读《Naive Set Theory》：分类公理

热度 3 赛义甫 2017-1-13 12:24

集合论的基本思想是建构性的而不是定义性的。换句话说，它的基本概念不是通过命题的方式以旧概念+新属性的方法得到，而是通过一套程式步骤创建而来：不要告诉我它是什么，告诉我你是如何构建它的。说得再通俗一点，你不会得到蛋糕，但会得到做蛋糕的菜谱。有了这个基本思想，你对集合论就有了最宏观的把握。按照书作者Hol ...

个人分类: 逻辑学|5770 次阅读|7 个评论热度 3

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

saif

关闭安全验证