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

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

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

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

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

Правила, относящиеся к аргументам: 1) аргументы не должны противоречить друг другу; 2(аргументы должны подтверждать тезис; 3)аргументы должны быть суждениями.

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

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

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

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

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

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

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

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

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

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

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

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

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

старых технологий, построение высокой индустрии

знаний, преобразование жизненной среды человека

и другие процессы имеют своим источником развитие

научного знания. Современная наука строится на позициях, которые

были выражены еще Декартом. Это онтологические,

методологические и социальные принципы. В онтологии говорится, что:

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

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

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

следующие;

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

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

К социологическим принципам относятся: 1)наука направлена на поиски истины с помощью

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

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

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

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

37. ПОНЯТИЕ ГИПОТЕЗЫ И ЕЕ СТРУКТУРА. ВИДЫ ГИПОТЕЗ

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

Определить гипотезу можно через следующие черты:

1) гипотеза - это обязательная форма развития любо­го познавательного процесса. Она является связую­щим звеном между ранее достигнутым знанием и новыми фактами; 2)построение гипотезы обязательно должно сопро­вождаться выдвижением предположения; 3 (данное предположение рождается на основе рас­смотрения материала, на базе неоднократных на­блюдений.

Гипотезы делятся на две большие группы: по по-ГО знавэтельным функциям и объекту исследования. CD По познавательным функциям выделяют описатель­ные и объяснительные гипотезы.

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

Среди описательных гипотез особое место занима­ют экзистенциальные гипотезы - гипотезы о су­ществовании того или иного объекта.

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

По объекту исследования выделяют общие и част­ные гипотезы.

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

Частная гипотеза - это научно обоснованное предположение о причинах, происхождении и взаи­модействиях части объектов, выделенных из класса рассматриваемых объектов природы, общественной жизни или психической деятельности человека.

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

Также выделяют такой вид гипотезы, как единич­ная. Она представляет собой научно обоснованное предположение о причинах, происхождении и взаи­мосвязях единичных фактов, конкретных событий или явлений.

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