Обоснование представляет собой логический процесс, по средством которого тезис наделяется новыми характеристиками, фиксируемыми в приводимых основаниях. В развитии научного знания используются виды обоснования: доказательство, опровержение, подтверждение, интерпретация, оправдание, объяснение, высшей из которых является доказательство. Доказательство - логический процесс, заключающийся в обосновании истинности положения с помощью других положений, истинность которых уже установлена ранее. В процессе доказательства нельзя пользоваться такими умозаключениями, которые дают в выводе недостоверное знание, обоснованности или истинности которых с достоверностью нельзя говорить. О провержение устанавливает ложность тезиса. Разновидности: доказательство антитезиса (самостоятельно доказывается высказывание, противоречащее опровергаемому тезису (антитезис)) и установление ложности следствия, вытекающей из тезиса (делается допущение об истинности опровергаемого тезиса и из него выводятся следствия, если хотя бы одно является ложным, то ложным будет и допущение (опровергаемый тезис), значит, что по крайней мере одно из них ложно, следовательно, ложным будет исходный тезис). Опровержение с помощью установления ложности следствий, вытекающих из тезиса, называют «сведение к абсурду». Подтверждение. Оно играет особую роль в случаях, когда в процесс научного исследования вовлекаются положения, истинность которых еще в должной мере не установлена и в то же время отсутствуют достаточные аргументы для их опровержения. Это выведение следствий из наличного гипотетического утверждения и последующее соотнесение с достоверно установленными положениями. Особый интерес подтверждение представляет в том случае, если обосновываемый тезис претендует на статус научного закона, тогда следствия выводятся таким образом, чтобы соотнести их с эмпирическими знаниями, с фактами науки, которые подтверждают гипотетическое утверждение. В рамках позитивистской концепции подтверждение отождествляется с обоснованием и трактуется как многоступенчатая гипотетико-дедуктивная система вывода единичных следствий из гипотезы, или подкрепление, верификация, поддержка гипотетического положения эмпирическими данными, которые или уже имеются в распоряжении исследователя, или специально подбираются для конкретного случая. Логический анализ подтверждения предполагает, что при подтверждении тезиса а) в качестве аргументов выступают его следствия, 6) демонстрация в целом не носит необходимого (дедуктивного) характера. Интерпретация выполняет функции взаимосвязи и сопоставления абстрактных объектов теории с эмпирическими данными. В зависимости от специфики объекта обоснования (математическое или естественнонаучное знание) интерпретационные модели отличаются друг от друга. Построение интерпретационной модели математической теории ограничивается установлением значений терминов исходной теории посредством их связи с абстрактными объектами обосновывающей теории, что и составляет суть семантической интерпретации. Для обоснования естественнонаучного знания необходима еще и эмпирическая интерпретация, основой которой являются операциональные определения и посредством которой устанавливается соответствие между двумя языками - теоретическим и языком наблюдения. Объяснение - устанавливается достоверность высказываемых о каких-либо еще малоизученных явлениях положений на основе уже апробированных в науке эмпирических или теоретических данных. В зависимости от специфики и степени изученности объектов в процессе объяснения могут использоваться такие приемы, как сравнение, аналогия, указание и др. Объяснить некоторое явление - значит указать, следствием какой причины оно является, или раскрыть его сущностные характеристики. В качестве аргументов при объяснении выступают установленные научные факты, законы или их совокупности, научные теории, а также высказывания о причинах тех или иных явлений. Объяснение указывает на причину и одновременно на закон, которому подчиняется наблюдаемое явление.
Язык науки
Под формализованным языком в логике понимают язык, представляющий собой множество интерпретированных выражений (формул), а также включающий способы преобразования одних выражений в другие по правилам дедукции. Формализованный язык включает алфавит языка (исходные символы языка), понятие правильно построенного выражения языка (формулы), представляющего собой конечную последовательность исходных символов. Некоторые правильно построенные формулы выбираются в качестве исходных, например, аксиом. В отличие от естественного языка, формализованный язык (в узком смысле) не является средством общения между людьми. Это средство воплощения логических теорий, моделирующих дедуктивные процессы нашего мышления, а также используемых как средство логического анализа. Особая роль принадлежит формализованному языку в современной логике и математике. В формализованном языке (как в узком, так и в широком смысле) различают объектный (предметный) язык и метаязык. Объектный язык — это язык, выражения которого относятся к некоторой области объектов, их свойств и отношений. Например, объектный язык арифметики соотносится с числами и их свойствами, описывает операции сложения, вычитания. Метаязык служит средством описания и исследования свойств объектного языка. Поэтому он более богат по своим выразительным и аналитическим возможностям и может быть неформализованным. В естественном языке явного различия между метаязыком и объектным языком нет. На одном и том же языке описываются свойства внеязыковых объектов и выражений, устанавливающих характеристики объектного языка. Поэтому существует опасность смешения объектного языка и метаязыка, чреватого появлением противоречий и парадоксов.
Какова роль определений в науке? Определение позволяет выделить некоторый предмет среди других предметов, однозначно отличить его от них, раскрыть, уточнить или сформировать смысл одних языковых выражений с помощью других языковых выражений. Определение, дающее отличительную характеристику предмета, называется реальным. Определение, раскрывающее, уточняющее смысл одних языковых выражений с помощью других, называется номинальным. По способу представления определяемого имени они подразделяются на явные и неявные.
Философское понятие «диалектическая логика» ввел Г.-В.-Ф. Гегель в начале XIX в. Так он, в противоположность формальной логике, назвал свое учение о развитии всех природных и духовных вещей». В последующей традиции под диалектической логикой понимали философское учение о законах мышления и познания, учение о том, как в движении познаний, в развитии и движении форм мышления отражается вечно изменяющийся объективный мир. Диалектическая логика - методологически ориентированное мышление с использованием эвристического потенциала материалистической диалектики. В отличие от формальной логики диалектическая является логикой содержательной, адекватно фиксирующей предмет как в его покое, так и в его изменении.
В научном познании наряду с законами и принципами диалектики, учением о противоречии как источнике развития научного знания важную регулятивно-методологическую и мировоззренческую роль играют такие категории диалектики, как категории части и целого, единичного и общего, особенного и всеобщего, сущности и явления, абстрактного и конкретного, логического и исторического, возможности и действительности, необходимости и случайности.
