2.3.5. Закон исключенного третьего

Закон исключенного третьего формулируется таким образом, чтоесли есть два суждения, из которых одно оказывается отрицанием второго, то одно (и только одно) из них является истинным.

Закон противоречия показал, что взаимоисключающие суж-* дения составляют логическую ошибку. Из этого следует, что если истинно А, то неистинно — не-А, либо наоборот, неистинно А и истинно не-А. Третьего не дано, Как не дано еще какого-либо Б, которое претендовало бы на выражение истины. Закон исключающего третьего содержит в себе следующие предписания.

Предписание 1. Оно формулирует альтернативность А и не-А и предлагает сделать выбор между ними по истинностному признаку.

Предписание 2. Оно запрещает выбирать в качестве альтернативы еще какие-либо суждения (либо человек смертен, либо бессмертен; либо вода кипит при 100° С, либо не кипит, и т.п.).

Предписание 3. Оно устанавливает отношение контрарности (противоположности) между альтернативами таким образом, что одна из них является отрицанием другой.

Предписание 4. Оно трактует универсальный прием логического мышления, согласно которому противоположное истине есть ложь.

2.3.6. Закон достаточного основания

Закон достаточного основания формулируется обычно так: всякое верное положение должно быть обоснованным. Основная задача этого закона — аргументирование доказательности логического мышления. Суждение может быть истинным или ложным. Но на каком основании? Эти вопросы не случайны. В процессе рассуждения в качестве посылок могут быть исполь-

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

Данный закон также содержит в себе ряд предписаний.

Предписание 1. Все посылки рассуждения (умозаключения, доказательства, вывода) должны быть обоснованы.

Предписание 2. Если какое-либо суждение является обоснованным, то его допустимо использовать в доказательстве, не воспроизводя его оснований, а лишь подразумевая их. Это предписание позволяет применять в качестве посылок также положения, которые являются синонимами, либо такие, обоснование которых есть следствие доказанных (истинных) положений.

Предписание 3. Обоснованием считается любая истинностная характеристика суждения (ложное суждение, вероятностное суждение).

Предписание 4. В обосновании суждений следует различать логическое обоснование (отношение вывода логического следствия) и фактическое обоснование.

Рассмотренные выше законы мышления имеют в логике такое же значение, какое в математике имеют аксиомы или постулаты. Они так же очевидны, как и то, что «целое больше части» или то, что «между двумя точками можно провести только одну прямую».

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

2.4

МЕТОДЫ ЛОГИКИ

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

Понятие метода

Термин «метод» означает способ построения системы знания, совокупность приемов и операций практического и теоретического освоения действительности. Современная система методов науки столь же разнообразна, как и сама наука. Различают экспериментальные, теоретические, эвристические и алгоритмические научные методы. По другим основаниям можно различать количественные и качественные методы изучения реальности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, гипотетико-индуктивные и дедуктивные методы. По механизмам обобщения выделяются синтетические и аналитические, индуктивные и дедуктивные, методы идеализации, генерализации, обобщения, типологизации и классификации. Каждый из этих методов конкретизируется в какой-либо науке, наполняется своим конкретным содержанием. Наиболее адекватным, полным и

системным образом научное знание реализуется в научной теории.

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

Научные теории формулируются на языке науки. По своему характеру языки науки являются естественными. Они возникают в процессе формирования соответствующей научной дисциплины на основе конкретных естественных языков. Словарь языка конкретной науки формируется путем пополнения общеупотребляемого языка специальными терминами, которые либо заимствуются из повседневного языка, либо изобретаются в виде сокращений, обозначений, схем, формул, идеализации и пр. Для науки характерен поиск универсального языка общения. В наибольшей степени на эту роль претендует язык математики. Он позволяет избежать неточностей, присущих обыденным языкам. Идея универсального языка всегда ассоциировалась с научным познанием. Клавдий Гален, римский философ, математик и врач (ок. 130 — ок. 200 гг.н.э.), считал его «совершенным языком». В роли всеобщих языков в науке использовались греческий и латинский. Немецкий философ Гот-фрид Лейбниц выдвинул идею «универсальной характеристики» — универсального языка или всеобщей символики. В ее основе лежит систематизация знаний по родам и видам.

Идея «универсальной характеристики» Г. Лейбница — не просто некий всеобщий символический аппарат; это универсальный метод, пользуясь которым можно было бы свести процесс поиска и доказательства истины к задаче преобразования символов. В полном объеме это несбыточная идея, однако ее рациональное зерно заключается в том, что разнородное научное знание, сформулированное на языках разных научных теорий, сопоставляется по своей логической структуре. А это дает новый мощный метод научного познания — методологию (т.е. учение о научных методах) научного познания.

Универсальный метод не дает «отмычки» ко всем тайнам природы, не претендует на абсолютную истину. Но по своей

природе он позволяет частное знание сделать общезначимым, а именно, подлинно научным.

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