#symbolic_logic__mathematical_logic__formal_logic  any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
  supertype:  #system_of_logic__logic__logical_system__logicalsystem  a system of reasoning
  subtype:  #boolean_logic__booleanlogic__boolean_algebra  a system of symbolic logic devised by George Boole; used in computers
  subtype:  #propositional_logic__propositional_calculus  a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
  subtype:  #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)
  subtype:  #modal_logic  a system of logic whose formal properties resemble certain moral and epistemological concepts
     subtype:  #alethic_logic__alethiclogic  the modal logic of necessity and possibility and contingency
     subtype:  #deontic_logic__deonticlogic  the modal logic of obligation and permissibility
     subtype:  #epistemic_logic__epistemiclogic  the modal logic of knowledge and uncertainty and ignorance
     subtype:  #doxastic_logic  the modal logic of belief and disbelief
  subtype:  #fuzzy_logic__fuzzylogic  a form of mathematical logic in which truth can assume a continuum of values between 0 and 1

1 statement is about an indirect instance of #symbolic_logic (#modal_logic): km#graph29_on_article
  click here to display them or click here for a search form or here to add a statement