ЗАКОН ЛОГИКИЗакон необратимости эволюции Долло

ЗАКОН ЛОГИЧЕСКИЙ

Найдено 5 определений термина ЗАКОН ЛОГИЧЕСКИЙ

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [советское] [постсоветское] [современное]

 Логический закон

устойчивая необходимая связь в строении мыслей в процессе формально правильного мышления.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Традиционная логика. Словарь по книге

ЗАКОН ЛОГИЧЕСКИЙ

схема логической связи суждений, общезначимость которой вытекает из одной только интерпретации входящих в нее логических элементов и по существу не связана с фактической истинностью "наполняющих" ее высказываний. Другие названия "закон мышления", "логическое правило". Существует бесконечное множество таких положений, в математической логике их выражают общезначимыми (тождественно-истинными) формулами.

Традиционно же выделяют три базисных 3. л., первая формулировка которых принадлежит, по всей видимости, Аристотелю ("Метафизика" III, 7, 1011 Ь, 23-4): 1) Закон тождества: "А есть А, всякое высказывание тождественно самому себе"; 2) Закон (не)противоречия: "Неверно, что А и не-А, никакое высказывание не может быть истинным и вместе с тем ложным"; 3) Закон исключенного третьего: "Истинно или А, или не-А, любое высказывание таково, что истинно либо оно само, либо его отрицание".

Часто к ним добавляют сформулированный Лейбницем закон достаточного основания, получивший вместе с законом противоречия характеристику "великих начал".

3. л. воспринимаются как фундаментальные для той центральной традиции в логике, которую связывают с именами ее наиболее ярких представителей: Аристотеля, Г. Фреге и Б. Рассела; определяют как "классическую логику" (см. "Логика неклассическая").

А. Г. Кислое

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Современный философский словарь

ЛОГИЧЕСКИЙ ЗАКОН

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Советский философский словарь

логический закон

ЛОГИЧЕСКИЙ ЗАКОН — общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреч. понятию о логосе как о предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей элементарных высказываний в сложные, истинность которых вытекает из одной только их формы, а точнее — из одного только понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство         Л. з., открытых Аристотелем, — суть законы силлогизма. Позже были открыты и др. законы, и даже было установлено, что совокупность логических законов бесконечна. В некотором смысле «обозреть» эту совокупность удается с помощью различных формальных теорий логического рассуждения — так называемых логических исчислений, в которых интуитивное понятие «Л. з.» реализуется в точном понятии «общезначимой формулы» данного исчисления (см. Логика высказываний, Логика предикатов), что, в свою очередь, делает понятие «Л. з.» относительным. Однако типом логического исчисления полагаются одновременно и границы этой относительности. При этом тип исчисления, как правило, не является делом произвольного выбора, а диктуется (или подсказывается) «логикой вещей», о которых хотят рассуждать, а также нашей субъективной уверенностью в том или ином характере этой логики. Исчисления, основанные на одной и той же гипотезе о характере «логики вещей», являются эквивалентными в том смысле, что в них каталогизируются одни и те же логические законы. Напр., примеру, исчисления, основанные на гипотезе двузначности, несмотря на все их внешнее разнообразие, описывают один и тот же «мир» классических логических законов — мир тождественных истин (или тавтологий), издавна получивших философскую характеристику «вечных истин» или «истин во всех возможных мирах». Логикой вещей, отражением которой исторически явились логические законы так называемой интуиционистской логики, является логика умственных математических построений — «логика знания», а не «логика бытия».         Логические законы необходимо отличать от логических правил вывода. Первые представляют класс общезначимых выражений и формулируются в объектном языке исчисления. Вторые служат для описания фактов логического следования одних выражений из др., не обязательно общезначимых, и формулируются в метаязыке исчисления. В отличие от логических законов, правила вывода имеют вид предписаний и носят, по существу, нормативный характер. При построении исчислений без правил вывода обойтись нельзя, а без логических законов, в принципе, можно (именно так и поступают в исчислениях естественного вывода). Тем не менее изучение логических законов образует естественный исходный пункт логического анализа приемлемых («хороших») способов рассуждений (умозаключений), поскольку понятие «приемлемое» или «логически правильное» рассуждение уточняется через понятие «Л. з.».         В традиционной (школьной) логике термин «Л. з.» имел очень узкий смысл и применялся только к так называемым законам мышления — к закону тождества, закону непротиворечия, к закону исключенного третьего и к закону достаточного основания. Однако такая канонизация термина «Л. з.» в настоящее время является данью традиции и не отвечает действительному положению вещей. Т е м не менее эти законы можно принять в методологическом смысле как принципы (или постулаты) теоретического мышления. В этом случае закон тождества (lex identitatis) истолковывается как принцип постоянства, или принцип сохранности предметного и смыслового значений суждений (высказываний), в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). Закон непротиворечия (lex contradictionis) указывает на недопустимость одновременного утверждения (в рассуждении, в тексте или теории) двух суждений, из которых одно является логическим отрицанием другого. Закон исключенного третьего (lex exclusii tertii) утверждает, что нет ничего среднего (промежуточной оценки) между членами противоречивой пары (отсюда другое латинское название этого закона — tertium non datur). В методологическом плане этот закон выражает конструктивно неоправданную идею о разрешимости произвольного суждения (см. Разрешения проблема). Наконец, закон достаточного основания (lex rationis determinatis seu sufficientis) выражает методологическое требование обоснованности всякого знания, всякого суждения, которое мы хотели бы принять за изображение истинного (действительного) положения вещей. В этом смысле он применим не только к выводному знанию (в частности, к аксиомам и постулатам научных теорий), но и ко всей области фактических истин, не имеющих отношения к формальной логике. Не случайно Г. Лейбниц, который ввел этот закон в научный обиход, относил его, в первую очередь, не к логике, а ко всем событиям, которые случаются в мире.         ММ. Новоселов

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Энциклопедия эпистемологии и философии науки

ЗАКОН ЛОГИЧЕСКИЙ

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

В этом случае закон тождества (lex identitatis) истолковывается как принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). В языке логических исчислений указанная сохранность обычно выражается формулой А э А. Принятие закона тождества для суждения А не означает, вообще говоря, принятия самого А. Но если А принято, то закон тождества принимается с необходимостью для исчислений с общезначимой формулой А => (А => А). Для исчислений, включающих отрицание, это сведение абстракции постоянства суждения к принятию самого суждения имеет форму закона: (А => - (А => А)) => - А), т. е. если при допущении суждения для него отрицается закон тождества, то тем самым отрицается и само это суждение.

Закон противоречия (lex contradictionis) указывает на недопустимость одновременного утверждения (в рассуждении, в тексте или теории) двух суждений, из которых одно является логическим отрицанием другого, т. е. суждений вида А и —i A или их конъюнкции, или эквиваленции, или — в более широком смысле — утверждений о тождестве заведомо различных объектов, поскольку обычно правила логики таковы, что позволяют из противоречия выводить произвольные суждения, что обесценивает содержательный смысл умозаключений или теорий. Наличие противоречия в рассуждении (теории) создает парадоксальную ситуацию (см. Парадокс логический) и нередко указывает на несовместимость посылок, положенных в основу рассуждения (теории). Этим обстоятельством часто пользуются в косвенных доказательствах (см. Доказательство косвенное).

Закон исключенного третьего (lex exclusii tertii) на логическом языке записывается формулой A v-i A и утверждает, что нет ничего среднего (промежуточной оценки) между членами противоречивой пары (отсюда другое латинское название этого закона — tertium non dafur). В методологическом плане этот закон выражает конструктивно неоправданную идею о разрешимости (потенциально осуществимом указании на истинность или ложность) произвольного суждения (см. Разрешения проблема). В отличие от формулы, соответствующей закону противоречия, формула, соответствующая закону исключенного третьего, не выводима в интуиционистских и конструктивных исчислениях (см. Интуиционистская логика и Конструктивная логика), хотя и неопровержима в них. Дихотомия установленных истины и лжи неоспорима, но дихотомия утверждения и отрицания оспаривалась неоднократно. Наиболее последовательную критику закона исключенного третьего дал Л. Э. Я. Брауэр. В свете его критики этот закон следует рассматривать только как постулат (принцип) классической логики (подробнее см. Исключенного третьего закон).

Наконец, закон достаточного основания (lex rationis determinatis seu sufficientis) выражает методологическое требование обоснованности всякого знания, всякого суждения, которое мы хотели бы принять за отображение истинного (действительного) положения вещей. В этом смысле он применим не только к выводному знанию (в частности, к аксиомам и постулатам научных теорий), но и ко всей области фактических истин, не имеющих отношения к формальной логике. Не случайно Лейбниц, который ввел этот принцип в научный обиход, относил его в первую очередь не к логике, а ко всем событиям, которые случаются в мире.

M. M. Новоселов

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Новая философская энциклопедия

Найдено схем по теме ЗАКОН ЛОГИЧЕСКИЙ — 0

Найдено научныех статей по теме ЗАКОН ЛОГИЧЕСКИЙ — 0

Найдено книг по теме ЗАКОН ЛОГИЧЕСКИЙ — 0

Найдено презентаций по теме ЗАКОН ЛОГИЧЕСКИЙ — 0

Найдено рефератов по теме ЗАКОН ЛОГИЧЕСКИЙ — 0