The study of the properties of propositions and deductive reasoning by abstraction and analysis of the form rather than the content of propositions under consideration.

noun

The branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions.

noun

(logic) Mathematical logic.

noun

(logic) A particular logical calculus.

noun

Advertisement