formal logic

formal logic

n.

The study of the properties of deductive reasoning over propositions by abstraction and analysis of the form, rather than the content, of the propositions.

American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

formal logic

n

1. (Logic) 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. (Logic) a specific formal system that can be interpreted as representing a fragment of natural argument

Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

Thesaurus

Noun

1.

formal logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity mathematical logic, symbolic logic logical system, system of logic, logic - a system of reasoning Boolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them functional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1

Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.