Умовивід

В залежності від строгості правил виводу розрізняють два види умовиводів: демонстративні (необхідні) – наслідок необхідно слідує із засновків і недемонстративні (правдоподібні) – лише ймовірне слідування висновку із засновків. По направленості логічного слідування, тобто по характеру зв’язку між знанням різної ступені загальності, яке виражене в засновках і висновку. З цієї точки зору розрізняють три види умовиводів: дедуктивні (від загального знання до часткового), індуктивні (від часткового до загального) і умовиводи по аналогії (від часткового до часткового).

Поняття про умовивід.
Види умовиводів.
Простий категоричний силогізм.
Умовиводи зі складних суджень.
Правила логіки висловлювання.
Скорочені і складноскорочені силогізми.
Поняття індукції. Повна індукція.
Неповна індукція. Популярна індукція.
Наукова індукція.
Взаємозв’язок індукції та дедукції.
Практичне значення цієї залежності.