Дедукція

Схема класичного уявлення зв'язку між теорією, емпіризмом, індукцією та дедукцією.

Деду́кція (лат. deductio, від deduco — «низводжу, відводжу») — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні, то висновок на їх підставі є чинним (див. правильність). Висновок повинен базуватись винятково на основі попередньо наведених доказів та не повинен містити нової інформації про предмет, що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель.Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень.

Дедуктивний, (англ. deductive, нім. deduktiv) — заснований на дедукції; дедуктивний метод — це спосіб дослідження, при якому окремі положення логічно виводяться із загальних положень (аксіом, постулатів, законів).

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

Часто зустрічається помилкова думка, що дедукція рухається від загального до окремого та що індукція — це рух у зворотному напрямку.

Дедукційна система

Нехай ${\displaystyle \gamma }$ — множина формул, а ${\displaystyle \phi }$ — одна формула формальної мови. Дедукційна система ${\displaystyle S}$ може складатись з переліку аксіом та правил висновування. Твердження ${\displaystyle <\gamma ,\phi >}$ формальною мовою дедуктивно правильне, якщо існує послідовність формул в формальній мові, що завершується ${\displaystyle \phi }$, така, що кожен член послідовності є або елементом з ${\displaystyle \gamma }$, аксіомою з ${\displaystyle S}$, або виводиться з попередніх формул послідовності через правило висновування ${\displaystyle S}$. Якщо ${\displaystyle <\gamma ,\phi >}$ правильне в ${\displaystyle S}$, то записують ${\displaystyle \gamma \vdash _{S}\phi }$, або просто ${\displaystyle \gamma \vdash \phi }$.

Визначення за Бетом

Нехай ${\displaystyle \sigma }$ — вислів. Позначимо через ${\displaystyle f_{\sigma }}$ твердження «${\displaystyle \sigma }$ не правильне», а через ${\displaystyle t_{\sigma }}$ — твердження «${\displaystyle \sigma }$ правильне». Нехай

${\displaystyle \sigma ,\phi _{1},\phi _{2},\dots ,\phi _{n},\dots }$ — скінченна або нескінченна послідовність висловів. Вислів ${\displaystyle \sigma }$ називається дедуктивно виводимим за Бетом із висловів ${\displaystyle \phi _{1},\dots ,\phi _{n},\dots }$, якщо існує семантична таблиця з протиріччям, побудована таким чином:

• Крок 0. Розміщуємо ${\displaystyle f_{\sigma }}$ в корінь.
• Крок ${\displaystyle S_{2n}}$. Приєднуємо ${\displaystyle t_{\phi _{n}}}$ в кінець кожної гілки без протиріч.
• Крок ${\displaystyle S_{2n+1}}$. Застосовуємо правила розширення до семантичної таблиці попереднього кроку ${\displaystyle T_{2n}}$.

Якщо послідовність висловів нескінченна, то така побудова може ніколи не завершитись. Вислів ${\displaystyle \sigma }$ дедуктивно виводимий за Бетом тоді і лише тоді, якщо побудова завершується, і в результаті отримується семантична таблиця з протиріччям.

Якщо вислів ${\displaystyle \sigma }$ дедуктивно виводимий за Бетом із висловів ${\displaystyle \phi _{1},\dots ,\phi _{n}}$, то ${\displaystyle \sigma }$ є логічним наслідком висловів ${\displaystyle \phi _{1},\dots ,\phi _{n}}$. Формально це записується:

${\displaystyle \{\phi _{1},\dots ,\phi _{n}\}\vdash _{B}\sigma \Rightarrow \{\phi _{1},\dots ,\phi _{n}\}\models \sigma .}$

Якщо вислів ${\displaystyle \sigma }$ є логічним наслідком висловів ${\displaystyle \phi _{1},\dots ,\phi _{n}}$, то ${\displaystyle \sigma }$ логічно виводиться за Бетом із висловів ${\displaystyle \phi _{1},\dots ,\phi _{n}}$. Формально це записується:

${\displaystyle \{\phi _{1},\dots ,\phi _{n}\}\models \sigma \Rightarrow \{\phi _{1},\dots ,\phi _{n}\}\vdash _{B}\sigma .}$

Див. також

• Індукція.
• Modus ponens.
• Доведення.
• Математична логіка.

Література

• Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.

Посилання

• Дедукція [Архівовано 30 липня 2016 у Wayback Machine.] // Юридична енциклопедія : [у 6 т.] / ред. кол.: Ю. С. Шемшученко (відп. ред.) [та ін.]. — К. : Українська енциклопедія ім. М. П. Бажана, 1998. — Т. 2 : Д — Й. — 744 с. — ISBN 966-7492-00-8.
• Індукція і дедукція [Архівовано 4 травня 2021 у Wayback Machine.] // Українська мала енциклопедія : 16 кн. : у 8 т. / проф. Є. Онацький. — Накладом Адміністратури УАПЦ в Аргентині. — Буенос-Айрес, 1959. — Т. 2, кн. 4 : Літери Ж — Й. — С. 541. — 1000 екз.
• Дедукція // Літературознавча енциклопедія : у 2 т. / авт.-уклад. Ю. І. Ковалів. — Київ : ВЦ «Академія», 2007. — Т. 1 : А — Л. — С. 260.
• Дедукція // Універсальний словник-енциклопедія. — 4-те вид. — К. : Тека, 2006.
• Г. Метакидес, А. Нероуд (1998). Принципы Логики и Логического Программирования. Факториал. ISBN 5-88688-037-2. 

У соціальних мережах Сабреддіт (англ.) Тематичні сайти Quora · Yleinen suomalainen ontologia Словники та енциклопедії Большая российская энциклопедия · Велика данська енциклопедія · Велика норвезька енциклопедія · Энциклопедия Кругосвет · Энциклопедия Кругосвет · Catholic Encyclopedia · Dizionario di Filosofia Treccani · Encyclopædia Britannica Довідкові видання KBpedia · Nuovo soggettario Нормативний контроль Freebase: /m/0gl0s · GND: 4011271-8 · NDL: 00561931

п о р Логіка Огляд Історія Галузі Інформатика Висновування Філософія логіки Доведення Семантика Синтаксис Логіки Класична Неформальна Критичне мислення Розум Математична Некласична Філософська Теорії Аргументація Металогіка Метаматематика Теорія множин Основи Абдукція Аналітичні та синтетичні судження Дедуктивне замкнення Дедукція Засновок Імовірність Ім'я Індукція Істина Логічна істина Логічне слідування Мовознавство Необхідність і достатність Означення Опис Підстановка Посилання Суперечність Парадокс Антиномія Твердження Форма Чинність Списки теми Математична логіка Булева алгебра Теорія множин інше Логіки Правила виведення Парадокси Логічні хиби Логічні символи   Портал «Філософія» Категорія Вікіпроєкт (обговорення) зміни