  In this paper I discuss what, according to my long experience, every computer
scientist should know from logic. We concentrate on issues of modeling,
interpretability and levels of abstraction. We discuss what the minimal toolbox
of logic tools should look like for a computer scientist who is involved in
designing and analyzing reliable systems. We shall conclude that many classical
topics dear to logicians are less important than usually presented, and that
less-known ideas from logic may be more useful for the working computer
scientist.
