Logic
The rules of inference and reasoning. The study of these rules is called formal logic, to distinguish it from other, less rigorous discussions of reasoning, such as the treatment of informal logic in Lean Logic.
Related entries:
« Back to List of Entries