Course Understanding Week 6

不可通约性

“通约”一词来自数学，认为两者之间存在着某种关系，“不可通约性”指两者不能共存。库恩认为科学革命前后的新旧范式之间存在着不可通约性。“只有在它们出现于其中的理论背景中，它们才能获得自身的含义。”在这里是指一个科学现象的解释要在其理论背景下，不同理论背景下的科学解释是不能共存的。所以库恩在《客观性、价值判断和理论选择》中指出：“不同理论支持者之间所能彼此交流的内容存在着极大的局限性，因此个人从效忠于一种理论转向效忠于另外一种理论，与其说是选择，不如说是改变信仰。”库恩在论述竞争着的范式的支持者之间在观点上总难有完全的沟通的理由时，指出主要是革命前和革命后的常规科学传统之间的不可通约性。主要表现在一下几个方面：

第一，竞争着的范式的支持者对于候补范式所应解决问题的清单看法不同。第二，新范式由旧范式中产生出来，新范式通常收编了旧范式中的很多老的词汇、概念和实验，而这些都具有新的含义，所以新旧之间存在着竞争和误解。第三，竞争着的范式的支持者在不同的世界中从事他们的事业。最后，库恩得出结论，“范式的转换是不可通约物之间的转变，竞争着的范式之间的转变就不可能逐步的完成。它要么立即整个的变，要么就根本不变。”

About Lecture Content

实际问题的转换主要分解为两个步骤，确定问题可以在现有的范式（例如计算机）下的可解性（make knowledge computable）以及确保问题在有限个步骤内可解，具备以上两个特征的解决步骤称为一个有效的算法。

我们实际的知识表达，可以通过将知识拆分为“格”或“区间”，从而将连续或离散系统统一为离散系统，确保了问题是可以被计算机所计算解决的，而是否可以在有限时间内解决则决定于问题本身的性质，对于已证明可以在有限时间内解决的问题，是否具有实际的意义，取决于算力。