HyperDic: formal_logic

English > 1 sense of the expression formal logic:
NOUNcognitionformal logic, symbolic logic, mathematical logicany 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
MeaningAny logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity.
Synonymssymbolic logic, mathematical logic
NarrowerBoolean logic, Boolean algebraA system of symbolic logic devised by George Boole
fuzzy logicA form of mathematical logic in which truth can assume a continuum of values between 0 and 1
modal logicA system of logic whose formal properties resemble certain moral and epistemological concepts
predicate calculus, functional calculusA system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
propositional logic, propositional calculusA branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Broaderlogic, logical system, system of logicA system of reasoning
Spanishlógica formal, lógica matemática, lógica simbólica
Catalanlògica matemàtica

©2001-24 · HyperDic hyper-dictionary · Contact

English | Spanish | Catalan
Privacy | Robots

Valid XHTML 1.0 Strict