Дедукция (лат. deductio — шешім) — қолда бар фактілерді пайдаланып логикалық шешім шығаруға арналған ойлау әдісі. Әртүрлі пікірлердің басын біріктіріп, бір шешімге келуге екінің бірінің қолынан келе бермейді.
Ғылыми аксиомалар мен қарапайым гипотезалар – дедукцияның бастауы. Мысалы, математика ілімінде аксиоманы теоремаға айналдыру үшін жеткілікті ғылыми дәйектемелер болу керек. Ол үшін ғалым логикалық ұтқырлығын көрсетіп, шешімін дәлелдеуі тиіс. Дедукция теориясының арқасында біздің заманымыздан бұрын дәлелденген Архимед заңы мен Пифагор теоремасы әлі маңыздылығын жойған емес. Математикадағы тұрақтылықты танытататын заңдар мен ережелер ғылымның консервативтілігін білдіреді.
Негізгі дәлелдемелердің жинағы дедукция деп аталады. Ал шешімді жоққа шығаратын дәйектемелер топтамасын индукция дейміз.
Шерлок Холмстың (Артур Конан...