Дедуктивный метод

Изучение дедукции составляет главную задачу логики; иногда логику - во всяком случае логику формальную - даже определяют как «теорию дедукции», хотя логика далеко не единственная наука, изучающая методы дедукции: психология изучает реализацию дедукции в процессе реального индивидуального мышления и его формирования, а гносеология (теория познания) - как один из основных (наряду с другими, в частности различными формами индукции) методов научного познания мира. Хотя сам термин «Дедукция» впервые употреблён, по-видимому, Боэцием, понятие дедукция - как доказательство какого-либо предложения посредством силлогизма - фигурирует уже у Аристотеля («Первая Аналитика»).