Види умовиводів, Детальна інформація

· Висновкове знання – міститься у висновку.

· Обгрунтовуюче знання – знання, котре пояснює правомірність висновку із засновків. Обгрунтовуюче знання міститься в аксіомах і правилах умовиводів, воно не входить до складу умовиводу у вигляді окремого судження, а складає логічну підставу висновків, дає відповідь на запитання про те, чому висновок, здобутий з тих чи інших суджень, є правомірним і необхідним.

Дедуктивним (від латинського слова deductio – виведення) називається умовивід, у якому висновок про окремий предмет класу робиться на підставі класу в цілому.

У дедуктивному умовиводі думка рахується від загального до окремого, одиничного, тому дедукцію звичайно визначають як умовивід від загального до часткового.

Щоб дійти дедуктивного висновку, необхідно мати подвійне знання, засновки:

1) засновок, що має загальне положення або правило, під яке підводиться частковий випадок; 2) засновок, у якому ідеться про той окремий предмет або частковий випадок, який підводиться під загальне положення.

Загальні положення звичайно є готовими, заздалегідь відомими. До них відносяться закони науки, аксіоми, наукові положення принципи й інші судження, в яких міститься знання загального. У юридичній практиці як знання загального виступають норми права (статті кодексів та інших законодавчих актів), положення правових наук, керівні вказівки органів суду, прокуратури та ін.

Дедукція дає висновки достовірні. У цьому одна з її переваг над іншими видами умовиводів. Якщо засновки дедуктивного умовиводу істинні і правильно пов’язані, то висновок буде неодмінно істинним.

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

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

Розрізняють такі типи дедуктивних умовиводів: категоричний силогізм, умовні силогізми і розподільні силогізми. Термін “силогізм” походить від грецького слова sullogismos – здобуття висновку чи виведення наслідку.

Категоричним силогізмом називається такий дедуктивний умовивід, у якому обидва засновки є категоричними судженнями.

Розподільно-категоричним силогізмом називається такий умовивід, у котрому більший засновок є судженням розподільним, а менший – категоричним.

Умовно-розподільним силогізмом або лемантичним силогізмом називається силогізм, у котрому більший засновок є судженням умовним, а менший розподільним .

Індукцією називається умовивід, у якому на основі знання частини предметів класу робиться висновок про всі предмети класу, про клас в цілому. Індукція – це умовивід від часткового до загального. Термін “індукція” походить від латинського слова inductio, що означає “наведення”.

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

Неповною індукцією називається умовивід, у якому загальний висновок виводиться із засновків, котрі не охоплюють усіх предметів класу.

Індукція через простий перелік – це такий умовивід, у якому загальний висновок про клас предметів робиться на тій підставі, щоб серед спостережуваних фактів не траплялося жодного, який би суперечив узагальненню.



КОНТРОЛЬНІ ЗАПИТАННЯ

1. Що називається дедуктивним умовиводом?

2. Що називається індуктивним умовиводом?

3. Які є типи дедуктивних умовиводів?

4. Що називається індукцією через простий перелік?

5. Що називається повною і неповною індукцією?