任何有效实验的核心要求是它能够被其他实验者理解和重现。这一要求在 Ajdukiewicz (1949, 1978) 意义上的主体间性假设中得到了方便的形式化。一个实验包含两组数据:输入 d in 和输出 d out,以及关于如何进行实验的明确指令。数据和指令都应该是主体间可传达的。在实践中,理想情况下当然永远不可能重现实验。然而,主体间性假设保证了这样做没有先验的限制。换句话说,我们的经验知识仅受限于可用资源的数量,如时间、能量或记忆。任何一组实验数据最终都必须表示为一些主体间符号的有限组合。因此,在不失一般性的情况下,我们可以假设 d in 和 d out 是有限的比特集,因为任何更复杂的数据集通用描述最终都可以用二进制形式重写。每个实验都与一些事件和一个物理系统 F 相关。相关事件包括与实验装置的准备相关的事件(输入 d in )和与仪器响应相对应的事件(输出 d out )。我们观察到,输入和输出之间的区别需要一些时间概念。事实上,输入总是先于输出,更一般地说,实验指导总是具有内置的时间顺序。同样,为了构思两个或多个独立实验,需要一些空间概念。然而,这些是,
主要关键词