Ошибки в форме доказательства

1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называ­емая «не следует». Иногда вместо правильного доказательства аргументы соединяют с тезисом посредством слов: «следователь­но», «итак», «таким образом», «в итоге имеем» и т. п., — пола­гая, что они установили логическую связь между аргументами и тезисом. Эту логическую ошибку часто неосознанно допускают люди, не знакомые с правилами логики, полагающиеся на свой здравый смысл и интуицию. В результате возникает словесная видимость доказательства.

2. От сказанного с условием к сказанному безусловно. Ар­гумент, истинный только с учетом определенного времени, от­ношения, меры, нельзя приводить в качестве безусловного, вер­ного во всех случаях. Так, если кофе полезен в небольших дозах (например, для поднятия артериального давления), то в больших дозах он вреден. Аналогично мышьяк ядовит, но в небольших дозах его добавляют в некоторые лекарства. Лекарства врачи должны подбирать для больных индивидуально. Педагогика тре­бует индивидуального подхода к учащимся; этика определяет нормы поведения людей, и в различных условиях они могут несколько варьироваться (например, правдивость — положи­тельная черта человека, разглашение военной тайны — преступ­ление).

Нарушение правил умозаключений (дедуктивных, индуктивных, по аналогии)

1. Ошибки в дедуктивных умозаключениях. Например, в усло­вно-категорическом умозаключении нельзя вывести заключение от утверждения следствия к утверждению основания. Так, из посылок: «Если число оканчивается на 0, то оно делится на 5»

и «Это число делится на 5» — не следует заключение: «Это число оканчивается на 0».

2. Ошибки в индуктивных умозаключениях. Одна из таких ошибок — «поспешное обобщение», например утверждение, что «все свидетели дают необъективные показания». Другой ошибкой является «после этого — значит, по причине этого» (например, пропажа вещи обнаружена после прихода в дом этого человека, значит, он ее унес). На этой логической ошибке основаны все суеверия.

3. Ошибка в умозаключениях по аналогии. Ошибки по анало­гии можно проиллюстрировать примерами ложных аналогий. Главная цель алхимии — нахождение так называемого «философского камня» для превра­щения неблагородных металлов в золото и серебро, получения эликсира долголетия, универсального растворителя и т. п. Вме­сте с этим следует отметить и некоторую положительную роль алхимии в истории познания.

Примером отчасти могут служить ритуальные танцы, кото­рые устраивают африканские пигмеи накануне охоты на слона. Ритуал этот основан на мистических представлениях этого народа, и в нем, несомненно, присутствует представление об аналогии, хотя последнее и не исчерпывает существа этого обряда.

 

Вопросы для самоконтроля

1. Аргументация и доказательство.

2. Состав аргументации: субъекты, структура.

3. Способы аргументации: обоснование и критика.

4. Правила и ошибки в аргументации.

5. Структура и виды доказательства.

Контрольный тест

1. Основные виды аргументации:
1. убеждение
2.утверждение
3. внушение
4. доказательство

 

2. «Предвосхищение основания»:
1. использование сомнительных аргументов
2. подмена тезиса
3. использование заведомо ложных аргументов
4. недостаточность аргументации

 

3. «Сведение к абсурду» – это:
1. прямое опровержение
2. косвенное опровержение
3. косвенное доказательство
4. прямое доказательство

 

4. Участник аргументации, выдвигающий и отстаивающий определенное положение:
1. аудитория
2. оппонент
3. пропонент
4. полемист

 

5. Логическая уловка:
1. софизм
2. паралогизм
3. аналогия
4. тавтология

 

6. Логическая операция обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений:
1. доказательство
2. тавтология
3. аргументация

4. критика

 

7. Операция обоснования каких либо суждений, практических решений или оценок, в которой наряду с логическими применяются также речевые, эмоционально-психологические и другие внелогические методы и приемы убеждающего воздействия:
1. опровержение
2. убеждение
3. аргументация

4. аналогия

 

8. Непреднамеренная логическая ошибка – (…)
1. паралогизм
2. софизм
3. тавтология

4. формализм

 

9. «Логическая диверсия»:
1. случайное отступление от тезиса
2. использование заведомо ложных доводов
3. переключение внимания на обсуждение других проблем
4. противоречие в аргументации

 

10. Виды прямого доказательства:
1. дедуктивное
2. разделительное
3. по аналогии
4. апагогическое

 

ГЛОССАРИЙ

Аналогия (умозаключение по аналогии) – вид опосредованного умозаключения, в котором на основе сходства предметов в одних признаках делается вывод об их сходстве и в других признаках.

Дедукция(дедуктивное умозаключение) – вид опосредованного умозаключения, в котором из общего правила выводится частный случай; в дедукции рассуждение идёт от большего к меньшему, знание сужается, и поэтому её выводы достоверны.

Деление понятия – логическая операция, которая раскрывает объём понятия на основе какого-либо признака (основание деления).

Дизъюнкция (дизъюнктивное суждение) – вид сложного суждения, образованного из простых суждений при помощи союза «или».

Дизъюнкция бывает нестрогой, когда её элементы (входящие в неё простые суждения) друг друга не исключают.

Закон достаточного основания – один из основных законов логики, по которому любая мысль (тезис) для того, чтобы иметь силу, должна быть доказана (обоснована) какими-либо аргументами (основаниями); причём эти основания должны быть достаточными для доказательства исходной мысли (тезиса), т. е. тезис должен вытекать из оснований с достоверностью.

Закон исключённого третьего – один из основных законов логики, по которому два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными.

Законы мышления (законы логики) – объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.

Закон противоречия – один из основных законов логики, по которому два противоположных суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными, но могут быть одновременно ложными.

Закон тождества – один из основных законов логики, по которому любая мысль должна быть равна самой себе, т. е. должна быть ясной, точной и определённой (нельзя подменять и путать понятия, создавать двусмысленность, уклоняться от темы, употреблять одни и те же слова в разных значениях или вкладывать одни и те же значения в разные слова и т. п.).

Импликация (импликативное суждение) – вид сложного суждения, образованного из простых суждений при помощи условного союза «если… то». Первая часть импликации – это основание, а вторая часть – следствие; из основания обязательно вытекает следствие, но из следствия не вытекает основание.

Индукция (индуктивное умозаключение) – вид опосредованного умозаключения, в котором из нескольких частных случаев выводится общее правило; в индукции рассуждение идёт от меньшего к большему, знание расширяется, и поэтому её выводы чаще всего вероятностны.

Квадрат логический – схематичное изображение отношений между простыми сравнимыми суждениями (A, I, E, O). Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними.

Квантор – указатель на объём субъекта простого суждения. В роли квантора могут быть слова: «все», «некоторые», «ни один» и т. п.

Контрадикторность (противоречие) – 1. Логическое отношение между понятиями, одно из которых является отрицанием другого и между которыми не может быть третьего, среднего варианта.

2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них с необходимостью означает ложность другого, и наоборот.

Контрарность(противоположность) – 1. Логическое отношение между понятиями, одно из которых исключает или отрицает другое, но между которыми всегда есть третий, средний вариант. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными, но могут быть одновременно ложными, потому что между ними всегда есть третий, промежуточный вариант.

Конъюнкция (конъюнктивное суждение) – вид сложного суждения, образованного из простых суждений при помощи соединительного союза «и».

Круг в определении (тавтология) – вид ошибки в определении понятия, которая заключается в том, что определение в той или иной степени повторяет определяемое понятие, в силу чего содержание последнего не раскрывается.

Логика символическая (математическая, современная) – разновидность формальной логики, появившаяся в XIX в. и ставящая своей целью полную формализацию (математизацию) содержательных рассуждений; попытка представить последние целиком в виде математических исчислений. Символическая логика – это раздел высшей математики.

Обобщение понятия – логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания каких-либо признаков.

Обращение (конверсия) – способ преобразования простого суждения, который заключается в том, что субъект и предикат суждения меняются местами. Обращение также считается одним из видов непосредственных умозаключений.

Объём понятия – количество объектов, охватываемых этим понятием. По объёму понятия бывают общими, единичными и нулевыми (пустыми).

Ограничение понятия – логическая операция перехода от родового понятия к видовому с помощью добавления к его содержанию каких-либо признаков.

Определение понятия – логическая операция, которая раскрывает содержание понятия. Наиболее распространённый способ определения заключается в том, что определяемое понятие подводится под ближайшее к нему родовое понятие, после чего указывается на его видовое отличие (определение через род и вид).

Пересечение – логическое отношение между понятиями, объёмы которых совпадают или соприкасаются только в некоторых своих элементах. На схемах Эйлера это отношение изображается пересекающимися кругами.

Подчинение – 1. Логическое отношение между понятиями, объём одного из которых полностью включается в объём другого. На схемах Эйлера это отношение изображается кругами, один из которых находится внутри другого (меньшее по объёму понятие является видовым, а большее – родовым). 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении подчинения.

Понятие – это форма мышления, которая обозначает какой-либо объект или его признак и выражается в форме слова или словосочетания.

Понятие видовое – понятие, которое по объёму является меньшим по отношению к какому-либо другому понятию – родовому.

Видовые и родовые понятия находятся в отношении подчинения.

Понятие неопределённое – понятие, которое имеет неясное содержание (невозможно точно указать важные отличительные признаки обозначаемого им объекта) и нерезкий объём (невозможно точно установить, включается любой объект в объём этого понятия или не включается в него).

Понятие определённое – понятие, которое имеет ясное содержание (можно точно указать важные отличительные признаки обозначаемого им объекта) и резкий объём (можно точно установить, включается любой объект в объём этого понятия или не включается в него).

Понятие родовое – понятие, которое по объёму является большим по отношению к какому-либо другому понятию – видовому.

Посылка – элемент умозаключения, исходное суждение, которое вместе с другими исходными суждениями (посылками) является основанием для выведения нового суждения (заключения).

Предикат – элемент простого атрибутивного суждения, обозначающий какой-либо признак (свойство) его субъекта, или то, что говорится о субъекте. Предикат обозначается латинской буквой P.

Равнозначность – 1. Логическое отношение между понятиями, объёмы которых полностью совпадают. На схемах Эйлера это отношение изображается одним кругом, обозначающим полностью совпадающие объёмы двух понятий. 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых субъекты, предикаты и связки совпадают.

Распределённость терминов в простом суждении – указатель на число объектов, охватываемых объёмами субъекта и предиката в простом суждении. Субъект и предикат называются терминами простого суждения. Термин считается распределённым (развёрнутым, исчерпанным, взятым в полном объёме), если в суждении речь идёт обо всех объектах, входящих в объём этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом. Термин считается нераспределённым (неразвёрнутым, неисчерпанным, взятым не в полном объёме), если в суждении речь идёт не обо всех объектах, входящих в этот термин, и обозначается знаком «–», а на круговых схемах Эйлера изображается неполным кругом.

Силлогизм – дедуктивное умозаключение. Существует несколько видов силлогизмов, которые различаются суждениями, входящими в них в качестве посылок.

Сложение понятий – логическая операция объединения двух (и большего числа) понятий, в результате которой образуется новое понятие, включающее в свой объём все объекты, входящие в объёмы исходных понятий. На круговых схемах Эйлера изображается штриховкой.

Содержание понятия – наиболее важные признаки того объекта, который обозначается этим понятием. Между объёмом и содержанием понятия существует обратное отношение: чем больше объём понятия, тем меньше его содержание, и наоборот.

Соподчинение – логическое отношение между понятиями, объёмы которых никак не соприкасаются, не имеют общих элементов.

На круговых схемах Эйлера отношение соподчинения изображается двумя несоприкасающимися кругами.

Софизм – внешне правильное и убедительное доказательство какой-либо ложной мысли (идеи) с помощью преднамеренного нарушения логических законов.

Субконтрарность(частичное совпадение) – логическое отношение между двумя простыми сравнимыми суждениями, в которых объёмы субъектов частные, а связки противоположны друг другу.

Субъект – элемент простого атрибутивного суждения, обозначающий предмет (объект) суждения, или то, о чём идёт речь в суждении.

Суждение (высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Суждение состоит из понятий, связанных между собой, выражается в форме предложения, может быть истинным или ложным, простым или сложным (сложное суждение состоит из простых суждений, соединённых каким-либо союзом).

Суждение атрибутивное (от лат. attributum – признак) – простое суждение, в котором предикат является каким-либо атрибутом (свойством, признаком) субъекта. Любое простое суждение можно рассматривать как атрибутивное.

Суждение общеотрицательное – вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и отрицательной связкой: «Все S не есть P». Общеотрицательные суждения обозначаются латинской буквой E.

Суждение общеутвердительное – вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и утвердительной связкой: «Все S есть P». Общеутвердительные суждения обозначаются латинской буквой A.

Суждение релятивное (от лат. relativus – относительный) – простое суждение, в котором выражается какое-то отношение между объектами. Релятивное суждение можно представить как атрибутивное, в котором предикат указывает на какое-либо отношение к субъекту.

Умозаключение – форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

Умозаключение непосредственное представляет собой преобразования простых суждений (обращение, превращение и противопоставление предикату) и выводы по логическому квадрату. В нём вывод делается из одной посылки.

Умозаключение опосредованное – в котором вывод делается из нескольких посылок. Они делятся на дедуктивные, индуктивные и умозаключения по аналогии.

Фигура простого силлогизма – взаимное расположение терминов силлогизма (субъекта, предиката и среднего термина) в его посылках. Существует четыре фигуры силлогизма.

Форма мышления – это способ выражения мыслей или схема их построения. По содержанию мышление бесконечно многообразно, но всё это многообразие укладывается всего в несколько форм.

Существует три формы мышления: понятие, суждение и умозаключение, которыми занимается логика, в силу чего она также часто называется формальной логикой.

Эквиваленция (эквивалентное суждение) – вид сложного суждения, образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными).