The following is the definition of:

.....is a system used for distinguishing between correct and incorrect arguments, allows using known knowledge to arrive
at some further conclusions