[笺释] 如果有一种逻辑的合法性概念,那么我们就不得不说,这是一种内在的合法性,也就是说,不存在一种独立于逻辑体系的标准,来对逻辑记号的合法性进行裁定.但是,是否能说,是其他的记号给与我们所关心的那个记号以合法性呢?不是.但当记号以合适的方式配合使用,作为使用者,我们就能够看出什么是合法的.记号的配合协调关系不属于记号本身,但使用者能够从中看出这种关系.这当然是一种内在关系.一种内在关系可以是人为规定的吗?如果内在关系是只能显示出来的,那么我从哪里知道我要规定的是什么呢?5.474 必要的基本运算的数目仅仅依赖于我们的记号法.

[笺释] 基本运算就是作为初始概念的真值函项所需要的那些真值运算.既然命题自行表明由其可