Обоснование результатов исследования

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

Язык науки

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

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

Философское понятие «диалектическая логика» ввел Г.-В.-Ф. Гегель в начале XIX в. Так он, в противополож­ность формальной логике, назвал свое учение о развитии всех природных и духовных вещей». В последующей традиции под диалектической логикой понимали философское учение о законах мышления и познания, учение о том, как в движении познаний, в развитии и движении форм мышления отражается вечно изменяющийся объективный мир. Диалектическая логика - методологически ориентированное мышление с использованием эвристического потенциала материалистической диалектики. В отличие от формальной логики диалектическая является логикой содержательной, адекватно фиксирующей предмет как в его покое, так и в его изменении.

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