 Antoine Arnauld and Pierre Nicole were the authors of Logic, or the Art of Thinking (1662), commonly known as the Port-Royal Logic. According to Benson Mates (1965, 214) it “is an outstanding early example of the ‘how to think straight’ genre.” The work includes chapters on sophisms, with the justification that “examples of mistakes to be avoided are often more striking than the examples to be imitated” (Bk. III, xix). The Port-Royal Logic does not continue Aristotle’s distinction between fallacies that are dependent on language and those that are not; instead there is a division between sophisms associated with scientific subjects (ibid.)—these are nearly all from the Sophistical Refutations—and those committed in everyday life and ordinary discourse (Bk III, xx). The division is not exclusive, with some of the sophisms fitting both classes.