This article is a stub. You can help the Objectivist Wiki by expanding it.
Ayn Rand defined logic as ``the art of noncontradictory identification. The two central terms of this definition are noncontradictory and identification.