A Logical Calculus of Analogy (AS1)… Link added to publication in the Notre Dame Journal of Formal Logic.