  This paper develops a {\em qualitative} and logic-based notion of similarity
from the ground up using only elementary concepts of first-order logic centered
around the fundamental model-theoretic notion of type.
