Title: Logical foundations of shape-based object recognition