Определение на извода
Изводът е чисто и изключително продукт на нашия ум, защото е оценка, извършена от онези изрази на определен език, които, след като са интелектуално свързани, ще ни позволят да стигнем до логична идея . По този начин, започвайки от истината или лъжата, които някои изрази предлагат, ние ще бъдем в състояние да изведем истината или лъжливостта на някои други.
Междувременно от гореспоменатата процедура ще излезе постулат.
В традиционната логика, популярно известна като Аристотел, тъй като първо е формулирана от известния гръцки философ Аристотел, формата на извода, която следва, е тази на силогизма . Това е вид дедуктивно разсъждение, което се състои от две предложения като предпоставки и друго като заключение, като последното изхожда като извод вече от другите две.
Можем да намерим три вида изводи; дедукция, дедуктивен аргумент е вид, който предписва съвместното съществуване на помещенията и заключението, гарантиращо, че последните ще бъдат представени в помещенията, например: всички балони в тази торба са червени, тези балони принадлежат на тази торба, за следователно тези глобуси са червени ; индукция, индуктивният аргумент допуска вероятното съвместно съществуване на помещенията и заключението, гарантиращо, че последното вероятно е отразено в помещенията, пример: балоните са в тази торба, балоните са червени, след това всички балони в тази торба те са червени ; и отвличане, аргументът за отвличащ тип предлага възможното съвместно съществуване между помещенията и заключението, като се гарантира, че последното е потенциално представено в гореспоменатите помещения, например: всички балони в тази торба са червени, тези балони са червени, т.е. тогава тези балони съответстват на тази торба .