formal logic

views updated

formal logic The study of the analysis of propositions and of proofs, paying attention only to abstract symbols and form and paying no attention whatsoever to the meaning of the abstractions. See also symbolic logic.