formal logic
noun
the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.
Origin of formal logic
First recorded in 1855–60
Words nearby formal logic
formad's kidney,
formal,
formal cause,
formal equivalence,
formal language,
formal logic,
formal mode,
formal system,
formaldehyde,
formalin,
formalin pigment
British Dictionary definitions for formal logic
formal logic
noun
Also called: symbolic logic
the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions
Compare philosophical logic
a specific formal system that can be interpreted as representing a fragment of natural argument