Дедуктивна логіка

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

Сфера застосування дедукції

• Всі форми діяльності, в яких використовуються правила, норми, канони тощо
• Всі форми діяльності, в якій використовується математика і виробляються математичні розрахунки.

• Всі форми діяльності, в яких проводяться вимірювання.

Однією з найбільш характерних сфер життя, в якій дедуктивна логіка діє по максимуму, є юриспруденція. Коли закон прийнятий, то його дотримання ґрунтується насамперед на дедукції.

Наприклад:

1 За таке — то злодійство за законом належить таке — то покарання.

2 Іванов скоїв це злодійське діяння.

3 Отже, йому належить таке — то покарання.

Умовні умовиводи

• Контрапозиція ${\frac {A\supset B}{\neg B\supset \neg A}}$ Посилка: якщо A, то B. Висновок: отже, якщо не B, то не A. Наприклад, якщо тварина ссавець, то вона є хребетною. Отже, якщо яка-небудь тварина не є хребетною, то вона не є ссавцем.
• Складна контрапозиція ${\frac {(A\land B)\supset C}{(A\land \neg C)\supset \neg B}}.$
• Транзитивність ${\frac {A\supset B,B\supset C}{A\supset C}}.$

Див. також

• Формальна логіка
• Істина
• Математична логіка

Література

• Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.
• Дедуктивна логіка // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — 742 с. — 1000 екз. — ББК 87я2. — ISBN 966-531-128-X.
• Бочаров В. А., Маркін В. І. Основи логіки: Підручник. — М .: ИНФРА-М, 2001. — 296 с. — ISBN 5-16-000496-3

• Івлєв Ю. В. Підручник логіки: Семестровий курс: Підручник. — М .: Справа, 2003. — 208 с — ISBN 5-7749-0317-6