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

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

ЛОГИЧЕСКАЯ операция - операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.. ..

ЛОГИЧЕСКАЯ ОШИБКА - вызывается нарушением правил или законов логики. Признак формальной несостоятельности содержащих ее определений, рассуждений, выводов и доказательств.. ..

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

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

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

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