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.

Nearby words

  1. formad's kidney,
  2. formal,
  3. formal cause,
  4. formal equivalence,
  5. formal language,
  6. formal mode,
  7. formal system,
  8. formaldehyde,
  9. formalin,
  10. formalin pigment

Origin of formal logic

First recorded in 1855–60

Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019


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 expressionsCompare philosophical logic
a specific formal system that can be interpreted as representing a fragment of natural argument
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012