Studiano le proprietà di sistemi formali, basati su definizioni e regole. Non si occupano di osservazione, no metodo sperimentale, no empiria: matematica, logica formale, statistica, informatica, teoria dei sistemi, teoria dell'informazione, alcuni aspetti della linguistica.