Смотреть больше слов в «Современном энциклопедическом словаре»
общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos'e как предпосылке об... смотреть
ЛОГИЧЕСКИЙ ЗАКОН или Закон логики, — выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предме... смотреть
ЛОГИЧЕСКИЙ ЗАКОН — общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреч. понятию о логосе как о... смотреть
- выражение, содержащее только логические константы и переменные и явля-ющееся истинным в любой (непустой) предметной области. Примером Л. з. может сл... смотреть
термин, применяемый в широком смысле для обозначения любой достаточно «общепринятой» нормы (закономерности) правильного рассуждения. В формализов. языках совр. логики (исчислениях) Л. з. соответствуют тождественноистинные (общезначимые) формулы, в т. ч. аксиомы этих исчислений, а также постулируемые для них правила вывода. Из существования различных систем аксиом и правил вывода для логич. (и логико-математич.) исчислений следует, что понятие Л, з. относительно; но оно не является произвольным, поскольку выбор конкретной аксиоматич. системы обусловлен рядом объективных закономерностей природы и мышления. В узком смысле слова Л. з. называются, следуя антич. и ср.-век. традиции, следующий законы мышления: тождества («всякая сущность совпадает сама с собой»), противоречия («никакое суждение не может одновременно быть истинным и ложным»), исключённого третьего («для произвольного высказывания либо оно само, либо его отрицание истинно») и достаточного основания («всякое принимаемое суждение должно быть надлежащим образом обосновано»). Согласно совр. представлениям, принципы тождества и достаточного основания принадлежат скорее не логике, а теории познания и методологии науки. Принципы исключённого третьего и противоречия относятся собственно к логике, где играют, однако, различную роль: если «общепринятый» для традиц. логики принцип исключённого третьего для ряда логич. исчислений отвергается (см. Интуиционизм, Конструктивная логика), то принцип противоречия не только доказуем в любой содержательно-интерпретируемой логич. системе, но и лежит фактически в основе всей совр. формальной логики (см. Непротиворечивость).... смотреть
в математической логике - логическая формула, к-рая является схемой истинных предложений, т. е. превращается в истинное высказывание при любой интерпр... смотреть
ЛОГИЧЕСКИЙ ЗАКОН - название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических операций и по существу не связана с фактической истинностью "наполняющих" ее высказываний.<br>... смотреть
ЛОГИЧЕСКИЙ ЗАКОН , название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических операций и по существу не связана с фактической истинностью "наполняющих" ее высказываний.... смотреть
ЛОГИЧЕСКИЙ ЗАКОН, название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических операций и по существу не связана с фактической истинностью "наполняющих" ее высказываний.... смотреть
- название законов, образующих основу логическойдедукции; схема логической связи высказываний, выражаемая общезначимойформулой логики (аксиомой или теоремой), убедительность которой вытекаетиз одного только истолкования входящих в нее логических операций и посуществу не связана с фактической истинностью ""наполняющих"" еевысказываний.... смотреть
legge logica
логі́чний зако́н
логічний закон