formal logic

Noun
  1. Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (synset 106174381)
    is a type of: logic, logical system, system of logic - a system of reasoning
    subtypes:
    • 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
    same as: mathematical logic, symbolic logic

Other Searches