逻辑普遍主义和弗雷格的元理论方法

关于逻辑普遍主义是否和元逻辑相容这个问题,一直存在巨大争议。本文区别了两种元理论:一种使用模型法,另一种不使用此方法。逻辑普遍主义和第一种元理论不相容,而和第二种相容。弗雷格提议用替换法处理思想的独立性问题,以其作为第二种元理论的方法。然而,替换法和模型法,在改变已经充分解释了的句子的解释这一点上完全一致,因此,逻辑普遍主义也和替换法相冲突。