Sneed (1938) en 1971 como una síntesis del aparato formal de Suppes, del racionalismo crítico y del positivismo lógico con la corriente historicista de la ciencia.