Портал учебных материалов.
Реферат, курсовая работы, диплом.


  • Архитктура, скульптура, строительство
  • Безопасность жизнедеятельности и охрана труда
  • Бухгалтерский учет и аудит
  • Военное дело
  • География и экономическая география
  • Геология, гидрология и геодезия
  • Государство и право
  • Журналистика, издательское дело и СМИ
  • Иностранные языки и языкознание
  • Интернет, коммуникации, связь, электроника
  • История
  • Концепции современного естествознания и биология
  • Космос, космонавтика, астрономия
  • Краеведение и этнография
  • Кулинария и продукты питания
  • Культура и искусство
  • Литература
  • Маркетинг, реклама и торговля
  • Математика, геометрия, алгебра
  • Медицина
  • Международные отношения и мировая экономика
  • Менеджмент и трудовые отношения
  • Музыка
  • Педагогика
  • Политология
  • Программирование, компьютеры и кибернетика
  • Проектирование и прогнозирование
  • Психология
  • Разное
  • Религия и мифология
  • Сельское, лесное хозяйство и землепользование
  • Социальная работа
  • Социология и обществознание
  • Спорт, туризм и физкультура
  • Таможенная система
  • Техника, производство, технологии
  • Транспорт
  • Физика и энергетика
  • Философия
  • Финансовые институты - банки, биржи, страхование
  • Финансы и налогообложение
  • Химия
  • Экология
  • Экономика
  • Экономико-математическое моделирование
  • Этика и эстетика
  • Главная » Логика. Учебник » 7.4. Прямые и косвенные доказательства

    7.4. Прямые и косвенные доказательства

    Прямым называется доказательство, в котором тезис выводится из аргументов по правилам дедуктивных умозаключений. Никаких дополнительных приемов рассуждения при этом не используется. Если аргументы истинны, то тезис из них следует с логической необходимостью и достоверностью. Так в математике доказывается большинство теорем.
    Косвенным доказательством называют доказательство, в котором сначала доказывается антитезис, а затем уже, убедившись в ложности    антитезиса, доказывают истинность тезиса. Таким образом, косвенное доказательство начинается с того, что выдвигается допущение, противоречащее тезису. Затем из этого предположения выводятся следствия, которые оказываются противоречащими ранее известным или доказанным истинам. По отрицающему модусу условного умозаключения отсюда следует ложность антитезиса, который является нашим предположением. Из ложности    антитезиса мы выводим заключение об истинности    тезиса. Обратите внимание, что доказательства такого рода основываются в конечном счете на законе исключенного третьего, применение которого оспаривается некоторыми математиками в отношении к бесконечным множествам.
    Такой способ непрямого (или косвенного) доказательства античные логики называли апогогическим, что в переводе с древнегреческого означает отход или отклонение от непосредственного разбора аргументов. Математики называют его доказательством от противного, поскольку при этом приходится доказывать утверждение противоречащее тезису. Очевидно, что косвенные доказательства, в том числе и апогогические, проводить сложнее, так как при этом приходится выводить следствия из антитезиса и сопоставлять их с тезисом. Найти же противоречащее тезису утверждение в ряде случаев оказывается не так просто. К тому же, окольный путь доказательства нередко воспринимается как менее убедительный, чем прямой. По-видимому, именно это обстоятельство имел в виду А. Шопенгауэр, когда сравнивал некоторые математические доказательства с мышеловками.
    Тем не менее, апогогические доказательства совершенно необходимы тогда, когда приходится доказывать даже теоремы элементарной геометрии.

    Достаточно обратиться к любому курсу элементарной геометрии, чтобы убедиться в том, что уже простейшие ее теоремы, например о равенстве треугольников, доказываются с помощью допущения, противоречащего доказываемому. Затем из него выводится следствие, которое оказывается ложным или даже абсурдным. На этом основании по правилу modus tollens делается заключение о ложности    допущения, а уже из него по закону исключенного третьего выводится истинность доказываемого тезиса.
    Общая структура апогогического доказательства (или доказательства от противного) быть может выражена формулой:
    ((¬А → В) � ¬В)) → А.
     
    Разделительно-категорическое доказательство основывается на разделительно-категорической демонстрации аргументов, о которой шла речь выше. Там мы убедились, что если исключаются все гипотезы или предположения, кроме одного-единственного, то тем самым косвенно доказывается истинность этого оставшегося предположения. Но зачастую это не освобождает нас от прямого, непосредственного доказательства, когда речь идет, например, о доказательстве виновности    подсудимого.
    « Предыдущая страница Оглавление Следующая страница »

    Об авторах
    Введение
    1 ГЛАВА. Предмет и задачи логики
    1.1. Логика как наука
    1.2. Основные этапы развития логики
    1.3. Логика и другие науки
    1.4. Понятие о логической форме и правильности мышления
    1.5. Логика и язык
    Проверьте себя
    2 ГЛАВА. Понятие как форма мышления
    2.1. Понятие как результат обобщения
    2.2. Определение понятий. Их основные виды
    2.3. Деление понятий и классификация
    2.4. Понимание и аргументация
    3 ГЛАВА. Логика высказываний
    3.1. Высказывание и предложение
    3.2. Логическая структура высказываний
    3.3. Способы образования сложных высказываний
    3.4. Основные логические операции над высказываниями
    3.5. Логическое следование
    3.6. Доказуемость и выводимость
    3.7. Логический анализ рассуждений естественного языка
    3.8. О модальности суждений
    3.9. Непосредственные умозаключения традиционной логики
    4 ГЛАВА. Логика предикатов
    4.1. Свойства, отношения и предикаты
    4.2. Кванторы
    4.3. Исчисление предикатов
    4.4. Логическое следование
    4.5. Выводимость и доказуемость
    4.6. Категорический силлогизм и другие умозаключения дедуктивной логики
    4.7. Логический анализ рассуждений в естественном языке
    5 ГЛАВА. Правдоподобные рассуждения
    5.1. Статистическая и логическая вероятность
    5.2. Основные формы индуктивных рассуждений
    5.3. Методы индукции Бэкона– Милля
    5.4. Причинность, индукция и гипотеза в социально-гуманитарном познании
    5.5. Умозаключения по аналогии
    5.6. Статистические умозаключения
    6 ГЛАВА. Основные законы логики
    6.1. Закон тождества
    6.2. Закон противоречия
    6.3. Закон исключенного третьего
    6.4. Закон достаточного основания
    Часть вторая. Логические основы аргументации
    7 ГЛАВА. Доказательство и опровержение
    7.1. Общее понятие о доказательстве
    7.2. Структура доказательства
    7.3. Основные способы демонстрации тезиса
    7.4. Прямые и косвенные доказательства
    7.5. Опровержение
    7.6. Правила доказательства и опровержения
    7.7. Паралогизмы, софизмы и парадоксы
    8 ГЛАВА. Аргументация и диалог
    8.1. Диалог как форма поиска истины и способ аргументации
    8.2. Спор, дискуссия и полемика
    8.3. Ошибки и уловки, допускаемые в ходе аргументации
    9 ГЛАВА. Общая структура и методы аргументации
    9.1. Графические схемы структуры аргументации
    9.2. Основные стадии процесса аргументации
    9.3. Важнейшие методы аргументации
    10 ГЛАВА. Анализ и оценка данных аргументации
    10.1. Основные виды данных и требования, предъявляемые к ним
    10.2. О природе ценностей в аргументации
    10.3 Доверие как источник убеждения
    Заключение

     

    Похожие работы:

    Воспользоваться поиском

     

    Похожие учебники:

    Педагогика начальной школы

    MySQLi connect error: Connection refused