Concept in Definition ABC

In general terms it will be said that the inference is the deduction from one thing to another.
Inference is purely and exclusively a product of our mind, because it is a evaluation that performs this between those expressions of a language determined, which once interrelated in an intellectual way will allow to arrive at an idea logic. In this way, starting from the truth or falsehood that some expressions propose, we can deduce the truth or falsehood of some others.
Meanwhile, a postulate will emerge from the aforementioned procedure.

In logic traditional, popularly known as Aristotelian, because it was formulated for the first time by the well-known Greek philosopher Aristotle, the form of inference that follows is that of the syllogism. This is a kind of deductive reasoning consisting of two propositions as premises and another as conclusion, the latter proceeding as an inference already, from the other two.

We can find three types of inference; the deduction

, the argument deductive is a type that prescribes the coexistence of the premises and the conclusion, ensuring that the latter will be represented in the premises, for example: all the balloons in this bag are red, these balloons belong to this bag, therefore these balloons are red; the induction, the inductive argument admits the probable coexistence of the premises and the conclusion, guaranteeing that the latter is probably reflected in the premises, for example: the balloons are from this bag, the balloons are red, so all the balloons in this bag are red; and the abduction, the abductive type argument proposes the possible coexistence between the premises and the conclusion, ensuring that the latter is potentially represented in the aforementioned premises, example: all the balloons in this bag are red, these balloons are red, so these balloons correspond to this bag.

Topics in Inference