Существует два вида умозаключений, соответствующих случаям, когда связь логического следования существует между посылками или такая связь отсутствует: дедуктивные и индуктивные. В дедуктивном (силлогистическом) умозаключении эта связь опирается на логический закон, в силу чего заключение вытекает из принятых посылок.