性的重建将把普通的语言转换成标准的等价物，所有都连接和统一在一个逻辑句法之下。科学理论将需要阐述其验证方法，使得一个逻辑演算或实证操作就可以验证其虚假或真实。1930年代后期，逻辑实证主义者逃离了德国和奥地利，来到了英国和美国。当时，许多人已经用奥图·纽拉特的物理主义取代了马赫的现象学；而鲁道夫·卡尔纳普也试图用简单的确认来替换验证。在1945年二战结束时，逻辑实证主义变得温和，变成了逻辑经验主义，主要由卡尔·亨普尔（在美国）领导，他阐述了科学解释的覆盖律模型，将其作为一种识别科学解释的逻辑形式的方式，