
- •Основная литература
- •Дополнительная литература
- •2. Умозаключения. Дедукция и индукция
- •2. Закон исключенного третьего
- •3. Закон тождества
- •4. Закон достаточного основания.
- •Тема 3. Понятие. План
- •1. Понятие как форма мышления
- •3. Виды понятий
- •3. Логические отношения между понятиями
- •4. Логические операции с понятиями
- •Тема 4. Суждение План
- •1. Общая характеристика суждения
- •2. Логическая структура суждения
- •S есть (не есть) р
- •3. Виды простых суждений
- •4. Сложные суждения и их виды
- •6. Отношения между суждениями
- •Тема 6. Умозаключение План
- •1. Непосредственные дедуктивные умозаключения
- •2. Опосредованные дедуктивные умозаключения. Простой категорический силлогизм
- •Правила посылок /п п/
- •3. Опосредованные дедуктивные умозаключения. Простой категорический силлогизм
- •Если а, то в __Если в, то с__ Если а, то с
- •Если а, то в
- •5. Полная и неполная индукция
- •6. Умозаключения по аналогии
- •Тема 7. Гипотеза План
- •1. Сущность и логическая структура гипотезы.
- •2. Виды гипотез
- •1. Сущность и логическая структура гипотезы
- •2. Виды гипотез
- •Тема 8. Доказательство План
- •1. Общая характеристика логического доказательства.
- •2. Виды доказательства.
- •1. Общая характеристика логического доказательства
- •2. Виды доказательства
- •1) Подтверждение тезиса;
- •2) Опровержение тезиса.
- •1. Прямое опровержение тезиса:
- •2. Косвенное опровержение тезиса:
- •Общая характеристика неклассической логики Рассмотрим основные характеристики неклассической логики на примере одного из ее вариантов – многозначной логики. Многозначная логика
1) Подтверждение тезиса;
2) Опровержение тезиса.
По способу аргументации все доказательства делятся на два вида: а) прямые и б) косвенные.
Прямое доказательство заключается в непосредственном выведении из основания по определенным правилам умозаключения истинности или ложности данного тезиса.
Косвенное доказательство заключается в обосновании ложности или истинности положения, находящегося в определенном отношении с тезисом, и отсюда опосредованно устанавливается истинность тезиса или, наоборот, его ложность.
Рассмотрим каждый вид доказательства более подробно.
Прямым подтверждением тезиса называется доказательство, в котором истинность тезиса обосновывается непосредственно аргументами. Например, для доказательства тезиса «Для всех преступлений против личной собственности граждан Уголовным кодексом Российской Федерации предусмотрено в качестве санкции лишение свободы» можно привести следующие аргументы:
- во-первых, преступления против личной собственности граждан предусмотрены в восьми статьях Уголовного кодекса России: кража, грабеж, разбой, мошенничество и т.д.;
- во-вторых, для каждого из восьми преступлений в качестве санкции предусмотрено лишение свободы.
Поскольку аргументы исчерпывают все разновидности преступлений против личной собственности граждан, то обоснование строится в форме умозаключения полной индукции, в котором из истинных посылок с необходимостью следует истинность заключения. Это - прямое подтверждение выдвинутого тезиса. Оно осуществляется в два этапа: подыскиваются подходящие аргументы, и затем демонстрируется, что из них логически вытекает тезис.
Прямое подтверждение тезиса осуществляется следующими методами:
- дедуктивное подтверждение тезиса. Его сущность состоит в выведении тезиса из установленной истинности аргументов, в подведении частного случая под общее правило;
- индуктивное подтверждение тезиса. Достигается через полную индукцию, путем исчерпывания всех возможных случаев истинности доказываемого тезиса и обобщения их в едином выводе.
Таким образом, при прямом подтверждении тезиса задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает данный тезис.
Косвенным подтверждением тезиса называется такое доказательство, которое устанавливает истинность доказываемого тезиса, исследуя не сам тезис, а некоторые другие положения, находящиеся с ним в определенных логических отношениях. Эти положения так связаны с доказываемым тезисом, что из установления их ложности необходимо вытекает истинность доказываемого тезиса.
Косвенное подтверждение тезиса осуществляется двумя методами:
- апагогическое подтверждение тезиса, при котором к его истинности приходят путем обоснования ложности антитезиса. Антитезисом называется суждение, противоречащее тезису.
Апагогическое подтверждение тезиса проходит следующие этапы: выдвигается антитезис и из него выводятся следствия с намерением найти среди них хотя бы одно ложное; устанавливается, что в числе следствий действительно есть ложное; делается вывод, что антитезис неверен; из ложности антитезиса на основании закона исключенного третьего делается заключение, что выдвинутый тезис является истинным.
Косвенное апагогическое подтверждение тезиса называют еще сведением к абсурду.
Апагогическое подтверждение тезиса довольно часто используется в судебном доказывании. Оно имеет здесь исключительное значение в тех случаях, когда по поводу какого-либо обстоятельства можно выдвинуть только две противоречащих версии. Обоснование ложности одной из них (антитезиса) в таких случаях является убедительным доказательством истинности другой версии;
- разделительное подтверждение тезиса. Его сущность состоит в том, что доказываемый тезис рассматривается как одно из некоторого числа предположений, в своей сумме исчерпывающих все возможные по данному вопросу предположения.
Подтверждению тезиса в доказательстве противостоит его опровержение. Опровержением называется доказательство ложности какого-либо тезиса. Опровержение отличается от подтверждения своим отношением к выдвинутому тезису. Поэтому опровержение является как бы зеркальным отображением подтверждения тезиса. Избегая повтора, ограничимся анализом методов основных видов опровержения.