The study and use of accurate reasoning, where the legitimacy of arguments is measured by their logical form and not by content.