- the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.
- the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions
- a specific formal system that can be interpreted as representing a fragment of natural argument
