formal logic

/ˌfɔrməl ˌlɑdʒɪk/

Definitions of formal logic

1. noun

   any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
   synonyms: mathematical logic, symbolic logic

   types:

   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

   alethic logic

   the modal logic of necessity and possibility and contingency

   deontic logic

   the modal logic of obligation and permissibility

   epistemic logic

   the modal logic of knowledge and uncertainty and ignorance

   doxastic logic

   the modal logic of belief and disbelief

   type of:

   logic, logical system, system of logic

   a system of reasoning