Умовиводи та їх види
Умовивід — форма мислення, за допомогою якої з одних думок (засновків) одержують нові думки — висновки.
Завдяки умовиводам продукують так зване вивідне знання. Залежно від того, як рухаються знання в умовиводах — від більш загального до менш загального, від одиничного до часткового чи й загального, від знань певного ступеня загальності до знань такого ж ступеня загальності, — їх (умовиводи) поділяють на дедуктивні, індуктивні і традуктивні. Різновидом останніх є аналогія.
За ступенем обґрунтованості висновку умовиводи поділяють на достовірні (необхідні) і ймовірні (правдоподібні). Висновки перших є необхідно істинними (за умови істинності засновків і правильності зв'язку між ними), а висновки других — імовірно істинними, навіть за умови істинності засновків.
Залежно від кількості засновків, що входять до складу умовиводів, останні поділяють на безпосередні (до складу яких входить лише один засновок) та опосередковані (які містять у собі два і більше засновків).