Название: Загальна характеристика доведення і спростування
Вид работы: реферат
Рубрика: Математика
Размер файла: 17.13 Kb
Скачать файл: referat.me-217922.docx
Краткое описание работы: Коломийський коледж права і бізнесу РЕФЕРАТ НА ТЕМУ: “Загальна характеристика доведення і спростування” Виконала студентка групи Ю-21 Якубовська Альона
Загальна характеристика доведення і спростування
Коломийський коледж права і бізнесу
РЕФЕРАТ
НА ТЕМУ:
“Загальна характеристика доведення і спростування”
Виконала студентка групи Ю-21
Якубовська Альона
Викладач: Ганущак М. В.
КОЛОМИЯ”99
Будь-яке судження про що-небудь, є або істинним або хибним. Тому воно може бути прийняте за істину тільки після того, як ми переконаємося у його істинності.
В істинності деяких положень можна переконатися шляхом безпосереднього співставлення їх із дійсністю, за допомогою органів почуття, у процесі практичної діяльності. Так, щоб установити і перевірити істинність судження «Замок, на який замикалися двері будинку потерпіло- го, має сліди пошкодження», досить оглянути цей замок
Але переконатися в істинності того чи іншого положення безпосередньо не завжди можна. Так, істинність суджень про факти, що мали місце раніше, може буті встановлена і перевірена лише опосередковано, логічно оскільки під час пізнання таких фактів вони вже не існують в дійсності і тому не можуть бути сприйняті безпосередньо. Не можна, наприклад, безпосередньо упевнитися в істинності таких суджень: «Потерпілий С. вбитий обвинувачуваним К.»; «Під час скоєння злочину обвинувачуваний знаходився на місці вчинення злочину»; «Організатором скоєного злочину був Т.» і так далі. Істинність подібних суджень установлюється і перевіряється не безпосередньо, а опосередковано, за допомогою умовиводів і логічних доказів.
Доведення — це процес думки, що полягає в обгрунтуванні істинності якогось положення за допомогою інших положень, істинність котрих установлена раніше.
Наприклад, нам треба довести істинність судження про те, що «Одержання хабара є діяння небезпечне для суспільства». Для цього ми наводимо такі два судження:
1) «Всякий злочин є діянням суспільне небезпечним»;
2) «Одержання хабара є злочин» — і виводимо з них за правилами категоричного силогізму істинність доводжуваного судження.
Доведення є умовиводом. У нашому прикладі воно відбувається у формі одного умовиводу. У більшості випадків доведення є складними, вони складаються не з одного, а багатьох умовиводів.
Термін «доведення» вживається в кількох значеннях.
1. Під доведенням розуміють факти, за допомогою котрих обгрунтовується істинність того чи іншого положення.
2. Словом «доведення» позначають джерела даних про факти, наприклад, літописи, оповіді очевидців, мемуари тощо.
3. Доведення — це процес мислення, логічний процес обгрунтування істинності одного судження за допомогою інших суджень. У формальній логіці термін «доведення» вживається саме в цьому значенні. Логіка вивчає доведення як мисленний процес.
Спростування
Доказ тісно пов'язаний із спростуванням. Досить часто ми не тільки доводимо істинність висунутої тези, але одночасно й спростовуємо якесь інше положення, котре ми вважаємо хибним.
Спростуванням називається процес мислення, за допомогою якого доводиться хибність якогось положення або неспроможність доведення в цілому.
Спростування може бути спрямоване проти тези, проти аргументів або проти способу доведення (міркування). Згідно з цим розрізняють такі способи спростування:
1) спростування тези;
2) спростування аргументів;
3) спростування зв'язку тези з аргументами.
1. Спростування тези
Спростування, спрямоване безпосередньо проти тези, можна досягти різним шляхом.
а) Теза може бути спростована за допомогою доведення істинності нової тези, котра суперечить спростовуваній.
Цей спосіб спростування грунтується на законвиключеного третього, за яким два протилежні судження не можуть бути одночасно істинними, одне з них обов'язково хибне. Варто тільки в суперечці чи дискусії довести, що істинною є нова теза, що заперечує Спростовування тези, і остання буде спростована. Це спростування будується так. Коли треба спростувати тезу, ще суперечить тій, котру ми спростовуємо, і доводимо її істинність. А потім, спираючись на закон виключеного третього, робимо висновок про хибність спростовуваної тези.
б) Теза може бути спростована завдяки виведенню з неї наслідків, що суперечать дійсності, тобто приведенням тези до абсурду (безглуздості). Спростування в таких випадках відбувається так. Припустімо, що спростовувана теза є істинною. Але, якщо теза є істинною, то й наслідок, виведений з такої тези, як із основи, також має бути істинним. Виводять цей наслідок так. Якщо виявиться, що виведений з тези наслідок є хибним, то від хибності наслідку за правилами умовно-категоричного силогізму доходять висновку про хибність і самої основи спростовуваної тези.
2. Спростування аргументів
Спростування досить часто спрямоване безпосередньо не проти тези, а проти аргументів. Аргументи,які теза, можуть бути спростовані різними способами.
а) Шляхом доведення хибності аргументів.
Якщо в ході спростування буде встановлено, що аргументи, за допомогою котрих обґрунтовується теза, є хибними, то тим самим буде доведено, що спростовувана теза не обгрунтована. Наприклад, доводиться теза про те, що «Потерпіла Л. була психічно хвора» таким чином: «Усі самовбивці—психічно хворі. Л. заподіяла собі смерть. Отже, Л. була психічно хворою». Це доведення можна спростувати встановленням того, що більший засновок у ньому («Усі самовбивці — психічно хворі») є хибним.
б) Встановленням того, що аргументи, за допомогою котрих обгрунтовується висунута теза, є для тези недостатньою.
Якщо буде доведено, що наведені аргументи для висунутої тези недостатні, то теза вважається необгрунтованою. У таких випадках протилежна сторона має навести для своєї тези нові, додаткові аргументи. Цей спосіб спростування широко використовується в судовій практиці, зокрема, коли обгрунтування винності обвинувачуваного ведеться за допомогою побічних доказів.
в) Аргументи можуть бути спростовані встановленням того, що вони самі є ще не доведеними.
Якщо в процесі спростування буде доведено, що аргументи, за допомогою котрих обґрунтовується теза, самі потребують доведення істинності, то доведення вважається спростованим, а висунута теза визнається необгрунтованою.
У судовій практиці доказ вважається спростованим, якщо встановлено, що висновки у справі грунтуються не на достовірно відомих фактах, а на передбаченнях, тобто таких судженнях, істинність котрих не доведена.
г) Аргументи можна спростувати, встановивши, що джерело фактів, за допомогою яких обгрунтовується висунута теза, є неякісним.
У судовій практиці такий спосіб спростування спрямований на те, щоб довести неякісність показань того чи іншого свідка, потерпілого, обвинувачуваного, висновку експерта. Якщо установлено, що показання свідка чи іншої особи є неякісне, таке, котрому не можна вірити, то це означає, що показання свідка і факти, повідомлені ним, не можуть бути взяті за основу висновку у справі.
3. Спростування зв'язку тези з аргументом
Суть цього способу спростування полягає в доведенні неспроможності демонстрації.
Доказ відбувається завжди у формі того чи іншого умовиводу. Якщо встановлено, що теза доведена з порушенням правил умовиводу, у формі котрого здійснювався доказ, то таке доведення вважається спростованим.
Згідно з цим правилом, один із засновників має бути заперечним, а у нас обидва засновки стверджувані, тому істинного висновку із них зробити не можна.
Похожие работы
-
Побудова простих великих чисел
Побудова великих простих чисел. Розглянемо методи перевірки чисел на простоту, при застосуванні яких можна стверджувати, що перевіряючі числа дійсно є простими.
-
Сучасна логіка 2
РЕФЕРАТ на тему: „СУЧАСНА ЛОГІКА” Термін “логіка” сьогодні загалом застосовується у трьох головних значеннях. По-перше, ним позначають будь-яку необхідну закономірність у взаємозв’язку об’єктивних явищ – “логіка фактів”, “логіка історичного розвитку” тощо. По-друге, словом “логіка” позначають закономірності у зв’язках і у розвитку думок – “логіка міркування”, “логіка мислення”.
-
Велика теорема Ферма
Короткий нарис життя, особистісного та творчого становлення відомого французького математика П'єра Ферма. Історія розробок та формування Великої теореми Ферма, її призначення та сфери використання. Доказ першої та другої леми, доведення для показника 4.
-
Граничні теореми теорії ймовірностей
Оцінка ймовірності відхилення випадкової величини Х від її математичного сподівання. Знаходження дисперсії випадкової величини за допомогою теореми Бернуллі. Застосування для випадкової величини нерівності Чебишова. Суть центральної граничної теореми.
-
Геометрия Лобачевского
Реферат З геометрії На тему: "Геомтрія Лобачевського" Виконав Учень 10-А класу Середньої школи № 96 Коркуна Дмитро Львів 2000 Нехай тепер АОВ – деякий гострий кут. (рис1) В геометрії Лобачевського можна вибрати таку точку М на стороні ОВ, що перпендикуляр MQ до сторони ОВ не перетинається з другою стороною кута.
-
Алгоритми та Чисельні методи
Національний технічний університет України «КПІ» Факультет Інформатики та Обчислювальної техніки Кафедра Обчислювальної Техніки Лабораторна робота №2-1
-
Обчислення матричних задач
МІНІСТЕРСТВО ОСВІТИ УКРАЇНИ Бердичівський політехнічний коледж Контрольна робота з дисципліни “Числові методи” Виконав: студент групи Пзс-503 Лифар Сергій Олександрович
-
Розкриття невизначеностей за правилом Лопіталя
Міністерство охорони здоров’я України Житомирський фармацевтичний коледж ім. Г.С. Протасевича Реферат на тему: “ Розкриття невизначеностей за правилом Лопіталя”
-
Загальні властивості однорідних лінійних диференціальних рівнянь n-го порядку
Реферат на тему: Загальні властивості однорідних лінійних диференціальних рівнянь n-го порядку. 1. Властивості лінійного диференціального оператору.
-
Інтегрування деяких рівнянь другого порядку шляхом пониження порядку рівняння
Пошукова робота на тему: Інтегрування деяких рівнянь другого порядку шляхом пониження порядку рівняння. План Лінійні диференціальні рівняння другого порядку (загальна теорія)