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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

30. Гипотеза как форма развития знаний. Виды гипотез. Построение гипотезы и ее проверка.

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

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

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

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

3) данное предположение рождается на основе рассмотрения материала, на базе неоднократных наблюдений.

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

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

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

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

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

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

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

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

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

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