Шпаргалка по логике

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

36. ФОРМИРОВАНИЕ НАУЧНОГО ЗНАНИЯ И ЕГО ПРИНЦИПЫ

Возникновение теоретического знания относят к IX–IV гг. до н. э. Возникновение областей теоретического знания может быть представлено как построение особых идеализированных структур с помощью принципов мышления.

Данный процесс был бы невозможен, если бы не получила развития его внутренняя основа – ориентирующая функция речи. Она является основой возникновения теоретической науки.

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

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

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