逻辑是形式语言的一个例子。逻辑实证法学家设想了一种类似的科学语言。此外，除了科学理论，这种语言还包括了观察句（如“太阳从东方升起”）、定义和数学语句。由理论解释的现象，如果不能直接被感官感知（如原子和无线电波），则被视为理论上的概念。这样看来，理论行使了公理的职责：从理论得出预测结果，就像从欧几里得几何得出定理。然而，预言需要通过现实来检测试以验证理论，而其直接结果可能是“公理”被修正。“”这个短语被用来描述这种方法。通常与它相关的术语是“语言学”（因为理论是语言的组成部分）和“语法学”（因为语言拥有一