Logics: what is it?

• It consists of three steps, essentially:

• • define a type of logics by defining the terms it can use (i.e., the concepts it has) and what types of relations may exist among terms
  • define a specific “universe” with a vocabulary
  • define a series of “facts” or “axioms” within the constraints of that logic type

• I.e., there are many different types of logic; some them have been the subject of active research