Logic of Definition by William Leslie Davidson