Логические процедуры обоснования научных знаний

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

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

Основные виды обоснования:

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

Структура доказательства:

- тезис (выражение, истинность, которого устанавливается);

- доводы, аргументы (высказывания, с помощью которых устанавливается истинность тезиса);

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

- демонстрация (логическая форма данной процедуры).

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

Виды доказательств:

- прямое (тезис непосредственно вытекает из доводов);

- косвенное (тезис доказывается косвенным путем):

- апагогическое (доказательство от противного – установление ложности антитезиса: допускается, что антитезис истинен, и из него выводятся следствия, если хотя бы одно из полученных следствий вступает в противоречие с наличными истинными суждениями, то следствие признается ложным, а вслед за ним и сам антитезис – признается истинность тезиса);

- разделительное (истинность тезиса устанавливается путем исключения всех противостоящих ему альтернатив).

С доказательством тесно связана такая логическая процедура как опровержение.

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

Виды опровержения:

- доказательство антитезиса (самостоятельно доказывается высказывание, противоречащее опровергаемому тезису);

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

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

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

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

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

Таким образом, при подтверждении тезиса:

- в качестве аргументов выступают его следствия;

- демонстрация не носит необходимого (дедуктивного) характера.

Возражение – логическая процедура, противоположная подтверждению. Оно направлено на ослабление некоторого тезиса (гипотезы).

Виды возражений:

- прямое (непосредственное рассмотрение недостатков тезиса; как правило, путем приведения истинного антитезиса, или путем использования антитезиса, который недостаточно обоснован и обладает определенной степенью вероятности);

- косвенное (направлено не против самого тезиса, а против приводимых в его обоснование аргументов или логической формы его связи с аргументами (демонстрации).

Объяснение – логическая процедура, раскрывающая сущностные характеристики, причинные связи или функциональные отношения некоторого объекта.

Виды объяснения:

1) Объектное (зависит от характера объекта):

- эссенциальное (направлено на раскрытие сущностных характеристик некоторого объекта). В качестве аргументов выступают научные теории и законы;

- причинное (в качестве аргументов выступают положения о причинах тех или явлений;

- функциональное (рассматривается роль, выполняемая некоторым элементом в системе)

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

Отличие объяснения от доказательства: доказательство устанавливает истинность тезиса; при объяснении некоторый тезис уже доказан (в зависимости от направленности один и тот же силлогизм может быть как доказательством, так и объяснением).

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

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