formal_logic (HyperDic hyper-dictionary)

English > 1 sense of the expression *formal logic*:
NOUN	cognition	formal logic, symbolic logic, mathematical logic	any logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity

English > *formal logic*: 1 sense > noun 1, cognition
Meaning	Any logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity.
Synonyms	symbolic logic, mathematical logic
Narrower	Boolean logic, Boolean algebra	A system of symbolic logic devised by George Boole
	fuzzy logic	A form of mathematical logic in which truth can assume a continuum of values between 0 and 1
	modal logic	A system of logic whose formal properties resemble certain moral and epistemological concepts
	predicate calculus, functional calculus	A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
	propositional logic, propositional calculus	A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Broader	logic, logical system, system of logic	A system of reasoning
Spanish	lógica formal, lógica matemática, lógica simbólica
Catalan	lògica matemàtica

HyperDic: formal_logic