Новая философская энциклопедия В 4 томах. Том 2 (1184479), страница 23
Текст из файла (страница 23)
Первые представляют класс общезначимых выражений и формулируются в объектном языке исчисления.Вторые служат для описания фактов логического следованияодних выражений из других, необязательно общезначимых, иформулируются в метаязыке исчисления. В отличие от законов, правила вывода имеют вид предписаний и носят по существу нормативный характер. При построении исчисленийбез правил вывода обойтись нельзя, а без законов в принципеможно (так именно и поступают в исчислениях естественноговывода). Тем не менее изучение логических законов образуетестественный исходный пункт логического анализа приемлемых («хороших») способов рассуждений (умозаключений),поскольку понятие «приемлемое» или «логически правильное» рассуждение уточняется через понятие «логическийзакон».
Связь логически правильных рассуждений с законами логики выражается металогической дедукции теоремой иимеет общенаучное значение, обеспечивая общий методформального доказательства средствами логики.В традиционной (школьной) логике термин «логическийзакон» имел очень узкий смысл и применялся к т. н. законаммышления — закону тождества, закону противоречия, закону исключенного третьего и закону достаточного основания. Однако такая канонизация в настоящее время является лишь данью традиции и не отвечает действительномуположению вещей.
Тем не менее названные законы можнопринять в методологическом смысле как принципы (илипостулаты) теоретического мышления.В этом случае закон тождества (lex identitatis) истолковывается как принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний)в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). В языке логическихисчислений указанная сохранность обычно выражаетсяформулой Az> А. Принятие закона тождества для суждения Ане означает, вообще говоря, принятия самого А. Но если А принято, то закон тождества принимается с необходимостью дляисчислении с общезначимой формулой Az>(Az>A).
Для исчислений, включающих отрицание, это сведение абстракциипостоянства суждения к принятию самого суждения имеетформу закона: (Az> —. ( А з A)) z> —i А), т. е. если при допущении суждения для него отрицается закон тождества, то темсамым отрицается и само это суждение.Закон противоречия (lex contradictionis) указывает на недопустимость одновременного утверждения (в рассуждении, в текстеили теории) двух суждений, из которых одно является логическим отрицанием другого, т. е. суждений вида А и —, А или их конъюнкции, или эквиваленции, или — в более широком смысле — утверждений о тождестве заведомо различных объектов,поскольку обычно правила логики таковы, что позволяют изпротиворечия выводить произвольные суждения, что обесценивает содержательный смысл умозаключений или теорий.
Наличие противоречия в рассуждении (теории) создает парадоксальную ситуацию (см. Парадокс логический) и нередко указываетна несовместимость посылок, положенных в основу рассуждения (теории). Этим обстоятельством часто пользуются в косвенных доказательствах (см. Доказательство косвенное).Закон исключенного третьего (lex exclusii tertii) на логическомязыке записывается формулой Av —.
А и утверждает, что нетничего среднего (промежуточной оценки) между членами противоречивой пары (отсюда другое латинское название этогозакона — tertium non datur). В методологическом плане этот закон выражает конструктивно неоправданную идею о разрешимости (потенциально осуществимом указании на истинностьили ложность) произвольного суждения (см. Разрешения проблема).
В отличие от формулы, соответствующей закону противоречия, формула, соответствующая закону исключенноготретьего, не выводима в интуиционистских и конструктивныхисчислениях (см. Интуиционистская логика и Конструктивная логика), хотя и неопровержима в них. Дихотомия установленных истины и лжи неоспорима, но дихотомия утверждения и отрицания оспаривалась неоднократно. Наиболее последовательную критику закона исключенного третьего далЛ. Э. Я. Брауэр. В свете его критики этот закон следует рассматривать только как постулат (принцип) классической логики(подробнее см. Исключенного третьего закон).Наконец, закон достаточного основания (lex rationis determinatis seu sufficientis) выражает методологическое требование обоснованности всякого знания, всякого суждения, которое мыхотели бы принять за отображение истинного (действительного) положения вещей.
В этом смысле он применим не только к выводному знанию (в частности, к аксиомам и постулатам научных теорий), но и ко всей области фактических истин,не имеющих отношения к формальной логике. Не случайно Лейбниц, который ввел этот принцип в научный обиход,относил его в первую очередь не к логике, а ко всем событиям,которые случаются в мире.М. М. НовосёловЗАКОН НЕПРОТИВОРЕЧИЯ - см. Непротиворечиязакон.ЗАКОН ТОЖДЕСТВА — см.
Закон логический.ЗАКОННОСТЬ — соблюдение законов и иных правовыхактов государством, юридическими и физическими лицами.37ЗАКОНОМЕРНОСТИЗаконность опирается на силу и авторитет государства, предполагает верховенство закона над властью, а также над иными нормативными системами (обычай, общественная мораль, религиозные нормы и т. п.).В отличие от права понятие «законность» имеет более конкретное содержание. В связи с этим возможно расхождениезаконности и права (напр., возможно «правонарушающеезаконодательство», не считающееся с реальным уровнемправового сознания в данном обществе).В отличие от легитимности законность не предполагаетэтической, идеологической, праксиологической и любойдр., кроме юридической, оценки того или иного явления.дении независимых сущностей (элементов систем) придаютвнешние условия, внешние воздействия.
Другой важнейшейособенностью статистических систем является идея иерархиии субординации. Основная задача статистических исследований и заключается в раскрытии законов взаимосвязи междумиром элементарных сущностей (их свойствами) и целостными характеристиками таких систем. Эти взаимосвязи ужене укладываются в рамки координации, а включают иерархическую компоненту.Представления о закономерностях жесткой детерминациии о статистических закономерностях фактически представляют собой два «крайних» вида закономерностей, характеризующих некоторые предельные, а значит, простейшиесостояния изучаемых явлений и объектов. Для более сложных представлений о закономерности характерен синтезжесткости (однозначности) и независимости (случайности).
Так, представители нижегородской школы анализанелинейности считают фундаментальной проблему «связидинамических и статистических законов физики, преждепротивопоставлявшихся друг другу» (Гапонов-Грехов А. В.,Рабинович М. И. Нелинейная физика. Стохастичность иструктуры.— В кн.: ФизикаХХ века. Развитие и перспективы. М., 1984, с. 228). Об аналогичном подходе говорятИ. Пригожий и И. Стенгерс: «Мы должны отыскать узкуютропинку, затерявшуюся где-то между двумя концепциями,каждая из которых приводит к отчуждению: концепциеймира, управляемого законами, не оставляющими места дляновации и созидания, и концепцией, символизируемой Богом, играющим в кости, концепцией абсурдного, акаузального мира, в котором ничего нельзя понять» (Пригожий И.,Стенгерс И.
Время, хаос, квант. М., 1994, с. 261). Раскрытиеновых законов — законов функционирования и поведениясложноорганизованных систем — ведет к изменениям в наших представлениях о структурной организации мира.Р. Ю. ШлыкЗАКОНОМЕРНОСТИ — относительно устойчивые и регулярные взаимосвязи между явлениями и объектами реальности, обнаруживающиеся в процессах изменения и развития. На знании закономерностей соответствующих явленийосновываются как объяснения в науке, так и научные предвидения. Различают закономерности эмпирические и теоретические. Первые представляют собой непосредственноеобобщение опытных фактов, вторые характеризуют болееглубокое проникновение в основания исследуемых процессов, и их теоретическое воспроизведение опирается на систему понятий высокой степени общности. Ведущей формойвыражения законов науки является математика.
Познаниезакономерностей реального мира составляет не только первейшую задачу науки, но и основу целесообразной деятельности человека.В философско-методологическом плане особенно важноразвитие представлений о природе закономерности, преждевсего разработка теоретико-вероятностных методов исследования и становление представлений о статистических закономерностях. Ранее наука знала только один класс закономерностей, которые первоначально получили названиединамических (ныне их называют закономерностями жесткой детерминации). Представления о классе закономерностей жесткой детерминации сформировались в ходе развитияклассической физики. Фактически под этими закономерностями понимаются закономерности, в логическом отношенииподобные законам механики. В качестве определяющейчерты этих закономерностей рассматривается строго однозначный характер соответствующих связей и зависимостей.Однозначный характер связей означает их концептуальную(качественную) равноценность: любая связь, независимо отприроды и структуры рассматриваемых процессов, в равноймере признается необходимой.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
