Дедуктивна логіка — розділ логіки, в якому вивчаються способи міркування, що гарантують істинність висновку при істинності посилок. Дедуктивна логіка іноді ототожнюється з формальною логікою. Поза межами дедуктивної логіки знаходяться так звані правдоподібні міркування та індуктивні методи. У ній досліджуються способи міркувань зі стандартними, типовими висловами, ці способи оформляються у вигляді логічних систем, або обчислень.
Сфера застосування дедукції
- Всі форми діяльності, в яких використовуються правила, норми, канони тощо
- Всі форми діяльності, в якій використовується математика і виробляються математичні розрахунки.
- Всі форми діяльності, в яких проводяться вимірювання.
Однією з найбільш характерних сфер життя, в якій дедуктивна логіка діє по максимуму, є юриспруденція. Коли закон прийнятий, то його дотримання ґрунтується насамперед на дедукції.
Наприклад:
1 За таке — то злодійство за законом належить таке — то покарання.
2 Іванов скоїв це злодійське діяння.
3 Отже, йому належить таке — то покарання.
Умовні умовиводи
- Контрапозиція Посилка: якщо A, то B. Висновок: отже, якщо не B, то не A. Наприклад, якщо тварина ссавець, то вона є хребетною. Отже, якщо яка-небудь тварина не є хребетною, то вона не є ссавцем.
- Складна контрапозиція
- Транзитивність
Див. також
Література
- Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.
- Дедуктивна логіка // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — 742 с. — 1000 екз. — ББК (87я2). — .
- Бочаров В. А., Маркін В. І. Основи логіки: Підручник. — М .: ИНФРА-М, 2001. — 296 с. —
- Івлєв Ю. В. Підручник логіки: Семестровий курс: Підручник. — М .: Справа, 2003. — 208 с —
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Deduktivna logika rozdil logiki v yakomu vivchayutsya sposobi mirkuvannya sho garantuyut istinnist visnovku pri istinnosti posilok Deduktivna logika inodi ototozhnyuyetsya z formalnoyu logikoyu Poza mezhami deduktivnoyi logiki znahodyatsya tak zvani pravdopodibni mirkuvannya ta induktivni metodi U nij doslidzhuyutsya sposobi mirkuvan zi standartnimi tipovimi vislovami ci sposobi oformlyayutsya u viglyadi logichnih sistem abo obchislen Sfera zastosuvannya dedukciyiVsi formi diyalnosti v yakih vikoristovuyutsya pravila normi kanoni tosho Vsi formi diyalnosti v yakij vikoristovuyetsya matematika i viroblyayutsya matematichni rozrahunki Vsi formi diyalnosti v yakih provodyatsya vimiryuvannya Odniyeyu z najbilsh harakternih sfer zhittya v yakij deduktivna logika diye po maksimumu ye yurisprudenciya Koli zakon prijnyatij to jogo dotrimannya gruntuyetsya nasampered na dedukciyi Napriklad 1 Za take to zlodijstvo za zakonom nalezhit take to pokarannya 2 Ivanov skoyiv ce zlodijske diyannya 3 Otzhe jomu nalezhit take to pokarannya Umovni umovivodiKontrapoziciya A B B A displaystyle frac A supset B neg B supset neg A Posilka yaksho A to B Visnovok otzhe yaksho ne B to ne A Napriklad yaksho tvarina ssavec to vona ye hrebetnoyu Otzhe yaksho yaka nebud tvarina ne ye hrebetnoyu to vona ne ye ssavcem Skladna kontrapoziciya A B C A C B displaystyle frac A land B supset C A land neg C supset neg B Tranzitivnist A B B C A C displaystyle frac A supset B B supset C A supset C Div takozhFormalna logika Istina Matematichna logikaLiteraturaFilosofskij slovnik za red V I Shinkaruka 2 ge vid pererob i dop K Golovna red URE 1986 Deduktivna logika Filosofskij enciklopedichnij slovnik V I Shinkaruk gol redkol ta in Kiyiv Institut filosofiyi imeni Grigoriya Skovorodi NAN Ukrayini Abris 2002 742 s 1000 ekz BBK 87ya2 ISBN 966 531 128 X Bocharov V A Markin V I Osnovi logiki Pidruchnik M INFRA M 2001 296 s ISBN 5 16 000496 3 Portal Matematika Ivlyev Yu V Pidruchnik logiki Semestrovij kurs Pidruchnik M Sprava 2003 208 s ISBN 5 7749 0317 6