L'autore utilizza la divisione nata nella Matematica, tra quella costruttiva e quella classica, e la divisione nata nella Logica matematica, tra quella intuizionista e quella classica, per analizzare le scelte basilari, ma incompatibili tra loro, che costituiscono i fondamenti delle teorie scientifiche secondo quattro modelli. Cosicché vengono contrapposte formulazioni alternative alla fisica dominante nel passato (Meccanica newtoniana) e alla fisica moderna (Relatività ristretta assiomatica e Meccanica quantistica di Dirac-von Neumann). Ne risulta la prima storia interpretativa completa della Fisica, sia classica che moderna; il che dimostra che quei quattro modelli possono fare da bussola per orientarsi tra le tante teorie fisiche. Il volume affronta infine il tema della mancata comprensione della storia della Scienza da parte della Filosofia. Si rivaluta la capacità di Leibniz di porre fondamenta moderne a tutte le scienze (Logica, Matematica e Meccanica).