Classical logic

Classical logic (or standard logic or Frege–Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.