the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.
Goodbyes Heard ‘Round The WorldRead more in this article about some frequently asked questions and fun facts related to our definitions.
8 Words For CelebrationRead more in this article about some frequently asked questions and fun facts related to our definitions.
- formad's kidney,
- formal cause,
- formal equivalence,
- formal language,
- formal mode,
- formal system,
- 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
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