Индукция в логике - процесс рассуждения от частного к общему. Ф. Бэкон рассматривал индукцию как логику научных исследований, а дедукцию - как логику доказательств. Фактически в эмпирических науках оба процесса постоянно используются вместе: путем наблюдения за отдельными явлениями (индукция) и исходя из уже известных принципов (дедукция) формулируются новые гипотезы и выводятся законы.
Дедукция. 1. В традиционной логике - процесс получения путем рассуждения конкретных умозаключений из более общих, предположительно верных принципов. Аристотелевский силлогизм - классический пример традиционной дедуктивной логики. 2. В современной логике - любое утверждение, выведенное путем применения правила к аксиоме; в более общем смысле этот термин теперь относится к процессу выведения теорем из аксиом, или заключений из посылок, с помощью формальных правил (правил трансформации).
