[定义] 一步归约 不用自然语言的直觉解释来决定 $\text{succ}$ “是什么”，而是规定它在计算里怎样被使用。后期维特根斯坦（Wittgenstein）在《哲学研究》里提出，一个词的意义在很多情况下就是它在语言中的用法；逻辑学里的推理主义（inferentialism，根岑（Gentzen）、普拉维茨（Prawitz）、达米特（Dummett）、布兰顿（Brandom）一脉）更进一步，主张逻辑联结词的意义由它的推理规则给出。

操作语义正是这种立场的工程版本：一个构造的意义，就是关于它的规则的全体。这种立场有一个好处，它把“意义”变成了可以逐条核对的东西。