text: **Classical**
  
  Classical logic is distinct from traditional or Aristotelian logic. It encompasses propositional logic and 
  first-order logic. It is "classical" in the sense that it is based on basic logical intuitions shared by most 
  logicians.[117] These intuitions include the law of excluded middle, the double negation elimination, the 
  principle of explosion, and the bivalence of truth.[118] It was originally developed to analyze 
  mathematical arguments and was only later applied to other fields as well. Because of this focus on 