能不能用AI直接生产科学知识？
为什么只有科学是不够的？
（本文部分的由此视频激发，但内容与视频无关）
至少有两种科学的发展模式（它们并不对立）：因果科学、模型科学。接下来介绍这两个概念。简单的说，因果科学只关注若A则B这类形式的经验命题，而模型科学只是其进一步的发展。
我们认为，科学首先要经历把表象语言化的过程，即把表象翻译成语言的描述。
存在不同的语言，使表象进行不同的片面化，进而对应不同的关注点。例如动力学的词汇是距离、时间、质量、速度、加速度、力，化学的词汇是不同的元素、能量、化合价等。
在语言化以后，对于因果科学，我们可以指向一个事件的词汇发问：什么样的前提条件会导致该事件？然后，考察发生于事件前的所有表象。注意，单一事件不能构成科学，而只有至少两次的重复，我们才能如此发问。考察两组事件前的表象时，这两组表象尚未语言化（或者说它还不知道它需要哪些语言词组）。科学人透过检索比对，发现一些共同表象，由此确立了需要的词汇表，甚至可能建立新的词汇以标注这些表象。
注意：词汇化即是同一化，将至少两个事件或要素视为等同的。
我们用（我所理解并改造过的）巴迪欧集合论来表达：表象是一个混沌的集合，它本身是不可表述的。语言化提供了映射，它标注了何种表象的部分被同一化为该词汇。语言化把表象映射到对应的语言描述，不同的语言化即不同的映射。于是不同的表象可在某语言化之下成为语言描述并相互比较。一个词汇的逆集于是被给出，它成为了表象的子集。但是这里设置它的逆集不仅局限为一个表象的子集，而是所有表象的子集，这个子集对应着这个词汇的全部外延。
当一个表象符合词汇，就说该表象验证了该词汇。（判断某表象发生了某事件（词汇））
接下来我提及的事件A、B都是集合，它们是在某语言下词汇A、B的逆集。
“找规律”的工作不一定一帆风顺，可能有好几种情形，它们已经可以在逻辑上充分地讨论：对于事件B，在词汇表中可以找到一个词汇的表达A，A在时间上先于B，
1所有A情形都发生B，所有B发生情形必定有A发生；（最好的情况，研究完成。）
2所有A情形都发生B，但有些B发生没有A（进一步，关注B且非A的情形）；
3所有B情形都发生A，但A发生却不一定发生B（再考察A且非B的情形）；
4当前词汇表中找不到词汇表达与A构成联系。
因果科学暂时只是给出事件之间的相关关系。因此对于2和3，它们的最终结果是找到识别方式之间的联系（一种识别方式给出一个操作性定义的词汇），即词汇之间的联系。有时，实在找不到以现有词汇表达的A能够对应B，就设立一种理论性定义创造新的词汇，把A叫做B的逆元。
在2和3的情形中，进一步的任务是找到特异情况的对应词汇描述，然后可能再此遇到1至4的情况，如此循环…
（关键在于，当我们发出这样的追问，这追问就会一步步引导我们走向未曾思考的境地。这是科学的意义。）
我们来考虑偶然事件，例如投骰子，如果我们天真地把6点作为研究事件词汇，追问什么情况导致6点发生，然后我们搜索词汇表，发现不存在一个词汇与6点有绝对的蕴含关系：所有词汇与它的反面都可以产生6或不产生6。这样一来6点就从词汇表独立出来成为不可被决定者。因此，因果科学是可以发现偶然性的。
偶然性不同于2、3情形。那么情形4是否就等同于偶然？如果换一种语言呢？例如，机械决定论认为如果采用物理学词汇表，探测骰子掷出的动力学参数就能推算出结果。a这种物理学词汇表于是要求了更多的探测器，于是我们可以定义日常词汇表为“以肉眼作为探测器”生成的词汇表。b词汇表与探测相关，而探测的本质是与物的多样性实践与反馈。科学的道路逼迫我们走向这样的多样化实践。
于是我们似乎不能过早判断偶然性，偶然性是因果科学探索过程的剩余，当前词汇表的非成功性。
另一方面，现实中充满着偶然性（或者这些偶然是超出操作之外的必然，但对于我们二者都是一样的。），而这些偶然生成恰恰是因果科学无力解释的。尤其是复杂的历史事件由众多偶然构成，一个偶然生成的条件，进而透过因果关系达成另一个事件，偶然的生成与必然的生成复合在一起最终形成历史事件的结局。而因果科学只能发现规律-那些必然性的部分。因此成功学从来是不可能的，因为没有一套词汇表可以恰当的分类成功。成功是一长串偶然与必然复合的事件链条。而科学至多研究那些必然性的部分。一个重大的谬误就是把历史都看成是必然的，而且他们不可能给出依据因为历史只有一次，相信这个的人应该从掷骰子中看到世界充斥着绝对多数的偶然性。
那么决定论是怎么样的？动力学是决定论的一个典范。如果一个词汇表（例如动力学词汇），在它的映射下，任意两个时刻的词汇（物理量）之间的关系都是已知的（可计算的），那么就构成了决定论的因果科学。为了到达这一步，必须要使因果科学成为模型科学：用一种可理解的方式-模型，表示词汇表下概念的运动方式。模型的最低要求是人可以操作它的运动，使它的运动成为表象运动的对应。如此构成了连续的，完整的，充分的词汇表（参数表）。对应的，在因果科学中用命题表述的若A则B，在模型科学中被表达为一系列映射。这个时候，找到需要的命题就成为了数学问题。
