Open Mind: Human Consciousness - Where Is It From and What Is It for

[hhstore]

related:

• [x] xxx
• [x] xxx

[hhstore]

人类意识 - 来自哪里? 有什么用?

• 标题取自一篇论文.

我关注/感兴趣的问题:

人类的意识起源来自哪里? 人类究竟有没有 free will?
人类的意识起源来自哪里? 人类究竟有没有 free will?
人类的意识起源来自哪里? 人类究竟有没有 free will?

开始讨论之前:

我的态度:

open mind. 我对所有开放性的假说/假设/脑洞, 都感兴趣. 
open mind. 我对所有开放性的假说/假设/脑洞, 都感兴趣. 
open mind. 我对所有开放性的假说/假设/脑洞, 都感兴趣. 

在科学未盖棺定论之前, 谁都可以选择不同的假说/立场/认知. 我从未要求他人改变认知. 不同认知一样可以讨论.
在科学未盖棺定论之前, 谁都可以选择不同的假说/立场/认知. 我从未要求他人改变认知. 不同认知一样可以讨论.
在科学未盖棺定论之前, 谁都可以选择不同的假说/立场/认知. 我从未要求他人改变认知. 不同认知一样可以讨论.

科学, 只是在不停修正过去的认知错误. 空杯心态. 
科学, 只是在不停修正过去的认知错误. 空杯心态. 
科学, 只是在不停修正过去的认知错误. 空杯心态. 

关于进化论:

我对 <进化论> 并不感兴趣. 进化论只是一种主流假说, 假说, 假说. 主流不代表对.(物理学无数少数者打脸主流案例)
我对 <进化论> 并不感兴趣. 进化论只是一种主流假说, 假说, 假说. 主流不代表对.(物理学无数少数者打脸主流案例)
我对 <进化论> 并不感兴趣. 进化论只是一种主流假说, 假说, 假说. 主流不代表对.(物理学无数少数者打脸主流案例)

假说, 或者即便是某种主流理论, 不是公理. 请注意: 非公理, 都可被推翻. 
假说, 或者即便是某种主流理论, 不是公理. 请注意: 非公理, 都可被推翻. 
假说, 或者即便是某种主流理论, 不是公理. 请注意: 非公理, 都可被推翻. 

• 只是讨论意识起源, 似乎绕不开<进化论>, 那就正面谈谈.

关于 假说 vs 严肃理论:

• 数学和物理, 是严肃科学.
• 能被数学标准化/严密逻辑论证的, 才称之为公理化理论.
• 其他很多学科(生物/化学等), 都是实验科学: 实验课学, 更多是概率学/统计学范畴的结论, 而非严谨科学.

关于科学无定论的内容, 都可以自由提出假说.支持和反对某种假说, 都不存在谁比谁更高明. 支持的人多不代表对.
关于科学无定论的内容, 都可以自由提出假说.支持和反对某种假说, 都不存在谁比谁更高明. 支持的人多不代表对.
关于科学无定论的内容, 都可以自由提出假说.支持和反对某种假说, 都不存在谁比谁更高明. 支持的人多不代表对.

特别声明:

如下所有讨论, 都是基于假说这个前提. 谁都可以持有不同立场.
如下所有讨论, 都是基于假说这个前提. 谁都可以持有不同立场.
如下所有讨论, 都是基于假说这个前提. 谁都可以持有不同立场.

真正的认知方法论: 数学

• 只有数学, 才是可靠的.

真正的方法论: 数学推理 vs 虚假的认知方法: verify or trust(都不可靠).
真正的方法论: 数学推理 vs 虚假的认知方法: verify or trust(都不可靠).
真正的方法论: 数学推理 vs 虚假的认知方法: verify or trust(都不可靠).

后面会来论证.莫急.

数学证明:

• 数学证明
• 关键词: 公理系统/演绎推理/非自然归纳+经验性证据.

在数学上，证明是在一个特定的公理系统中，根据一定的规则或标准，由公理和定理推导出某些命题的过程。
比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。
这样推导出来的命题也叫做该系统中的定理。

2   常见的证明技巧
2.1 直接证明
2.2 构造法
2.3 非构造性证明
2.4 穷举法
2.5 换质位法
2.6 个案分析
2.7 算两次
2.8 间接证明
2.8.1   反证法
2.8.2   数学归纳法

3   其他证明方式
3.1 直观证明
3.2 计算机辅助证明

形式化证明(Formal Methods)

• Formal_methods
• 关键词: 数学分析/逻辑演算/自动机理论

在计算机科学，特别是软件工程和硬件工程，形式化方法是一种特殊的数学上的严格的技术规范，开发和验证的软件和硬件系统。[1]将形式化方法用于软件和硬件设计的动机是期望，与其他工程学科一样，执行适当的数学分析有助于提高设计的可靠性和稳健性。[2]

形式方法最好被描述为相当广泛的理论计算机科学基础的应用，特别是逻辑演算、形式语言、自动机理论、离散事件动态系统和程序语义，以及类型系统和代数数据类型对软件问题的应用。以及硬件规格和验证。[3]

参考:

• 知乎 - 形式化方法（formal method）
• 百科 - 形式化方法
• https://www.zhihu.com/question/66184910

区别几个数学概念:

• 公理 vs 定理 vs 命题 vs 猜想/假说/假设
• 公理 Axiom
• 定理 Theorem
• 假说 Hypothesis
• 猜想 Conjecture
• 命题
• 演绎推理

[hhstore]

Consciousness (意识):

关于标题:

• 标题来自一篇论文: Human Consciousness: Where Is It From and What Is It for

关于意识(Consciousness/Awareness):

• Consciousness
• Awareness
• 意识
• 意识也成为认知科学跨学科研究的重要课题，涉及心理学、语言学、人类学、神经心理学和神经科学等领域。

特别强调:

• 目前科学界提出的都是假说.
• 目前科学界提出的都是假说.
• 目前科学界提出的都是假说.

Free Will (自由意志):

• Free Will
• 自由意志

Q1: 人类的意志(日常想法)来自哪里?

• 每天产生的无数的想法和念头, 真的是自己的吗?
• 究竟是想法的 owner, 还是只是 receiver?
• 如果是 receiver, 那 from where?

Q1: 人类真的有自由意志吗?

• 念头, 是随机产生的吗?
• 群体投射? 一切言论和认知的起源?

ref:

Q/A:

• 什么是意识？关于意识的本质有哪些前沿的研究成果？
• 意识的生物学基础到底是什么？
• 人类意识的起源？
• https://www.zhihu.com/question/19716987/answer/12921332

首先是一个坏消息：至今学术界无法给“意识”一个准确清晰的定义，并且不清楚是否将来可以。
甚至“情绪”、“意识”这类早期心理学和哲学产生的分类也在被一些研究者质疑。
从“意识”不同的角度来看“意识”都会有不同的解释，其实我们还是在盲人摸象而已。

其次是一个好消息：人是不满足于未知的，无论是否有清晰的定义，我们都会提出种种假设来解释意识的种种现象
（如：自我意识、感官感知、空间感知、情绪感知、思考等）。
而对于意识的解释无非以下两类：

非物质（主要是灵魂假说）
物质（主要是基于脑的物质基础假说）

关于意识的一些视角:

生物学:

• https://www.scientificamerican.com/article/what-is-consciousness/
• Biology of consciousness

心理学:

• Human Consciousness: Where Is It From and What Is It for
  • 德国图宾根大学医学心理学和行为神经生物学研究所

[hhstore]

关于 「Don't Trust. Verify.」 VS 「Don't Verify. Trust.」

• 这2句话, 都是没逻辑的.
• 如果只是指某种观点, 无伤大雅.
• 如果拿这种话, 当作认知方法论. 那我要批判一番.

反驳: Don't Trust. Verify.

• 很简单. 查一下 wiki 的 假说 和 猜想, 我都不用解释, 就证明这句话是错的.
• 很简单. 查一下 wiki 的 假说 和 猜想, 我都不用解释, 就证明这句话是错的.
• 很简单. 查一下 wiki 的 假说 和 猜想, 我都不用解释, 就证明这句话是错的.
• 如果有人懒得查词条. 我就简洁说一下:

很多物理学理论(相对论/量子力学/黑洞)的发展过程, 就是无数少数人的猜想/假说, 不断被实验证实, 再推进的.

请问: 这些猜想/假说, 在基于数学计算/逻辑推导, 先于实验观测, 就提出了. 这是不是事实?
请问: 这些假说, 在未被实验/观测 verify 之前, 是错的吗?是没道理的吗?
请问: 这是 trust, 还是 verify? 

答: 这既不是 trust, 也不是 verify. 而是数学计算+证明(逻辑推理).  数学可以先于实测 verify 之前, 就得出结论.

数学家和物理学家, 是讲逻辑的. 不是无脑 verify or trust.
数学家和物理学家, 是讲逻辑的. 不是无脑 verify or trust.
数学家和物理学家, 是讲逻辑的. 不是无脑 verify or trust.

如果没有 verify, 就是假的. 那理论物理学家全失业了.(实验物理学家, 瑟瑟发抖)
如果没有 verify, 就是假的. 那理论物理学家全失业了.(实验物理学家, 瑟瑟发抖)
如果没有 verify, 就是假的. 那理论物理学家全失业了.(实验物理学家, 瑟瑟发抖)

• 我想, 已经说清楚了.
• 如果还有疑问, 可以继续探讨.
• 请建立更可靠的认知方法论(数学).

佛学补充:

• 眼疾空花🌸.
• 眼见不一定为实.

考古学 - 关于 《道德经》 vs 《德道经》

• 在考古未出土新的版本之前, <道德经> 是一个版本, 请问是不是 verify 的?
• 出土了新的冲突版本, 请问哪个更 verify? 越早越对吗?
• https://www.zhihu.com/topic/19581979/intro

近40年来中国考古学新发现了4本古本《道德经》；
分别是马王堆帛书版甲乙本，这两本是完整版但残缺较多；
郭店楚简被认为是最早但是内容只有其他版本2/5；
北大汉简本是2009年海外回流捐给北大的年代为西汉中期，是古本中内容最全的版本。

这4本和传世通行本的三国王弼版差别很大，但在知乎上似乎鲜有人讨论。

[hhstore]

关于进化论:

• 上面, 我列了数学定义, 区分了: 公理/定理/假说/猜想/假设.
• 请问: <进化论> 是公理吗? 是定理吗?
• 如果不是, 是什么?

wiki 定性: 有公理/定理性的定性吗?

• Evolution
  • 英文词条更完善.
  • 请注意: Hypothesis 出现几次, 有没有出现过 Theorem?
• 进化/演化: evolution
• 百科 - 进化论
  • 百度百科直接定性为 假说. 虽然他不够权威, 是不是也是部分共识?

目前已有压倒性的证据支持进化的真实性，学界普遍认为进化是事实，而不仅仅是理论或假说，对于进化论的真确性，存在有强烈的科学共识，进化以外任何关于物种起源或人类起源的学说，目前都不获支持。

绝大多数的科学社群和学术团体，都认为进化论是唯一能完全满足在生物学、古生物学、分子生物学、遗传学、人类学及其他各领域中所观察到的现象的理论。

关键词: 不仅仅是理论或假说. 

有更高定性吗? 并没有.

请注意: 这里只是陈述主流认可, 仅此而已? so what?

我的看法:

我认为: 

进化论, 只是主流生物学家共同认可的一种假说/理论. 不是公理/定理 这些很 solid 的东西.
进化论, 只是主流生物学家共同认可的一种假说/理论. 不是公理/定理 这些很 solid 的东西.
进化论, 只是主流生物学家共同认可的一种假说/理论. 不是公理/定理 这些很 solid 的东西.

显然, 随着科学发展, 是可能被推翻的.

• 如果对这个定性, 存在疑问, 我们继续来讨论. 请拿出证明方式.

其他人的看法:

• 知乎: 进化论被奉为真理还是在假说阶段？
  • https://www.zhihu.com/question/265641570/answer/301659381

Speculation - Hypothesis - Theory - Law

进化论(Theory of Evolution) 是理论这一级的，既不是假说也不是真理。

这位朋友, 认为是 Theory, 不认为是真理.  我并不认为到了 Theory 级别.

• 知乎: 为什么进化论现在还是假说？

ref

• https://book.douban.com/subject/6854378/
• https://book.douban.com/subject/26877916/
• 复旦教授钟扬：分子生物学证明进化论，也“挑战”进化论

如果进化论只是假说级别的.

• 哪里来的言之凿凿?
• 哪里来的言之凿凿?
• 哪里来的言之凿凿?

[hhstore]

关于 <盲眼钟表匠 The Blind Watchmaker>

• https://book.douban.com/subject/25924311/

说明:

• 我还没看, 我看完了, 会写完整书评.

但请注意:

• 虽然作者本人是生物学家.

- 但这是文学作品, 获得的是文学奖, 不是科学论文. 不可用来论证什么.
- 但这是文学作品, 获得的是文学奖, 不是科学论文. 不可用来论证什么.
- 但这是文学作品, 获得的是文学奖, 不是科学论文. 不可用来论证什么.

[hhstore]

一些脑洞/猜想:

盖亚假说:

• 盖亚假说
• https://www.guokr.com/article/118290/
• 生态学报 - 论文盖娅假说：在争议中发展
• https://www.bilibili.com/video/BV13J411U758/

[hhstore]

1

[hhstore]

1

[hhstore]

1