Логический Синтаксис

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

ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ - течение неопозитивизма, возникшее в 1920-х гг. (Венский кружок). Пытался сочетать эмпиризм, основывающийся на принципе верификации, с методом логического анализа научного знания. Со 2-й пол. 30-х гг. Стал известен под названием логического эмпиризма. С 60-х гг. Не существует как самостоятельное течение. См. Также Аналитическая философия.. ..

ЛОГИЧЕСКИЙ ЭЛЕМЕНТ простейшая структурная единица ЭВМ - выполняющая определенную логическую операцию над двоичными переменными. Реализуется обычно на электронных приборах (полупроводниковых диодах, транзисторах) и резисторах либо в виде интегральной микросхемы. Имеет несколько входов для приема сигналов, соответствующих исходным переменным, и выход для выдачи сигнала, соответствующего результату операций.. ..

ЛОГИЧЕСКОЕ исчисление - исчисление, символы и правила которого могут быть интерпретированы в терминах логики.. ..

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

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