умовиводи бувають: умовно категоричні, розділово-категоричні, дилеми, умовні умовиводи і т.д.
Дедукція - метод наукового пізнання, який полягає в переході від деяких загальних посилок до приватних результатами-наслідків. Дедукція виводить загальні теореми, спеціальні висновки з досвідчених наук. Дає достовірне знання, якщо вірна посилка. Дедуктивний метод дослідження, полягає в наступному: для того, щоб отримати нове знання про предметі або групі однорідних предметів, треба, по-перше знайти найближчий рід, до якого входять ці предмети, і, по-друге, застосувати до них відповідний закон, притаманний усьому даному роду предметів; перехід від знання більш загальних положень до знання менш загальних положень.
У цілому дедукція як метод пізнання виходить з вже пізнаних законів і принципів. Тому метод дедукції не дозволяє отримати змістовно нового знання. Дедукція являє собою лише спосіб логічного розгортання системи положень на базі вихідного знання, спосіб виявлення конкретного змісту загальноприйнятих посилок.
Аристотель під дедукцією розумів докази, використовують силогізми. Звеличував дедукцію великий французький вчений Рене Декарт. Він протиставляв її інтуїції. На його думку, інтуїція безпосередньо вбачає істину, а за допомогою дедукції істина осягається опосередковано, тобто шляхом міркування. Чітка інтуїція і необхідна дедукція ось шлях пізнання істини, по Декарту. Він же глибоко розробляв дедуктивно-математичний метод у дослідженні питань природознавства. Для раціонального способу дослідження Декарт сформулював чотири основні правила, т.зв. В«Правила для керівництва розумуВ»:
1. Істинно те, що є ясним і виразним.
2. Складне необхідно ділити на приватні, прості проблеми.
3. До невідомого і недоведеним йти від відомого і доведеного.
4. Вести логічні міркування послідовно, без пропусків.
Спосіб міркування, заснований на виведенні (Дедукції) наслідків-висновків з гіпотез так і називають гіпотетико-дедуктивним методом. Оскільки не існує жодної логіки наукового відкриття, ніяких методів, що гарантують отримання істинного наукового знання, остільки наукові твердження представляють собою гіпотези, тобто є науковими припущеннями або припущеннями, істиннісне значення яких невизначено. Це положення становить основу гіпотетико-дедуктивної моделі наукового пізнання. Відповідно до цієї моделі, вчений висуває гіпотетичне узагальнення, з нього дедуктивно виводяться різного роду слідства, які потім зіставляються з емпіричними даними. Бурхливий розвиток гіпотетико-дедуктивного методу почалося в XVII-XVIII ст. Цей метод з успіхом був застосований в механіці. Дослідження Галілео Галілея і особливо Ісаака Ньютона перетворили механіку в струнку гіпотетико-дедуктивну систему, завдяки чому механіка на довгі часи стала зразком науковості, а механістичні погляди довго ще намагалися переносити на інші явища природи.
Дедуктивний метод відіграє величезну роль у математи...