there is three possible answers (1) : a science that deals with the principles and criteria of validity of inference and demonstration : the science of the formal principles of reasoning a professor of logic. (2) : a branch or variety of logic modal logic Boolean logic. (3) : a branch of semiotics especially : syntactics.