数学思想的元语言——集合 2020-12-18

在 《「离散数学」是一门什么样的学科》 中，我们曾提到两个关系，第一、数学与其它科学之间的关系：数学是用来解决其它科学问题的工具；第二、数理逻辑与数学 ...

(2810)次阅读|(11)个评论

「离散数学」是一门什么样的学科 2020-07-10

写这篇文章的动机是想探讨从离散数学开始入门数理逻辑的路径以及离散数学与数理逻辑之间的关系。以学习数理逻辑为目的学习离散数学，和一般的以学习计算机为目 ...

(6781)次阅读|(19)个评论

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

一直想写一篇关于波兰华沙学派的文章，因为这个学派在数学、哲学、逻辑等领域贡献颇多。但由于这个学派不是处于西方主流中心加之这个学派的许多学者的论文多用 ...

(7155)次阅读|(4)个评论

范畴语法和《句法连通性》 2017-11-15

范畴语法是一个非常重要的描述自然语言的形式化框架。它的基本思想是形式语义学中的组合性思想；它的基本结构是基于高阶函数所生成的句法成分。从形式上，范畴 ...

(3711)次阅读|(0)个评论

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

交并集公理——关于“一”的哲学（上） 汉字中的“一”字，可以说是笔画最简单的汉字。和西方的用拉丁字母组成的数词相比，这个看上去像是横躺着的 ...

(7595)次阅读|(7)个评论

语言学研究之浅见 2017-09-29

这些年来，稍稍远离了主流的语言学理论，也没有对具体的语言现象加以注意，大部分精力都放到了语言学之外的学习，主要是逻辑学的学习，从一阶逻辑、模型论、证 ...

(6143)次阅读|(2)个评论

逻辑学到底是什么——历史观(一) 2017-09-27

逻辑学到底是什么——历史观(一) 逻辑学——退去一切形容词：数理的、普通的、内涵的、模态的……等等一切令一般人摸不着头脑的形容词——逻辑学到底是什么？ ...

(5834)次阅读|(4)个评论

认识逻辑应当从哪里开始？ 2017-09-14

近来，在《科学网博客》发了一些文章，这些文章有些是我过去的讲义，有些是我的读书笔记，没想到得到科学网和许多热心朋友的厚爱和鼓励，在此向所有浏览我的博 ...

(7260)次阅读|(7)个评论

查看更多