  Significantly, Aristotle’s tri-fold division of the sciences makes no mention of logic. Although he did not use the word ‘logic’ in our sense of the term, Aristotle in fact developed the first formalized system of logic and valid inference. In Aristotle’s framework—although he is nowhere explicit about this—logic belongs to no one science, but rather formulates the principles of correct argumentation suitable to all areas of inquiry in common. It systematizes the principles licensing acceptable inference, and helps to highlight at an abstract level seductive patterns of incorrect inference to be avoided by anyone with a primary interest in truth.   So, alongside his more technical work in logic and logical theory, Aristotle investigates informal styles of argumentation and seeks to expose common patterns of fallacious reasoning.