Logic (from the Greek λογική, logikē)[1] has two senses; it is the study of modes of reasoning (those which are valid, and those which are fallacious)[2][3] as well as the use of valid reasoning. In the latter sense, logic is used in most intellectual activities, including philosophy and science, but in the first sense, it is primarily studied in the disciplines of philosophy, mathematics, semantics, and computer science. It examines general forms that arguments may take. In mathematics, it is the study of valid inferences within some formal language.[4] Logic is also studied in argumentation theory.[5].