解释与证明

有的人理解的求真其实是解释,有的理解是证明。

相对与绝对

相对真理与绝对真理
相对存在于绝对存在
 

有必要探究绝对真理吗?

 

观察条件有限

人的寿命有限,
人的观测条件有限,
 
所以无法达成单独一个人得到绝对真理。那么就会有多人跨越多代的知识共识。
人与人建立共识
人与自然建立共识
 
逻辑公理(公理)和非逻辑公理(公设)。
非逻辑公理是在特定理论中充当基本假设的一种公式。
 

真的语言学定义

T-模式

要公式化有关语言学事情的理论,为了避免语义悖论比如说谎者悖论,区分你谈话用的所谓对象语言和你使用的所谓元语言,一般是必须的。在下面,引用起来的句子如"P"总是对象语言的句子。所有没有引用起来的东西都是元语言的。Tarski的实质充分条件,也叫做约定TT-模式,声称真理的任何可行的理论必须包含它,对于一个语言的所有句子P有:
(1) "P"为真,当且仅当p
(这里的p简写了由目标语言的句子"P"所表达的,元语言中的命题。)
例如
(2) "雪是白的"为真当且仅当雪是白的。
 

真实从哪里来?

真实从观察中得到,但是观察到的就是真的吗?有限的观察手段可能只能得到部分真实。将部分真实用来描述全部的场景,可能会导致错误。
 

普适范围有多大?

 

自己的公理系统

自己的公理系统,也就是为真的命题集合,不应该受到他人的意志的影响。如果受到影响,自己的根基是不稳定的,易变的。
 

求善的定义

求善是积极意义
 

穷尽知识,以求善的方式无限逼近真理。
人类没有观测真理的途径。
一个人是无法触达真理的,通过多方交流,辩证交流,来全面的认知事物,间接地探究真理。
 
 
要多跟人交流,无论是睿智的,愚蠢的,卓越的,平凡的,真诚的,狡猾的,年老的,年轻的。通过与不同知识、个性、身份、位置的人交流,能看完整一件事物,补完自己对同一事物的认知,从而间接观察或推理到真实。 只靠个体自身是永远无法求得真实的。 是否可以这么说,真实是建立在宏观的群体观测者的共同认知之上?
我猜想人类永远达不到自身世界的真实,只能逼近真实。
我还猜想世界的真实和生物发现的真实是两个相似但不等价的存在,生物发现的真实是建立在群体观测者的共同认知之上,而世界的真实是这个世界的客观存在。
或许人可以创造一个游戏、小说这样的虚拟小世界,往自己创造的世界里添加规则,这样就能站在上帝视角,研究自己创造物的真实。
我指的并非研究由主观意志构建出的幻想世界,而是细胞自动机这样由规则构建可推演的世界。
 
思考的目的是「求真」还是「求善」?求真,意味着结论和推导过程必须是逻辑严谨的,没有丝毫错误。求善,是容许错的。我思考的目的是求善,因为我觉得求善比求真蕴含更多可能性。求真太严格了,可能会因此错过有趣的发展。
在人们发现形式系统之前,哲人们的言行是充满错误,模糊不清的,如指代模糊,量化模糊。但是人类依然能在错误的言行中找到正确的逻辑。这就说明,求善也是追求真理的一种途径。
世界和人都是容错性很高的系统,容错性低的系统,一个微小的错误都会使系统崩溃。
思考能加速求真的进度,提高求真的可能性。
 

总结规律

 
 
 

细胞自动机

 
一个标准的细胞自动机(A)由元胞、元胞状态、邻域和状态更新规则构成。用数学表示为
A=(L,d,S,N,f)
L 为元胞空间; d 为元胞自动机内元胞空间的维数; S 是元胞有限的、离散的状态集合; N 为某个邻域内所有元胞的集合; f 为局部映射或局部规则。
 
一维细胞自动机有 256 种规则
 
二维细胞自动机:康威的生命游戏。
元胞分布在二维欧几里德平面上规则划分的网格点上,通常为方格划分。以J. H. Conway的"生命游戏"为代表,应用最为广泛。由于,世界上很多现象是二维分布的,还有一些现象可以通过抽象或映射等方法,转换到二维空间上,所以,二维元胞自动机的应用最为广泛,多数应用模型都是二维元胞自动机模型。
三维细胞自动机:
在80年代末,A·K·Dewdney (Dewdney,A·K,1987)和C·Bays (Bays,C,1987)Dewdney,A·K·,1990)将Conway的生命游戏扩展到了三维空间上,构建了三维生命游戏
四维细胞自动机:
只是在理论上进行少量的探讨,实际的系统模型较少。C·Bays的学生Lee Meeker在此基础上进一步构建了四维的生命游戏。另外,Gardner (Gardner,M·,1970、1971、1983)等人也曾在这方面作了很多迸一步的研究工作。
 

规则(Rule)

根据元胞当前状态及其邻居状况确定下一时刻该元胞状态的动力学函数,简单讲,就是一个状态转移函数。我们将一个元胞的所有可能状态连同负责该元胞的状态变换的规则一起称为一个变换函数 (史忠植,1998)。这个函数构造了一种简单的、离散的空间/时间的局部物理成分。要修改的范围里采用这个局部物理成分对其结构的"元胞"重复修改。这样,尽管物理结构的本身每次都不发展。但是状态在变化(史忠植,1998)。它可以记为
notion image
sNt为t时刻的邻居状态组合,我们称f为元胞自动机的局部映射或局部规则 (谢惠民,1994)。
 
 
逻辑系统映射到物理系统。
  • 语言系统:逻辑 → 语言符号的映射
  • 几何系统:逻辑 → 几何图形的映射
 
初始图形集合是公理集合的映射,细胞计算规则是推理规则。
如果细胞自动机不满足实验目的,可以根据逻辑特征构造特殊的自动机。不要拘泥于细胞自动机。可加入颜色、距离、Z轴等各种维度。二维几何便于简单的分析。
 
图灵机的物理实现
形式系统的物理实现
通过观察物理现象来推测逻辑
细胞自动机系统的时间可以人为控制,系统的单位时间就是外部系统的一轮计算循环,外部系统的算力是内部系统的算力上限,人可以控制人造的四维世界。
于是时间暂停、时间回溯、时间加速都可以做到。因为我们的时间和人造世界的时间在不同的维度。暂停人造世界的时间只是停止系统计算循环。
 
分析哲学是西方哲学的语言学转向,那这个自动机就是西方哲学的几何学转向。
从逻辑系统到物理系统的映射,意味着对逻辑规则的新研究方式。
从物理系统到逻辑系统的映射,意味着魔法系统的初步形成。
 

模拟的世界

不同的公理集合,相同的规则推理,对应的命题集合.
认识世界,创造世界,世界关联。
模拟创世大爆炸。公里集合就是初始点。
 

人类的世界

普朗克常数可能跟这个世界的时间刷新频率相关。人类世界是一个被制作出来的盒子,经过大量算力的迭代。世界之外的观测者无法推算盒子内的演变,只能观察,因为太复杂了。
 

演算系统

基于公理自动演算出所有定理,只是根据算力大小而时间进度不同。
通过自动演算,自动判断公理是否合理,判断系统是否可以成立。
 
 

真理的定义

TODO: 定义真实 (truth) 和事实 (fact)
 

逼近法

 

欺骗的框架

今天看到一个很不错的例子。利用了语言的不精确性,群众不具备专业知识,群众不实事求是的心态,以及偷换概念。造成了欺骗性的话题。
 
反欺骗的框架:
  1. 严谨的实验验证
  1. 大量的知识和可观察的事实。交叉验证
  1. 强大的推理能力
  1. 提高语言的准确性,精准,无歧义
 
造成欺骗的框架:
  1. 提高验证的难度,让普通人无法坚持用严谨的实验验证。
  1. 提高知识的难度,让普通人需要学习大量知识才能进行推理。
  1. 提高推理的复杂度,让普通人难以完成计算推理的过程。
  1. 降低语言的准确性,模糊,二义性,偷换概念
 
 

真实从何而来?

真实来自于人类对事物的观测。观测结果越精准,真实越准确。
人们会受限于有限的观测手段,只能观测到事物的某种深度。
比如欧式几何能在现实世界中观察到,但是非欧集合很难在生活中观察到。无法在生活中发现一个内角和小于 180° 的三角形。
比如水,几百年前的人定义水,和现代人定义水是不一样的。因为古人没有手段观测到水的分子组成。随着观测手段进步,对于事物的定义会越来越准确、唯一。
 

对微观的观测

越微观,越能精准定义物质的组成。
 

对宏观的观测

越宏观,越能精准定义物质的规律。
 
 
现在有的是推理能力,但是没有公理系统,我认知的世界就没法评判真假。只能在跟别人交流时确定一个共同上下文,假设我们的共识为真,再进行推理。但只有我一个人的话,我跟谁去建立共识呢?
那就跟现实去建立共识,提升自己的观测手段,自己亲自观测到的物理现实就是真实。
当只有你一个人的时候,没有第三方参与进来。那就是你的真实。你的真实和别人的真实是独立的。当你们产生交集的时候,真实会被重新定义。就算始终只有你一个人,你的观测手段提高了,你的真实也会重新定义。
 
 

不同理论的共存

Q: 如果我们谁也说服不了谁,咋办?因为至少从各自角度看,都没错
A: 各自为政,可以共存的。这时候各自有各自的理论,只是现实命题只有一个,刚好这两个理论都能解释同一个命题。那么都是可接受的。需要有更多的命题来验证这两个理论。直到某一方能解释得通,而某一方解释不通。能解释更多命题的理论将获得胜利。如果大量命题都能被两个理论解释得通。那么用奥卡姆剃刀,抛弃假设过多的理论,优先选择假设少的理论。
还是要提欧式几何和非欧几何,虽然两个理论解释的命题范围不一样,而且都有局限。但是他们能够共存,没有谁要弄死谁
badge