Логический закон - meaning and definition. What is Логический закон
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is Логический закон - definition

Логический элемент
  • Схема элемента 3И-НЕ с диодами и транзисторами Шоттки. Серия микросхем 74LS (К555).
  • И-НЕ]] ТТЛ.

ЛОГИЧЕСКИЙ ЗАКОН      
название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических операций и по существу не связана с фактической истинностью "наполняющих" ее высказываний.
Логический закон      

общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos'e как предпосылке объективной ("природной") правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля (См. Аристотель), положившего начало систематическому описанию и каталогизации таких схем логических связей произвольных элементарных высказываний в сложные высказывания, убедительность (общезначимость) которых вытекает из одной только их формы, а точнее - из одного только правильного понимания смысла логических связей, безотносительно к истинностному значению (См. Истинностное значение) элементарных высказываний. Большинство Л. з., открытых Аристотелем, это - законы Силлогизма. Позже были открыты и другие законы и даже установлено, что множество Л. з. бесконечно. В некотором смысле обозреть это бесконечное множество Л. з. стало возможным благодаря различного типа формальным теориям логического рассуждения - т. н. логическим формализмам, или логическим исчислениям (См. Логическое исчисление), в которых Л. з. выражаются определённого вида формулами и определяются - каждый по отношению к "своему" исчислению - выводимыми формулами данного вида (т. н. "общезначимыми формулами", или теоремами исчислений, см. Логика). Существующее многообразие логических исчислений естественно порождает идею относительности Л. з. Однако типом логического исчисления полагаются одновременно и границы этой относительности, поскольку тип исчисления не является исключительно делом произвольного выбора, а диктуется (или подсказывается) "логикой вещей", о которых хотят рассуждать, а также, в известном смысле, субъективной уверенностью в том или ином характере этой логики. Все исчисления, основанные на одной и той же гипотезе о характере "логики вещей", являются эквивалентными в том смысле, что они описывают ("порождают") одни и те же Л. з. К примеру, исчисления, основанные на Двузначности принципе, т. н. исчисления классической логики, несмотря на всё их "внешнее" разнообразие, описывают один и тот же "мир" классический Л. з. - тождественных истин, которые издавна получили общепринятую онтологическую философскую характеристику "вечных истин", или "истин во всех возможных мирах". Л. з. интуиционистской логики (См. Интуиционистская логика) никакой общепринятой онтологической интерпретации пока не получили. "Логикой вещей", отражением которой они исторически явились, была логика умственных математических построений - логика "знания", а не логика "бытия".

Изучение Л. з. образует естественный исходный пункт логического анализа приемлемых ("хороших") способов рассуждений (умозаключений), поскольку само понятие "приемлемое, или логически правильное, рассуждение" уточняется через понятие "Л. з.". Связь логически правильных рассуждений с Л. з. выражается в логике т. н. теоремой о дедукции, фиксирующей ту, замеченную ещё стоиками, особую роль, которую Л. з. играют при обосновании или проверке наших умозаключений: относительно любого утверждения о выводимости заключения В из посылок А1, А2, ..., An вопрос о его истинности решается разысканием среди Л. з. высказывания A1⊃(A2⊃)(... ⊃(An⊃B)..)), где ⊃ выражает логический союз "если..., то...". Указанная связь Л. з. с умозаключениями имеет общенаучное значение и выходит далеко за пределы собственно логики, обеспечивая общий метод формального доказательства средствами логики (см. Аксиоматический метод).

М. М. Новосёлов.

Термин "Л. з." применялся в традиционной логике по отношению к т. н. "законам мышления": закону тождества ("всякая сущность совпадает сама с собой"), закону противоречия ("никакое суждение не может одновременно быть истинным и ложным"), закону исключённого третьего ("для произвольного высказывания либо оно само, либо его отрицание истинно") и закону достаточного основания ("всякое принимаемое суждение должно быть надлежащим образом обосновано"). Первый из перечисленных принципов (термин "закон" здесь вообще представляется неуместным) есть важная предпосылка рассуждений, относящаяся, однако, не к логике, а к онтологии (См. Онтология) и к теории познания (См. Теория познания) и к тому же применимая всякий раз в точно оговорённых пределах; последний принцип также не относится к логике, а имеет отчётливо выраженный методологический характер. Исключённого третьего принцип действительно принадлежит логике, но не во всякой логической системе соответствующая формула (А﹀⌉ А) общезначима (см. Математический интуиционизм, Конструктивное направление в математике и логике). И лишь принцип противоречия (в современной логической символике: ⌉ (А&⌉ А) представляет собой утверждение, не только доказуемое в любой логической системе, но и лежащее в некотором смысле в основе всей современной формальной логики.

Ю. А. Гастев.

Лит. см. при ст. Логика.

Закон (наука)         
ВЕРБАЛЬНОЕ И/ИЛИ МАТЕМАТИЧЕСКИ ВЫРАЖЕННОЕ УТВЕРЖДЕНИЕ, ИМЕЮЩЕЕ ДОКАЗАТЕЛЬСТВО (В ОТЛИЧИЕ ОТ АКСИОМЫ), КОТОРОЕ ОПИСЫВАЕТ СООТНОШЕНИЯ, СВЯЗ
Эмпирический закон; Научный закон; Закон природы; Законы природы; Закон науки
Зако́н — утверждение, выраженное словесно или математически и имеющее, в отличие от аксиомы, доказательство, описывающее соотношения, связи между различными научными понятиями. Закон предлагается в качестве объяснения фактов и признаётся на определённом этапе научным сообществом, согласующимся с ними. Непроверенное научное утверждение, предположение или догадку называют гипотезой.

Wikipedia

Логические элементы

Логические элементы — устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого — «1» и низкого — «0» уровней в двоичной логике, последовательности «0», «1» и «2» в троичной логике, последовательности «0», «1», «2», «3», «4», «5», «6», «7», «8» и «9» — в десятичной). Физически логические элементы могут быть выполнены механическими, электромеханическими (на электромагнитных реле), электронными (в частности, на диодах или транзисторах), пневматическими, гидравлическими, оптическими и другими.

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

Логические элементы выполняют логическую функцию (операцию) над входными сигналами (операндами, данными).

Логических функций и соответствующих им логических элементов всего существует x x n m {\displaystyle x^{x^{n}\cdot m}} , где x {\displaystyle x}  — основание системы счисления, n {\displaystyle n}  — число входов (аргументов), m {\displaystyle m}  — число выходов; таким образом, количество теоретически возможных логических элементов бесконечно. Поэтому в данной статье рассматриваются только простейшие, главные логические элементы.

Всего существует 2 2 2 1 = 2 4 = 16 {\displaystyle 2^{2^{2}\cdot 1}=2^{4}=16} двухвходовых двоичных логических элементов и 2 2 3 1 = 2 8 = 256 {\displaystyle 2^{2^{3}\cdot 1}=2^{8}=256} трёхвходовых двоичных логических элементов (и соответствующих булевых функций). Аналогично, для троичной логики возможны 19 683 двухвходовых и 7 625 597 484 987 трёхвходовых логических элементов.

What is ЛОГИЧЕСКИЙ ЗАКОН - meaning and definition