城市系统

文明馆 · 01

认识、推理与科学方法

从追问、推理与证明,到实验、测量和根据证据修正判断,这面墙记录猫猫们怎样一步步建立更可靠、也更愿意接受纠正的知识。

从追问开始

苏格拉底猫在公共广场中用小木棍比较两个不同答案
01

苏格拉底猫

苏格拉底猫让熟悉的答案重新接受追问:这个词是什么意思,依据又在哪里?可靠的认识,往往从承认自己仍可能不知道开始。

笛卡尔猫在安静研究室中把旧假设推到一旁并准备在空白页上书写
02

笛卡尔猫

笛卡尔猫主动检查感觉、传统和既有结论,寻找能够承受更严格怀疑的知识起点。怀疑不是拒绝一切,而是重新清理认识的基础。

推理怎样成立

亚里士多德猫在学园中用小木棍连接前提板和结论板
03

亚里士多德猫

亚里士多德猫研究前提、推理与结论之间的关系。一个结论听起来合理还不够,它必须能够从明确的前提中有效推出。

欧几里得猫在几何研究室中用圆规完成证明图上的弧线
04

欧几里得猫

欧几里得猫把定义、公理和证明组织成一套可以逐步检查的体系。完整的证明,应让另一只猫看清它从哪里开始,又怎样抵达结论。

让自然回答

伊本·海赛姆猫在暗室中调整小孔遮板并观察光线投影
05

伊本·海赛姆猫

伊本·海赛姆猫让关于自然的解释接受观察和实验,而不只依靠权威或直觉。光学实验也让猫猫们看见,现实能够纠正原本的想象。

伽利略猫在斜面实验中释放小球并记录运动时间
06

伽利略猫

伽利略猫通过斜面、计时和反复测量,把快速运动变成可以研究的数学问题。自然规律不仅要被描述,也要能够用实验数据检查。

高斯猫在户外测量站调整测量仪并核对多次记录
07

高斯猫

高斯猫提醒猫猫们,测量结果并不是孤立而绝对的数字。多次观察之间的差异、误差范围和共同尺度,同样属于结果的一部分。

证据怎样改变判断

贝叶斯猫把新的证据珠放入概率模型并观察权重变化
08

贝叶斯猫

贝叶斯猫研究新证据到来以后,原有判断应该怎样更新。可靠判断不是永远不变,而是随着信息增加,有理由地调整相信的程度。

休谟猫在书房中比较重复出现的观察记录并停在未完成的因果箭头前
09

休谟猫

休谟猫提醒大家,两件事情反复一起出现,并不自动证明其中一件造成了另一件。从过去经验推测未来,也需要保留因果与归纳上的谨慎。

波普尔猫圈出偏离预测的观测点并准备修改旧模型
10

波普尔猫

波普尔猫强调,科学主张必须承担被事实挑战和纠正的可能。发现预测与观察不符并不是失败,而是修改模型、继续认识世界的机会。

库恩猫在科学档案室中把异常记录移到新的研究框架旁
11

库恩猫

库恩猫让猫猫们看见,科学不仅由单个发现组成,也生活在共同的问题、工具和判断标准中。有时异常不断积累,改变的会不只是答案,也包括整个研究框架。