The logic of modern physics