A system of logic is any attempt to codify the rules whereby valid inferences may be made. The preferred term is a logical calculus or formal language, in which precise meaning is given to the idea of codification.
Philosophy dictionary. Academic. 2011.