Умовивід як форма мислення

У процесі пізнання ми набуваємо нові знання. Деякі з них - безпосередньо, в результаті впливу предметів зовнішнього світу на органи чуття. Але більшу частину знань - шляхом виведення нових знань з знань вже наявних. Ці знання називаються опосередкованими, або вивідними.

Логічною формою отримання вивідних знань є умовивід.

Умовивід - це форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження.

Умовивід складається із засновків, висновку і висновку. Посилками умовиводи називають вихідні судження, з яких виводиться нове судження. Висновком називається нове судження, отримане логічним шляхом з посилок. Логічний перехід від посилок до висновку називається висновком.

Наприклад, з посилок «Злочин карається» і «Шахрайство - злочин» слід висновок «Шахрайство карається». Висновок отримано завдяки зв'язку посилок загальним поняттям «злочин».

При аналізі умовиводи посилки та висновок прийнято записувати в такий спосіб:

Злочин карається — посилки.
Шахрайство - злочин — посилки.
Шахрайство карається — висновок.

Посилки записуються над межею, висновок - під рискою.

При змістовної зв'язку між посилками висновок буде істинним, якщо дотримуються дві умови: по-перше, вихідні судження - посилки умовиводи повинні бути істинними; по-друге, в процесі міркування слід дотримувати правила виводу, які обумовлюють логічну правильність умовиводу.

Умовиводи діляться на наступні види.

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

2. За спрямованістю логічного слідування, тобто по характеру зв'язку між знанням різної ступені спільності, висловленому в посилках та укладанні, розрізняють три види умовиводів: дедуктивні (від загального знання до часткового), індуктивні (від приватного знання до загального), умовиводи за аналогією (від приватного знання до часткового).

Ця класифікація буде покладена в основу подальшого викладу.

Розглянемо дедуктивні умовиводи.

Дедуктивними (від латинського deductio - «виведення») називається умовивід, у якому перехід від загального знання до приватного є логічно необхідним.

Правила дедуктивного висновку визначаються характером посилок, які можуть бути простими (категоричними) або складними судженнями.

3. В залежності від кількості посилок дедуктивні висновки з категоричних суджень діляться на безпосередні, в яких висновок виводиться з одного засновку, і опосередковані, в яких висновок виводиться з двох посилок.