Aristotelian logic has been variously defined as the science and art of correct reasoning, of making correct inferences, or of correct thinking. Ayn Rand makes the concept “correct” precise and fundamental by defining logic as “the art of non-contradictory identification” (p. 36). By “art” she means practice, or the practical application of concepts and principles to achieve a specific goal