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 |
---|