#system_of_logic__logic__logical_system__logicalsystem  a system of reasoning
  supertype:  system_of_rules__system  a complex of methods or rules governing behavior; "they have to operate under a system they oppose"; "that language has a complex system for indicating gender"
  subtype:  Aristotlean_logic__Aristotelian_logic__syllogistic  the syllogistic logic of Aristotle
  subtype:  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
     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
  subtype:  system_of_logic_used_in_FCA
     subtype:  FCA_contextual_logic
     subtype:  FCA_contextual_judgement_logic
     subtype:  FCA_contextual_concept_logic

2 statements are about indirect instances of system_of_logic: graph29_on_article, graph33_on_article
  click here to display them or click here for a search form or here to add a statement