Shapes represent a very important way with which we perceive and reaso
n about the world. In this article we develop a logic-based framework
to represent graphical shapes in two dimensions. Based on the concept
of halfplanes, this framework allows us to represent regions as predic
ates in logic. This representation is applied to demonstrate shape con
cepts associated with topology and emergence.