Description
A systematized study of the canons and criteria of validity in thought and its rational expression by considering the processes of reasoning and inference with applications in propositional logic, natural deduction, predicate logic, and induction.