35

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ ется. Их коренное отличие состоит в том, что вторые действуют стихийно, тогда как первые проявляются через деятельность людей, ставящих перед собой осознанные цели и задачи. Существование определенных общественных закономерностей признавали уже древние, напр., Аристотель с определенными этапами развития общества связывал различные формы государства. В 18 в. существовала теория исторического круговорота Вико. В работах представителей французского и немецкого просвещения большое значение придавалось идее исторического прогресса и его движущим причинам. Для Гегеля история выступала как единый закономерный процесс, в котором каждая эпоха представляла собой необходимое звено в развитии человечества. Необходимость при этом прокладывала путь через множество случайностей. Веру в то, что одно состояние общества закономерно сменяется другим в силу объективных причин, разделял Дж. Милль, полагавший, что законы этих изменений может дать социальная психология. Проблема объективности общественных закономерностей стала одной из центральных в марксизме, в концепции материалистического понимания истории. Основополагающим в ней стало выделение производственных отношений как экономической основы общественной жизни, так или иначе определяющей все другие общественные отношения и закономерности развития. Методологическим критерием выделения общего (без чего невозможно осуществление теоретических обобщений и выявление закономерностей) на различных этапах общественного развития стало понятие об щественно-экономической формации. Закономерности общественного развития понимаются как объективные тенденции, которые не зависят от людей и их желаний, определяют основную линию развития и реализуются, не предопределяя множества случайностей и отклонений. Так, по аналогии, если некоторая река течет на север, то это совсем не исключает, что на каких-то участках она может течь и на восток, и на запад, и даже на юг. Вместе с тем даже признание объективности тенденций общественного развития, по мнению ряда авторов, не является достаточным, чтобы говорить о законах истории. К. Поппер прямо говорит о «нищете историцизма», о том, что тенденции не дают возможностей для точных выводов и что теоретические обобщения в истории достаточно рискованны и ненадежны. Признание существования объективных закономерностей в исследуемой предметной области, будь то природа или общество, или некоторая новая предметная область, созданная интеллектом человека, снимает некоторые философе кие проблемы. Это во всяком случае позволяет понять, почему история развития науки демонстрирует нам последовательную смену формулировок законов и целых теорий, которая в результате приводит к все более точному постижению и отображению закономерностей. При этом надо иметь в виду, что законы науки всегда являются концептуальными реконструкциями закономерностей, связанными с принятием определенного понятийного аппарата, разнообразных идеализации и абстракций. Теория, представляя собой связанную систему законов, отображаетсовокупностьзакономерностей. Такое по- ожение не требует и не предполагает однозначного отношения между закономерностями и законами. Закономерности одной и той же предметной области могут отображаться различными теориями, с различным концептуальным аппаратом. При классификации законов их различают по предметной области, по степени общности; разделяют на законы функционирования (описывающие связи между существующими в пространстве объектами) и законы изменения и развития (отображающие закономерности процессов перехода объектов из одного состояния в другое). Одни законы имеют точный количественный характер и выражаются с помощью математических формул, другие являются качественными (законы познания, законы дарвинизма). В случаях, когда законы позволяют по начальному состоянию системы точно предсказать ее последующие состояния, говорят о динамических законах. Когда же состояние системы или какие-то ее параметры, исходя из законов, могут быть указаны лишь с некоторой степенью вероятности, то такого рода законы называют вероятностными, или статистическими. Поскольку законы носят объективный характер, часто произносимые утверждения о нарушении законов следует считать метафорическими. Когда закон имеет вид: «А влечет В» и при этом В имеет нежелательный характер, то про допустившего А и в результате получившего В говорят обычно, как о нарушившем закон. На самом деле никакого нарушения закона не происходит, о чем и свидетельствует наступление В. Содеявший А не нарушил закон, а не знал или не учел его. Даже закон в смысле (3) вида: «Совершивший такое-то и такое-то действие подлежит такому-то и такому-то наказанию», о нарушениях которого говорят особенно часто, также нельзя нарушить. Совершение действия, за которое полагаете наказание, есть совершение действия, подпадающего подданный закон, а не его нарушение. И если наказания по каким-либо причинам не следует, то нарушается не закон, который этого наказания требует, а не работают механизмы, которые призваны такого рода законы реализовывать. Законы в данном случае не нарушаются, а не исполняются. Лет.: Карпович В. Н. Проблема, гипотеза, закон. Новосибирск, 1980; Кун Т. Структура научных революций. М., 1975; Маркс К. «К критике политической экономии». — Маркс К, Энгельс Ф. Соч., 2-е изд., т. 13; Энгельс Ф. Людвиг Фейербах и конец классической немецкой философии. — Там же, т. 21; Плеханов Г. В. К развитию монистического взгляда на историю. — Избр. филос. произв., т. 1. М, 1956; Философия и методология истории. М., 1968; Баженов Л. Б. Строение и функции естественнонаучной теории. М., 1978; Рузавин Т.П. Научная теория. М, 1978; Субботин А. Л. Понятие естественнонаучного закона: мнимые и реальные проблемы. — В кн.: Логика научного познания. М, 1987; Поппер К Открытое общество и его враги, т 1—2. М., 1992; Popper К The poverty of historicism. N. Y.-L., 1967. E. А. Сидоренко

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ- см. Закон логический.

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО- см. Исключенного третьего закон.

ЗАКОН ЛОГИЧЕСКИЙ- общее название законов образующих основу логической дедукции. Понятие о законах логики восходит к древнегреческому понятию о logos'e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей элементарных высказываний в сложные, истинность которых вытекает из одной только их формы, а точнее — из одного только понимания смысла логических связей. Большинство логических законов, открытых Аристотелем, — это законы

36

ЗАКОННОСТЬ силлогизма. Позже были открыты и другие законы и даже установлено, что совокупность логических законов бесконечна. В некотором смысле «обозреть» эту совокупность удается с помощью формальных теорий логического рассуждения — т. н. логических исчислений, в которых интуитивное понятие о законах логики реализуется в точном понятии «общезначимой формулы» данного исчисления (см. Логика высказываний, Логика предикатов). Существующее многообразие логических исчислений естественно порождает мысль об относительности понятия «логический закон». Однако типом логического исчисления полагаются одновременно и границы этой относительности, поскольку тип исчисления не является исключительно делом произвольного выбора, а диктуется (или подсказывается) «логикой вещей», о которых хотят рассуждать, и в известном смысле субъективной уверенностью в том или ином характере этой логики. Исчисления, основанные на одной и той же гипотезе о характере «логики вещей», являются эквивалентными в том смысле, что в них каталогизируются одни и те же логические законы. Напр., исчисления т. н. классической логики (основанные на гипотезе двузначности), несмотря на их внешнее разнообразие, описывают один и тот же «мир» классических логических законов — мир «тождественных истин» (или «тавтологий»), инвариантных фактическому содержанию сказанного и потому издавна получивших философскую характеристику «вечных истин» или «истин во всех возможных мирах». «Логикой вещей», отражением которой исторически явились законы интуиционистской логики, является логика умственных математических построений — «логика знания», а не «логика бытия». Законы логики необходимо отличать от логических правил вывода. Первые представляют класс общезначимых выражений и формулируются в объектном языке исчисления. Вторые служат для описания фактов логического следования одних выражений из других, необязательно общезначимых, и формулируются в метаязыке исчисления. В отличие от законов, правила вывода имеют вид предписаний и носят по существу нормативный характер. При построении исчислений без правил вывода обойтись нельзя, а без законов в принципе можно (так именно и поступают в исчислениях естественного вывода). Тем не менее изучение логических законов образует естественный исходный пункт логического анализа приемлемых («хороших») способов рассуждений (умозаключений), поскольку понятие «приемлемое» или «логически правильное» рассуждение уточняется через понятие «логический закон». Связь логически правильных рассуждений с законами логики выражается металогической дедукции теоремой и имеет общенаучное значение, обеспечивая общий метод формального доказательства средствами логики. В традиционной (школьной) логике термин «логический закон» имел очень узкий смысл и применялся к т. н. законам мышления — закону тождества, закону противоречия, закону исключенного третьего и закону достаточного основания. Однако такая канонизация в настоящее время является лишь данью традиции и не отвечает действительному положению вещей. Тем не менее названные законы можно принять в методологическом смысле как принципы (или постулаты) теоретического мышления. В этом случае закон тождества (lex identitatis) истолковывается как принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). В языке логических исчислений указанная сохранность обычно выражается формулой Az> А. Принятие закона тождества для суждения А не означает, вообще говоря, принятия самого А. Но если А принято, то закон тождества принимается с необходимостью для исчислении с общезначимой формулой Ad(AdA). Для исчислений, включающих отрицание, это сведение абстракции постоянства суждения к принятию самого суждения имеет форму закона: (Аз —¦ (Az> A)) z> —i А), т. е. если при допущении суждения для него отрицается закон тождества, то тем самым отрицается и само это суждение. Закон противоречия (lex contradictionis) указывает на недопустимость одновременного утверждения (в рассуждении, в тексте или теории) двух суждений, из которых одно является логическим отрицанием другого, т. е. суждений вида А и -. А или их конъюнкции, или эквиваленции, или — в более широком смысле — утверждений о тождестве заведомо различных объектов, поскольку обычно правила логики таковы, что позволяют из противоречия выводить произвольные суждения, что обесценивает содержательный смысл умозаключений или теорий. Наличие противоречия в рассуждении (теории) создает парадоксальную ситуацию (см. Парадокс логический) и нередко указывает на несовместимость посылок, положенных в основу рассуждения (теории). Этим сюстоятельством часто пользуются в косвенных доказательствах (см. Доказательство косвенное). Закон исключенного третьего (lex exclusii tertii) на логическом языке записывается формулой Av —iA и утверждает, что нет ничего среднего (промежуточной оценки) между членами противоречивой пары (отсюда другое латинское название этого закона — tertium non datur). В методологическом плане этот закон выражает конструктивно неоправданную идею о разрешимости (потенциально осуществимом указании на истинность или ложность) произвольного суждения (см. Разрешения проблема). В отличие от формулы, соответствующей закону противоречия, формула, соответствующая закону исключенного третьего, не выводима в интуиционистских и конструктивных исчислениях (см. Интуиционистская логика и Конструктивная логика), хотя и неопровержима в них. Дихотомия установленных истины и лжи неоспорима, но дихотомия утверждения и отрицания оспаривалась неоднократно. Наиболее последовательную критику закона исключенного третьего дал Л. Э. Я. Браузр. В свете его критики этот закон следует рассматривать только как постулат (принцип) классической логики (подробнее см. Исключенного третьего закон). Наконец, закон достаточного основания (lex rationis determina- tis seu sufficientis) выражает методологическое требование обоснованности всякого знания, всякого суждения, которое мы хотели бы принять за отображение истинного (действительного) положения вещей. В этом смысле он применим не только к выводному знанию (в частности, к аксиомам и постулатам научных теорий), но и ко всей области фактических истин, не имеющих отношения к формальной логике. Не случайно Лейбниц, который ввел этот принцип в научный обиход, относил его в первую очередь не к логике, а ко всем событиям, которые случаются в мире. Л/. М. Новоселов