КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Понятие доказательства, его логическая структура
Текст лекции по теме № 8 по дисциплине «Логика» Тема занятия «Доказательство» Вопросы занятия: 1. Понятие доказательства, его логическая структура. 2. Построение доказательства, его роды и виды. Прямое и косвенное подтверждение тезиса. 3. Прямое и косвенное опровержение тезиса. 4. Правила доказательства. Возможные логические ошибки. Аргументировать суждение – это привести другие, логически связанные с ним и подтверждающие его суждения. Аргументация – это операция обоснования каких-либо суждений, в которой, наряду с логическими, применяются речевые, психологические и другие нелогические приемы и методы убеждения. Теория аргументации является комплексным учением о таких приемах и методах. Доказательство является частным случаем аргументации. Аргументация превращается в доказательство, когда исходный материал абсолютно достоверен, а аргументационный процесс обеспечивает абсолютно достоверное знание. Например, доказательство виновности некоего лица. Доказательство – это логическая операция обоснования истинности суждения с помощью других истинных и связанных с ним суждений. Экономисту, управленцу все время приходится что-то доказывать или что-то опровергать, т.е. теория доказательств имеет важное прикладное значение. Структура доказательства. Доказательство заключает в себе два главных элемента: тезис и основания, которые находятся между собой в специфической логической связи. Тезис доказательства - это положение, истинность или ложность которого обосновывается. В качестве тезисов могут выступать самые разнообразные суждения, если они не очевидны и нуждаются в доказательстве. Например, в геометрии это - теоремы. Разновидностью тезиса является рассмотренная нами в предыдущей лекции гипотеза.
Основания доказательства (аргументы, доводы). Различают разные виды оснований: факты, определения, аксиомы и постулаты, ранее доказанные положения. В большинстве случаев доказательство основывается на фактах - известных, проверенных, достоверных, в истинности которых нет сомнения. Другое универсальное основание доказательства - определение. Определения могут выполнять свою функцию основания доказательства потому, что вскрывают родовые и видовые существенные признаки предмета (вспомним изученную нами ранее логическую операцию «определение понятия»). Особенно большое значение в этом отношении имеют определения наиболее общих понятий: материи, движения, пространства, времени - в философии; массы и энергии - в физике; элемента - в химии; общества, труда, социальных отношений - в социальных науках и т.д. Аксиомы и постулаты используются в качестве оснований в научной области. К системе аксиом предъявляются следующие требования: непротиворечивость друг другу; независимость друг от друга; полнота их системы, или самодостаточность. Ранее доказанные положения могут быть самыми разнообразными; особое место среди них занимают законы наук. Например, одним из оснований доказательства эволюции органического мира служит закон единства организма и среды. Логическая связь или, иначе, демонстрация осуществляется с помощью системы определенным образом расположенных умозаключений, последним выводом из которых выступает тезис. Обозначим тезис - «Т», аргументы - «А», отношение следования между аргументами и тезисом - «→», то логическая форма доказательства будет иметь следующий вид: А1, А2... Аn → Т. Построение доказательства; его роды и виды. Прямое и косвенное подтверждение тезиса. В зависимости от цели доказательства - обоснования истинности тезиса или его ложности - выделяются два вида доказательств:
1. Подтверждение тезиса – это обоснование истинности тезиса. 2. Опровержение тезиса – это обоснование несостоятельности тезиса. Подтверждение тезиса бывает прямое и косвенное. Прямое подтверждение тезиса – это обоснование тезиса, в котором его истинность выводится непосредственно из аргументов. Обоснование может быть дедуктивное, индуктивное и в форме аналогии. Дедуктивное обоснование заключается в подведении частного случая под общее правило. Например: Тезис: Выстрел в Н. произведен с близкого расстояния (Т). Аргументы: 1. Если вокруг раны следы пороха (А), то выстрел близкий (Т). 2. Вокруг раны Н. следы пороха (А). А → Т, А Т Индуктивное обоснование – это логический переход от аргументов, в которых представлена информация о частных случаях, к тезису, обобщающему эти случаи. Например: Тезис: Для всех преступлений против собственности предусмотрено уголовное наказание. Аргументы: 1. Преступления против собственности предусмотрены в 11 статьях Гл. 21 УК. 2. Каждая предусматривает лишение свободы. В случае, если мы имеем полную индукцию, то получаем достоверное знание. Если индукция - неполная, то доказательство осуществляется с определенной долей вероятности. Обоснование в форме аналогии – это прямое обоснование тезиса, в котором формируется утверждение о свойствах единичного явления. Дает проблематичное заключение. Например: Тезис. Вероятно, в новой квартире фиалки будут цвести также хорошо, как и в старой. Обоснование. В новой квартире (В), как и в старой (А), за фиалками хорошо ухаживают (Р), достаточно поливают и подкармливают Q. В новой квартире такое же освещение, как и в старой (R). Известно, что в старой квартире фиалки цвели (Т). Значит, и в новой, вероятно будут цвести (Т). А – Р, Q, R, Т В – P, Q, R Вероятно, В - Т Косвенным называют обоснование тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений. Существуют два вида косвенного обоснования тезиса – апагогическое и разделительное. Апагогическое (греч. - «уводящее») – это обоснование тезиса путем установления ложности антитезиса – противоречащего тезису допущения.
Обоснование происходит в следующей последовательности: 1) Тезису (Т) выдвигают антитезис (┐Т), условно признают его истинность (см. Логический квадрат и др. противоречащие суждения) и выводят логическое следствие ┐Т → С. 2) Следствие (С) сопоставляет с достоверными фактами (F). В случае их несовместимости, следствие (С) расценивают как ложное. С ۷F, F ┐С 1) Из ложности следствия логически заключают ложность допущения. ┐ Т → С, ┐ С ┐Т Разделительное обоснование – это косвенное обоснование тезиса, являющегося членом дизъюнкции, которое осуществляется путем установления ложности и исключения всех других конкурирующих членов дизъюнкции. Это обоснование методом исключения.
(Т ۷ B ۷ C), ┐C Ù ┐В __________________ T Дизъюнктивное суждение должно быть полным и строгим.
Дата добавления: 2014-01-20; Просмотров: 1762; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |