Шпаргалка по логике - [20]

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

Опровержение имеет три вида: 1)критика тезиса – это логическая операция, целью которой является показать ложность выставленного тезиса. Тезис признается ложным, если оппонент отстаивает свое утверждение, но заведомо знает о том, что оно не соответствует действительности. Тезис является ошибочным, если оппонент заблуждается относительно действительности утверждаемого им тезиса.

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

При косвенном опровержении тезиса внимание сосредоточивается на доказательстве своего тезиса, которое в свою очередь будет противоречить тезису оппонента.

Если положение выдвигается с каким-либо обоснованием, операция опровержения может быть направлена против обоснования. В этом случае нужно показать, что приводимые аргументы ошибочны: вывести

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

Следует иметь в виду, что опровержение доводов, приводимых в поддержку какого-либо положения, не означает неправильность самого этого положения. Утверждение, являющееся по сути дела верным, может отстаиваться с помощью ошибочных или слабых доводов. Выявив это, демонстрируется надежность предлагаемого обоснования, а не ложность утверждения;

2) критика аргументов. Данная логическая операция направлена на обоснование ложности аргумента. Она может выражаться в том, что оппонент может указывать на неточное изложение фактов, выражать в них сомнение.

Если ложность аргументов будет доказана, то тезис будет необоснованным и будет нуждаться в дополнительной аргументации;

3) критика демонстраций. Данная логическая операция указывает на отсутствие логической связи между тезисом и аргументами.

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

Опровержение может быть направлено на саму связь аргументов и доказываемого положения. В этом случае нужно показать, что тезис не вытекает из доводов, приведенных в его обоснование. Если между аргументами и тезисом нет логической связи, то нет и доказательства тезиса с помощью указанных аргументов.

35. ПРАВИЛА И ОШИБКИ В ДОКАЗАТЕЛЬСТВЕ

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

Формальная ошибка имеет место тогда, когда умозаключение не опирается на логический закон и заключение не вытекает из принятых посылок. Например: «Если я навещу дядю, он подарит мне фотоаппарат, я продам его и куплю велосипед: значит, если я навещу дядю, я продам его и куплю велосипед». Данное умозаключение не опирается на закон логики и неправильно. Ошибка заключается в том, что местоимение «его» может указывать на разные предметы. В данном случае оно должно указывать на фотоаппарат, но выходит так, что на самом деле оно относится к дяде.

Характерной ошибкой в отношении тезиса является подмена тезиса, неосознанное или умышленное замещение его в ходе доказательства каким-то другим утверждением. Подмена тезиса ведет к тому, что доказывается не то, что требовалось доказать. В данном случае тезис может сужаться и он остается недоказанным.

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

Правила, относящиеся к аргументам:

1) аргументы не должны противоречить друг другу;

2) аргументы должны подтверждать тезис;

3) аргументы должны быть суждениями.

При нарушении вышеперечисленных правил возникают следующие ошибки в основаниях доказательства:

1) ложность оснований;

2) предвосхищение оснований. В качестве аргументов приводится такое положение, которое само нуждается в доказательстве;

3) правила, относящиеся к демонстрации. Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство – это идеальное и неоспоримое доказательство.

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