Study of logic, its history, types, and principles of deductive reasoning. Includes subjects like formal, dialectical, and mathematical logic