№40 Дедуктивний умовивід: визначення і структура

Дедуктивний умовивід — це умовивід, в якому між засновниками і висновком існує відношення логічного слідування. Такий умовивід спирається на логічний закон. У ньому із істинних засновків завжди отримують істинний висновок. Наприклад, Злочин може бути вчинений умисно або з необережності. Цей злочин вчинено умисно. Отже, його не вчинено з необережності. Як правило, в засновках дедуктивних умовиводів міститься загальне знання, а у висновку окреме знання. Розрізняють два основних види дедуктивних умовиводів: прямі; непрямі. Прямі дедуктивні умовиводи — це умовиводи, в яких висновок безпосередньо випливає з засновків. Непрямі дедуктивні умовиводи — це умовиводи, в яких висновок випливає із засновків опосередковано за допомогою додаткових виводів. Проаналізуємо чотири види прямих дедуктивних умовиводів: суто умовні умовиводи; умовно-категоричні умовиводи; розділово-категоричні умовиводи; умовно-розділові умовиводи. Суто умовний умовивід — це умовивід, засновки і висновок якого є імплікативними висловлюваннями. Умовно-категоричний умовивід — це умовивід, один із засновків якого є імплікативним висловлюванням, а другий засновок і висновок — простими висловлюваннями або їх запереченнями. Розділово-категоричний умовивід — це умовивід, один із засновків якого є диз'юнктивним висловлюванням, а другий засновок і висновок — прості висловлювання або їх заперечення. Умовно-розділовий умовивід — це умовивід, один із засновків якого є диз'юнктивним висловлюванням, а інші засновки — імплікативними висловлюваннями.

⇐ Предыдущая 21 22 23 24 252627 28 29 30 Следующая ⇒