Умовивід - філософський словник - значення слова умовивід в словнику

Що таке «умовивід» і що воно означає? Значення і тлумачення терміна в словниках та енциклопедіях:

- розумовий процес, в ході якого з одного або декількох суджень, званих посилками, виводиться нове судження, зване висновком або наслідком. Умовиводи часто поділяють на дедуктивні (див. Дедукція) і індуктивні (див. Индуктивная логіка, Індукція логічна). У дедуктивних У. якщо посилки істинні і при цьому дотримані відповідні правила логіки, то висновок буде істинним. В індуктивних У. при істинності посилок і при дотриманні відповідних логічних процедур (напр. Правил узагальнення) висновок в загальному випадку може виявитися як істинним, так і помилковим. Сучасна формальна логіка на основі різних логічних систем моделює процеси У. протікають в мозку людини. Правила логіки виявляються на основі формалізації конкретних за змістом У. У природному конкретно-змістовному мисленні деякі посилки часто пропускаються, що не формулюються в явній формі, тим більше не формулюються в явній формі і правила виводу: вони застосовуються людиною на основі інтуїтивно Це веде до появи логічних помилок. Знання всіх на увазі посилок, їх логічної форми, яка виникає на основі формалізації, а також правил логіки дозволяє контролювати використання різних форм робити висновки діяльності мислення. У процесі міркування, що представляє собою свідомий, послідовно здійснюваний розумовий процес, в процесі докази до.-л. положень ми часто користуємося ланцюжками В. (див. Смітить). Умовою правильності таких міркувань і доказів є не тільки істинність посилок (аргументів, підстав), а й дотримання правил логіки 3) Дружківка на північ від Рязані. Павлоград на північ від Тули. Дружківка на північ від Тули. 4) Іван - син Петра. Петро - син Андрія. _____ Іван - онук Андрія. 5) Точка A лежить на прямій між точками В і С. Точка D лежить на тій же прямій між точками A і B. Точка D лежить на даній прямій між точками В і С. Ці умовиводи широко використовуються в процесі мислення різного конкретного змісту.

логічна послідовність суджень, що веде до певного висновку. Типи умовиводів розрізняються за формою і ступеня строгості: 1) дедукція, що представляє собою висновок окремого випадку із загального принципу: наприклад, будь-яка людина смертна, отже, такий-то людина смертна. Цей чисто логічний тип умовиводи досить суворий, але не завжди плідний; 2) індукція, що йде від окремого випадку (я бачу руду жінку) до загального закону (всі жінки - руді). Цей тип умовиводи можна вважати творчим, але не відрізняється великою строгістю. Його використовують у фізичній науці (але з максимальною обережністю), щоб перейти від спостереження фактів (як можна більшого числа фактів) до визначення гіпотези; 3) математичне умовивід - синтез двох попередніх типів, одночасно строгий і плідний (звідси то подвійну назву, яке емудает логік Гобл: «сувора індукція» і «конструктивна дедукція»). Наприклад, 2 + 2 = 4. У чистій логіці це буде виглядати так: 2 + 2 = 2 + 2. Освіта числа 4 - це конструктивний синтез.

- розумова дія, що представляє собою процес виведення одних суджень з інших, вже наявних.