ивного виведення визначаються характером посилок, які можуть бути простими (категоричними) або складними судженнями. Залежно від кількості посилок дедуктивні висновки з категоричних суджень діляться на безпосередні, в яких висновок виводиться з однієї посилки, і опосередковані, в яких висновок виводиться з двох посилок.
Види дедуктивних умовиводів: чисто умовні або гіпотетичні силогізми.
Це умовивід і посилками і укладанням, якого є уявні судження. Якщо кулька нагріти, то він збільшитися в об'ємі. Якщо кулька збільшитися в обсязі, то не пройде в кільце. Якщо кулька нагріти, то він не пройде в кільце. Для того щоб умовивід було достовірним потрібно ще одна річ - умови повинні бути достатніми.
Умовно-категоричний силогізми - такий умовивід, одній з посилок якого є умовне судження, а інший посилкою, а також висновком є ??просте категоричне судження. Має 2 модусу: затверджує і заперечує.
Затверджуючий (М поненс) в яка затверджує модусі на закінчення проводиться твердження істинності консіквента умовної посилки, на підставі твердження істинні антіцідента під другим категоричній посилці.
А? В
А
У
Якщо воду нагріти до 100 вона закипить. Її нагріли. Вона кипить.
Неправильний стверджує модус.
А? В
У
А
Полягає в тому, що модус лише імовірнісний. Якщо розумний, то багатий. Багатий. Розумний
Заперечує (модус толенс).
А? В
? -
?
Якщо золото, то блищить. Якщо не блищить. То не золото.
Неправильний стверджує модус. Висновок лише імовірнісний.
А? В
?.
? -
Якщо дрова березові, то вони дають багато тепла. Вони не березові. Вони дають мало тепла.
Разделительно категоричний силогізм - це умовивід одній з посилок, якого є розділову (диз'юнктивне) судження, інше просте категоричне судження.
утверждающе-який заперечує. Під другим посилці цього модусу виробляється твердження одного і тільки одного члена диз'юнкції, а в ув'язненні відбувається заперечення всіх інших. Здати іспит можна або на добре, або відмінно, або задовільно. Студент на іспиті отримав добре. Значить не отримав відмінно і задовільно.
Достовірний висновок з посилок слід тоді і тільки тоді, коли дотримані наступні правила: розділова посилка повинна бути строго диз'юнкцією.
отріцающе-який стверджує. Це означає, що в другій (заперечливою посилці) проводиться заперечення всіх членів диз'юнкції, крім одного і на цій підставі в кінці затверджується істинність одного і тільки одного члена диз'юнкції.
Правила: 1) Розділова посилка не обов'язково повинна бути диз'юнкцією, але вона повинна містити всілякі альтернативи. Порушення цього правила не гарантує достовірності висновок. Склад простого судження може бути або P, або S. Дана складова частина є S, отже вона є P
Чисто розділовий силогізм.
Це умовивід і посилки і висновок якого є розділові (диз'юнктивні) судження.
Іспит можна здати, або не здати
Можна здати О, Х, У
Можна здати О, Х, У, або не здати
Пояснюється наявністю суворої диз'юнкції в посилках.
Умовно розділовий силогізм. Дилема.
Це умовивід одній з посилок якого є умовне судження, інший посилкою та укладенням - розділову (строга диз'юнкція). Поїдеш на ліво - коня, Направо - голову. Або те, або інше.
Дилема - це вид умовно-розділового силогізму в ув'язненні якого затверджується 2-е альтернативи.
Пізнання в будь-якій області науки і практики починається з емпіричного пізнання. У процесі спостереження однотипних природних і соціальних явищ фіксується увагу на повторюваності у них певних ознак. Стійка повторюваність наводить на думку (індукує), що кожен з таких ознак є не індивідуальним, а загальним, властивим усім явищам певного класу. Логічний перехід від знання про окремі явища до знання загальних відбувається в цьому випадку у формі індуктивного висновку чи індукції (від латинського inductio - «наведення»).
індуктивним називається умовивід, у якому на підставі приналежності ознаки окремим предметам чи частинам деякого класу роблять висновок про його приналежність класу в цілому.
Повна індукція - це умовивід, в якому н...
