The systematic study of correct reasoning, including the valid rules of inference.