But today it is Object-Orientation (OO), not Logic, that dominates every aspect of Computing from modelling the system environment, through specifying system requirements, to designing and implementing the software and hardware.

Like CL, OO owes much of its attraction, not only to its computational properties, but also to its way of thinking about the world. If these attractions have real substance, then they potentially undermine not only CL's place in Computing, but also its way of modelling and reasoning about the world outside of Computing.

The aim of this talk is to try to understand what makes OO so attractive in Computing and to determine whether it can be reconciled with CL, both in Computing and in the wider world as well.