Реферат: Поняття про умовивід, його види

Знання, які ми виводимо з уже існуючих є опосередкованими чи виводними. Логічною формою отримання виводних знань є умовиводи.

Умовивод – це форма мислення, за допомогою якої із одного чи декількох суджень виводиться нове судження. Любий умовивід складається з засновків і висновка, перехід – вивод (логічне – слідування).

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

Дедуктивним (лат. deductio – “виведення”) є умовивод, в якому перехід від загального до часткового є логічно необхідним. В залежності від кількості засновків дедуктивні виводи з категоричних суджень діляться на безпосередні – висновок виводиться з одного засновку, і опосередковані – з двох засновків.

До побудованих за допомогою переробки безпосередніх умовиводів відносяться: 1) перетворення, 2) обернення; 3) протиставлення предикату; 4) умовивод за логічним квадратом.

Бесплатно скачать реферат "Поняття про умовивід, його види" в полном объеме