当前课程知识点：计算思维导论 > 第五单元 > 5.1 思维可机械计算吗（I） > Video
大家好
这一节我们介绍
思维可机械计算吗
这一节以及下一节
我们试图从逻辑学到逻辑电路
来探讨思维的机器计算问题
从逻辑学到逻辑电路
跨度真的好大
但通过这样一个话题
可以让我们“触摸”到
计算机科学家们的野心和智慧
他们以一种可控的
物化的方式
来探索和模拟人类的思维规律
其实
逻辑学和计算科学
具有相同的宗旨
也就是扩展人类大脑的功能
帮助人脑
正确
高效地思维
生活中有很多有趣的“逻辑问题”
《韩非子·难一》记载
楚人有鬻矛与楯者
誉楯之坚
物莫能陷也
而又誉其矛
曰“吾矛之利物无不陷也”
人应之曰
以子之矛陷子之楯何如
其人弗能应也
市场上有这样的商贩
常用喇叭这么吆喝
大家快来看了啊
最新的高科技产品
全市都没有了啊
据说有位美国参议员
对逻辑学家贝尔克说
所有的共产党人都反对我
你也反对我
所以你是共产党人
贝尔克当即答道
亲爱的参议员先生
您的推论真是妙极了
如果您的推论能够成立
那么下面的推论也能成立
所有的鹅都吃白菜
您也吃白菜
所以您是鹅
理发师悖论
某地有一位理发师
有一天他宣布
只给不自己刮胡子的人刮胡子
那么他给自己刮胡子吗
上述有趣的“逻辑”问题说明
人在抽象思维方面是不完美的
或者说经常是有缺陷的
逻辑学的任务就是
总结抽象思维的规律和特点
希望人们在学习之后
能够在日常交流的过程中明辨是非
去伪存真
更重要的是
让我们自己在说话和思考问题的时候
从一开始就具有
很强的思维能力和很高的思维品质
逻辑学最早是哲学的一个分支
而哲学常常给人一种
高深莫测的感觉
比如
老子说
人法地
地法天
天法道
道法自然
因此很多人对逻辑学充满了敬畏之情
但我们必须知道的是
在联合国科教文组织的学科分类目录中
逻辑学是与数学物理学等等
并列的七大基础学科之一
谈到逻辑学的产生与发展
不能不说到亚里士多德（公元前384～322）
他是古希腊的一个哲学家
柏拉图的学生
亚里士多德一生留下了大量的著作
其中包括著名的《工具论》
亚里士多德在《工具论》中
阐述了经典的“三段论”
也就是
人都是要死的
苏格拉底是人
所以苏格拉底也是要死的
那么逻辑究竟是什么呢
逻辑是人的一种抽象思维
是人通过
概念
判断
推理
论证
来理解和区分客观世界的思维过程
思维则是
各种客观事物变化规律在大脑中的映像
当我们把人类思维
和客观规律的“语义内容”抽去以后
剩下来的
共同遵循的“语法规则”
就是逻辑
因此所谓逻辑就是思维的规律
遗憾的是
就现在人类对大脑机理的研究水平而言
尚无法从机理的角度
来回答“什么是思维”
但人们知道
思维规律是
思维内容与思维形式的统一
思维形式是指
思维在抽象掉具体内容之后
所具有的共同结构
因此思维形式
又叫思维的逻辑形式
不同的思维内容
可以有相同的思维形式
那么什么是逻辑学呢
逻辑学就是关于思维规律的学说
从狭义上讲
它是指研究推理形式的科学
从广义上讲
它是指研究思维形式及其规律
以及一般方法的一门思维科学
逻辑学研究人的思维是
从研究人的自然语言开始入手的
重点研究的是思维的逻辑形式
任何具体思维
既有它的内容
也有它的形式
比如说数学中的具体思维
就涉及数量与图形这些特定的对象
物理学中的具体思维
就涉及到声光电力等
这些特定的对象
政治经济学中的具体思维
就涉及生产关系
商品
价值等
这些特定的对象
但是
在各个不同领域的具体思维中
形式上又存在着一些相同的“模式”
比如
“所有……都是……”
“如果……那么……”等等
这种模式就是具体思维的形式
或者说就是思维形式
好了
我们把思维形式抽象出来
用符号来表示
就产生了形式逻辑
比如说
所有商品都是有价值的
所有金属都是有光泽的
所有帝国主义都是要侵略的
这三句话抽象起来
用符号表示
就是所有s都是p
再比如
如果一个产品不是为了出售
而是为了生产者自身的消费
那么这个产品不是商品
如果金属遇热
那么金属就会膨胀
如果下大暴雨
那么河水就会上涨
这么三句话
它抽象出来
就是这么一种思维形式
如果p那么q
再比如
人都是要死的
苏格拉底是人
所以苏格拉底是要死的
所有金属都是有光泽的
铁是金属
所以铁是有光泽的
这么两个三段论
抽象出来
就具有这样的思维形式
那就是所有M是P
所有R是M
所以所有R是P
可见在具体思维中
思维形式和思维内容总是联系着的
但思维形式对于思维内容来说
又具有相对独立性
同时不难看出
这种对思维规律的研究方法
其实就是“抽象”
也就是从具体思维形式中
抽象出本质的思维模式
以此反映人们的思维规律
这就是形式逻辑的本源和目的
进一步说
概念
判断
推理是形式逻辑的三大基本要素
概念的外延是指
概念包含事物的范围大小
概念的内涵是指概念的含义性质
判断从质上分为
肯定判断和否定判断
从量上可分为
全称判断
特称判断
和单称判断
推理是思维的最高形式
概念构成判断
判断构成推理
从总体上说人的思维
就是由这三大要素决定的
好
这一节先讲到这
谢谢大家
-1.1 计算思维及其教育
--Video
-2.1 计算是什么
--Video
-2.2 计算与自动计算
--Video
-2.3 计算机及其计算本质特征（I）
--Video
-2.4 计算机及计算的本质特征（II）
--Video
-3.1 数的表示与模拟计算
--Video
-3.2 数的表示与数字计算
--Video
-3.3 二进制加法运算的机器化
--Video
-3.4 “九九归一”的加法运算
--Video
-3.5 二进制之优越性及问题与代价
--Video
-4.1 从数学危机到图灵机
--Video
-4.2 图灵机的计算能力
--Video
-4.3 什么问题都能计算吗？
--Video
-4.4 冯•诺依曼机及其发展与演化
--Video
-4.5 从算盘到图灵机——机械计算的本质
--Video
-4.6 电子计算机——透过现象看本质
--Video
-5.1 思维可机械计算吗（I）
--Video
-5.2 思维可机械计算吗（II）
--Video
-6.1 量子理论
--Video
-6.2 量子计算机
--Video
-7.1 人类求解问题之过程
--Video
-7.2 基于计算（机）的问题求解过程
--Video
-7.3 面向过程的结构化设计方法学
--Video
-7.4 面向对象之方法学
--Video
-7.5 面向对象技术
--Video
-7.6 抽象
--Video
-7.7 计算学科中的抽象
--Video
-7.8 时间与空间及其相互转换
--Video
-7.9 技术层面的其他方法学
--Video
-7.10 认知层面的其他方法学
--Video
-8.1 算法与程序
--Video
-8.2 算法设计方法——枚举
--Video
-8.3 算法设计方法——递推
--Video
-8.4 算法设计方法——递归
--Video
-8.5 算法设计方法——分治
--Video
-8.6 算法设计方法——仿生
--Video
-9.1 机器间的通信方式
--Video
-9.2 数据转发方法
--Video
-9.3 网络分层体系结构
--Video
-9.4 有趣的对称加密技术
--Video
-9.5 难解的非对称加密技术
--Video
-9.6 数字签名及其应用
--Video
-9.7 从自然智能到人工智能
--Video
-9.8 符号主义的基本思想
--Video
-9.9 连接主义Ⅰ
--Video
-9.10 连接主义Ⅱ
--Video
-9.11 行为主义的基本思想
--Video
-9.12 机器翻译的愿景与困难
--Video
-9.13 峰回路转的自然语言处理
--Video
-9.14 信息传输中的问题与挑战
--Video
-9.15 重复传输与冗余编码
--Video
-9.16 校验与校验和
--Video
-9.18 自纠错技术及应用
--Video
-9.19 两种简单的数据压缩方法
--Video
-9.20 哈夫曼编码
--Video
-9.21 数据压缩极限与LZ压缩方法
--Video
-9.22 大海捞针的搜索引擎
--Video
-9.23 网页排序方法（PageRank）
--Video
-10.1 计算文化
--Video
-期末考试--作业
