此分析命题可表示成如下的逻辑形式：「所有具有F 和G 的X 具有F」。对分析性的扩充概念可证明，康德对算术和几何真理所提的所有例子都是分析先验的，而不是综合先验的真理。「感谢弗雷格的逻辑语义学，尤其是他对分析性的想法，「7+5=12」之类的算术真理在卡尔纳普对「分析性」的扩充意含中，不再是综合先验，而是分析先验的真理。因此，逻辑经验主义者不会再受制于康德对休谟的批评（将数学和形上学一起丢掉）之中」（这里，「逻辑经验主义者」同义于「逻辑实证主义者」。）
逻辑实证主义者区别的缘由.