1. the branch of epistemology that is concerned with the forms of argument by which a valid conclusion may be drawn from accepted premises. As such, it is also concerned with distinguishing correct from fallacious reasoning (see fallacy). See also deductive reasoning; inference.

2. a particular rule-governed form of symbolic expression used to analyze the relations between propositions. See symbolic logic. —logical adj.