35. Правила и ошибки в доказательстве

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

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

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

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

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

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

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

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

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

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

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

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

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

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

36. Формирование научного знания и его принципы

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

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

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

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

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

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

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

В онтологии говорится, что:

1) природа стабильна и универсальна, человеческий разум действует с помощью таких же устойчивых и идеализированных категорий мышления;

2) материя отличается от сознания, являющегося началом традиционной рациональной деятельности;

3) сознание находится в своем внутреннем мире каждого индивидуального тела.

К методическим принципам науки относятся следующие:

1) предметом науки является «общее». Науки об индивидуальном не существует;

2) открытые законы значимы всегда и для всех;

3) любая наука должна стремиться к математическому выражению данных законов;

К социологическим принципам относятся:

1) наука направлена на поиски истины с помощью собственной цели и ценности;

2) в ней преобладают рациональные принципы и аргументы;

3) субъект познания призван контролировать и подчинять себе ход ее процессов.

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

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