Види доведення - раздел Образование, Посібник для студентів вузів
Для Обґрунтування Істинності Тези Використовуються Прямі І Не...
Для обґрунтування істинності тези використовуються прямі і непрямі доведення.
Прямимназивається доведення, в якому теза логічно випливає із аргументів.
Логічний перехід від аргументів до тези в такому доведенні може бути опосередкований одним умовиводом або ланцюгом взаємозв'язаних умовиводів. Особлива увага в прямому доведенні звертається на те, щоб чітко визначити чи дійсно істинними є аргументи.
Наприклад: щоб довести тезу „Жоден гриб не розмножується насінням” можна використати такі аргументи: „Жодна спорова рослина не розмножується насінням” і „Усі гриби - спорові рослини”. Використовуючи першу фігуру простого категоричного умовиводу можна побудувати таку форму (демонстрацію) доведення:
Жодна спорова рослина не розмножується насінням.
Всі гриби - спорові рослини.
Отже, жоден гриб не розмножується насінням.
Непрямимназивається доведення, в якому істинність встановлюється шляхом виявлення хибності антитези.
Воно застосовується тоді, коли нема достатньої кількості аргументів для застосування прямого доведення. В непрямому доведенні істинність тези встановлюється шляхом введення додаткових суджень, що суперечать тезі. Непрямі доведення поділяються на апагогічні (від лат. apagoge – відводити в бік) і розділові.
Апагогічним доведеннямназивається такий вид непрямого доведення, в якому обґрунтування істинності тези здійснюється шляхом встановлення хибності допущення, яке їй суперечить.
Хибність антитези встановлюється таким чином. Тимчасово вважається, що антитезис є істинним. Із нього виводяться наслідки. Якщо хоча б один із наслідків суперечить судженням, істинність яких доведена раніше, то наслідок визнається хибним, а разом з ним визнається хибним і сам антитезис. На цій підставі робиться висновок про істинність тези. Такий хід доведення називається „доведенням від протилежного”, його можна описати так:
1. При наявності тези Т висуваємо положення, яке їй суперечить - антитезу Т і тимчасово допускаємо, що вена є істинною.
Відношення між тезою і антитезою може бути виражено різними по кількості і якості судженнями. Так, для тези, яка є загальностверджувальним судженням, наприклад, „Усі люди прагнуть до щастя” антитезою буде його заперечення „Невірно, що усі люди прагнуть до щастя” або частковозаперечуване судження : „Деякі люди не прагнуть до щастя”.
Для тези, яка є одиничним стверджувальним судженням, наприклад, „Дніпро впадає в Чорне море” антитезою буде заперечення цього судження: „Дніпро не впадає в Чорне море”. Бувають випадки коли у відношенні протиріччя знаходяться два стверджувальних одиничних судження, якщо в них говориться про несумісні властивості якого-небудь предмета.
Наприклад: відношення протиріччя буде між тезою „Дана людина альтруїст і антитезою „Дана людина егоїст”.
Для тези, яка є загальнозаперечуваним судженням, наприклад, „Жодна рідина не є непружною” антитезою буде його заперечення: ”Усі рідини є непружними” або частковостверджувальне судження або частковосстверджувальне судження „Деякі рідини є непружними”.
2. Із антитези виводяться наслідки, які зіставляються з положеннями, істинність яких встановлена раніше. Якщо між одержаними наслідками і даними положеннями має місце протиріччя(А і А), то це дає підставу зробити висновок про те, що наслідки є хибними. Потім із хибності наслідків робиться логічний висновок про хибність антитези. Логічний висновок робиться у формі заперечуваного модусу умовно-категоричного умовиводу (модус толленс):
А ® В
3. На основі закону виключеного третього і правила усунення подвійного заперечення (не Т рівнозначно Т) із хибності антитези (припущення) робиться висновок про істинність тези. Слід зазначити, що апагогічне доведення можна застосовувати тільки за умови, коли теза і антитеза знаходяться у відношенні протиріччя(коли судження, які є тезою і антитезою не можуть бути як разом істинними так і разом хибними.
Наприклад: потрібно довести тезу: „Одна з дванадцяти корів, яких здало сільськогосподарське підприємство на м'ясокомбінат не здохла, а була викрадена співробітниками м’ясокомбінату”.
1. Висуваємо антитезу: „Одна з дванадцяти корів, яких здало сільськогосподарське підприємство на м'ясокомбінат, здохла”.
2. Виводимо наслідки із антитези:
а) „Якщо корова була не викрадена співробітниками, то адміністрація своєчасно б повідомила сільськогосподарське підприємство про те, що корова здохла, для того щоб ветлікар господарства прибув на м'ясокомбінат для складення акту.
б) „Якщо корова була не викрадена співробітниками, то в акті, який був складений без представника потерпілого підприємства не було б підроблено підпису.
3. Із наслідків випливає хибність антитези, а це означає, що істинною буде висунута теза.
Розділовимназивається такий вид непрямого доведення, в якому із розділового судження, до складу якого входить теза, послідовно виключаються всі альтернативи, крім однієї – тези.
Розділове доведення має форму розділово-категоричного умовиводу, воно може застосовуватися тоді і тільки тоді, коли указані усі можливі альтернативи.
Наприклад: „Даний проступок скоїв або М., або N., або P.” Стало відомо, що ні N, і ні P не могли скоїти проступок. Отже, проступок скоїв M. Схема цього доказу така:
На сайте allrefs.net читайте: Посібник для студентів вузів. М Г Проценко...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Види доведення
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Загальна характеристика поняття
Поняття - це форма мислення в якій в безпосередній єдності відображаються загальні, суттєві ознаки предметів, явищ, процесів.
Кожна людина мислит
Види понять
Ділення понять на види здійснюється за змістом та обсягом.
По змісту поняття діляться на конкретні і абстрактні,
Таблиця перетину понять
Види відношень
між поняттями
Вихідні поняття
Результат множення у формальному вигляді
Результат множення понять у діаграмах Ейлера
Види простих суджень
Як було зазначено, просте судження – це судження, яке складається із трьох елементів і має структуру: S є P.
Поняття „просте судженн
Закон виключеного третього
Закон виключеного третього (від лат. Lex exclusitertii sive medii inter duo contradictoria; Lex – закон, exclusitertii sive medii inter duo contradictoria – викл
Будова та види доведення
Доведення - це логічна операція, яка полягає в обґрунтуванні істинності якого-небудь положення з допомогою інших положень, істинність яких доведена раніше.
Спростування
Спростуванням називається логічна операція, за допомогою якої встановлюють неспроможність доведення на основі хибності або недостатньої обґрунтованості тези.
Питання № 6.
Поняття „інфляція”:
1) конкретне;
2) негативне;
3) абстрактне;
4) пусте.
Питання № 7.
В наведених прикладах знайдіть вірне
Питання № 13.
Який вид визначення у наведеному прикладі?
„Образа – це навмисне приниження честі і гідності особи, виражене у непристойній формі”.
1) через рід і видову відмінність;
2)
Питання № 21.
Яка відповідь вірна? Поняття „кримінальний”
1) абстрактне;
2) конкретне;
3) пусте;
4) негативне.
Питання № 22.
Яке визначен
Питання № 29.
Засновником науки логіки є:
1) Платон;
2) Лейбніц;
3) Бекон;
4) Арістотель.
Питання № 30.
Яке відношення між поняттями „про
Питання № 35.
Яке поняття є терміном?
1) кожне поняття;
2) одиничне поняття;
3) поняття, зміст якого чітко визначений;
4) загальне поняття.
Питання № 36.
Питання № 43.
Поняття „повзуча інфляція» є:
1) абстрактне;
2) конкретне;
3) одиничне;
4) негативне.
Питання № 44.
Поняття „гіперінфляція”
Питання № 50.
Поняття „засіб виробництва; і „феодалізм” є:
1) непорівнюваними;
2) порівнюваними;
3) сумісними;
4) несумісними.
Питання № 51.
Питання № 54.
Які визначення понять бувають?
1) абстрактні;
2) конкретні;
3) реальні;
4) нереальні.
Питання № 55.
Визначення понять буваю
Питання № 63.
У наведених судженнях знайдіть загально-стверджувальне судження:
1) деякі юристи – адвокати;
2) більшість студентів у групі навчається добре;
3) деякі гриби з'являються у
Питання № 69.
У наведених судженнях знайдіть модальне судження:
1) Усі математики добре рахують;
2) Тепло передається від більш нагрітих тіл до менш нагрітих тіл;
3) Деякі птиці відліт
Питання № 80.
Контрадікторні судження можуть бути:
1) обидва істинними;
2) обидва хибними;
3) інколи істинними, а інколи хибними;
4) одне повинно бути обов'язково істинним, а
Питання № 88.
Визначення понять бувають:
1) абстрактними;
2) конкретними;
3) через рід і видову відмінність;
4) нереєстрованими.
Питання № 89.
Питання № 92.
Тавтологія це:
1) занадто широке визначення;
2) визначення, в якому визначальне поняття лише повторює визначуване;
3) негативне визначення;
4) позитивне визначен
Питання № 104.
Дихотомічний поділ поняття це:
1) поділ поняття за якоюсь основою на супідрядні види;
2) розподіл предметів на класи за якоюсь ознакою;
3) поділ поняття за двома основами
Питання № 110.
Судження з виділяючим предикатом це:
1) судження без суб'єкта;
2) судження, в якому що-небудь стверджується або заперечується;
3) судження, в якому йдеться про те, що пре
Питання № 112.
Судження можливості це:
1) судження, яке має три терміни;
2) судження екзистенціальне;
3) судження, яке відображає неминучість існування якогось предмета;
4) суд
Питання № 121.
Закон суперечності твердить:
1) два протилежні висловлювання є одночасно істинними;
2) два протилежні висловлювання не є одночасно істинними;
3) два протилежні висловлюва
Питання № 130.
Закон достатньої підстави формулюється так:
1) не можуть бути разом істинними два протилежні судження;
2) не можуть бути разом хибними два суперечливих судження;
3) будь-
Питання № 132.
Умовиводом називається форма мислення:
1) в якій дещо стверджується або заперечується;
2) в якій з одного або кількох суджень виводиться нове судження;
3) в якій відображ
Питання № 135.
Засновки, з яких роблять висновки мають бути:
1) завжди істинними;
2) інколи істинними, а інколи хибними;
3) якщо один хибний, то інший повинен бути істинним;
4)
Питання № 144.
Частковозаперечуване судження перетворюється в судження:
1) А;
2) Е;
3) І;
4) О.
Питання № 145.
Питання № 154.
Частковостверджувальне судження за допомогою протиставлення предикату перетворюється в судження:
1) А;
2) І;
3) не перетворюється;
4) О.
Питання № 157.
У категоричному умовиводі повинно бути термінів:
1) два;
2) три;
3) чотири;
4) не більше чотирьох.
Питання № 158.
У категор
Питання № 161.
У категоричному силогізмі середній термін це:
1)поняття, яке входить до більшого засновку;
2) поняття, яке входить меншого засновку;
3) поняття, яке не входить до більшог
Питання № 164.
У кожному силогізмі повинно бути:
1) чотири терміни;
2) п'ять термінів;
3) два терміни;
4) три терміни.
Питання № 165.
Якщо
Питання № 167.
Із двох заперечних засновків силогізму:
1) можна зробити висновок, який є заперечуваним судженням;
2) можна зробити висновок, який є частковозаперечуваним судженням;
3) н
Питання № 172.
У першій фігурі середній термін займає місце:
1) суб'єкта у більшому засновку і предиката – в меншому;
2) предиката у більшому засновку;
3) предиката і суб'єкта у меншому
Питання № 179.
В умовиводі :
Усі метали електропровідні.
Вода електропровідна.
Питання № 180.
В умовиводі :
Усі електрони – елементарні частки.
Деякі елементарні частки складають структуру атома.
Питання № 182.
В умовиводі:
Усі істини – об’єктивні.
Деякі істини є істинами математики.
Питання № 184.
Знайдіть модус розділово-категоричного умовиводу:
1) ;
2)
Питання № 190.
Сорит це:
1) складний силогізм;
2) складноскорочений силогізм, в якому не висловлюються більші або менші засновки і всі висновки, крім останнього.
3) складноскорочений си
Новости и инфо для студентов