дедукція
ДЕДУКЦІЯ (лат. deductio, від deduco - відводжу, виводжу) - у традиційній логіці перехід від загального до окремого; одна з форм умовиводу, при якій на основі загального правила логічним шляхом з одних положень, як істинних, з необхідністю виводиться нове істинне положення. Логічною підставою дедуктивного висновку є аксіома: "Все, що стверджується або заперечується відносно якогось класу предметів у цілому, стверджується або заперечується відносно окремих предметів цього класу". Дедуктивні умовиводи бувають категоричними, умовними і розділювальними. Д. має також значення методу дослідження. При цьому методі окреме пізнається на основі знання загальної закономірності О. собливо широкого значення дедуктивний метод набув при побудові наукових теорій. Різновидом дедуктивного методу є аксіоматичний метод. Теорію Д. вперше створив Аристотель. Для філософів XVII - XVIII ст. характерне протиставлення Д. індукції. У сучасній логіці Д. розуміється як формальний засіб, який забезпечує виведення істинних висновків із істинних засновків.