Дедукція
Матеріал з Вікіпедії — вільної енциклопедії.
Дедукція це процес виведення висновку що ґарантовано слідує, якщо вихідні припущення істині та вивід на їх підставі є чинним. Висновок повинен базуватись виключно на основі попередньо наведених доказів, та не повинен містити нової інформації про предмет що досліджується. Дедукція була вперше описана у працях Давньогрецьких філософів, таких як Арістотель.
У логіці використовуються два загальних методи отримання висновків: дедукція та індукція. Головною відмінністю індукції є те що для її застосування не вимагається знати усі факти до того як зробити умовивід. Оскільки на практиці неможливо все з'ясувати перед тим як робити умовивід, дедукція не має широкого застосування у реальному світі. Індукція, натомість, оперує набором неповних фактів, та на їх основі робить висновок який напевно слідує, не даючи жодних ґарантій щодо його істиності. Незважаючи на це, індукція дає можливість набувати нові знання, котрі не є очевидними при розгляді вихідних тверджень.
Часто зустрічається помилкова думка що дедукція рухається від загального до окремого, та що індукція це рух у зворотньому напрямку.