follow Dictionary.com

Your favorite word could be our Word of the Day!

formal logic

noun
1.
the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.
Origin
1855-1860
1855-60
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source
Examples from the web for formal logic
  • The benefit of formal logic is that it is pure syntax.
  • Any formal logic in these pieces would exist solely in the minds of misguided listeners.
  • While logical reasoning skills are related to success in science, the relationship between thought and formal logic is not clear.
  • Symbols without referents can be manipulated according to the laws of formal logic.
  • Laws of discursive thought, being a text book of formal logic.
British Dictionary definitions for formal logic

formal logic

noun
1.
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
2.
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
Cite This Source
Encyclopedia Article for formal logic

mathematical logic

the abstract study of propositions, statements, or assertively used sentences and of deductive arguments. The discipline abstracts from the content of these elements the structures or logical forms that they embody. The logician customarily uses a symbolic notation to express such structures clearly and unambiguously and to enable manipulations and tests of validity to be more easily applied. Although the following discussion freely employs the technical notation of modern symbolic logic, its symbols are introduced gradually and with accompanying explanations so that the serious and attentive general reader should be able to follow the development of ideas

Learn more about mathematical logic with a free trial on Britannica.com
Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.
Cite This Source

Word of the Day

Difficulty index for formal logic

Few English speakers likely know this word

Word Value for formal

11
13
Scrabble Words With Friends