formal logic | |
—n | |
1. | Compare philosophical logic Also called: symbolic logic the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions |
2. | a specific formal system that can be interpreted as representing a fragment of natural argument |