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

Логическая семантика (НФЭ, 2010)

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

Логическая семантика (Фролов, 1991)

ЛОГИЧЕСКАЯ СЕМАНТИКА — отдел логики, изучающий значение выражений языка; в более точном смысле раздел металогики, изучающий интерпретации (Интерпретация и модель) логических исчислений (Формализованный язык). Основные понятия Логической семантики можно разделить на две группы: 1) входящие в так называемую теорию обозначения, применение которых к выражениям данного языка существенным образом зависит от выбора интерпретации (понятия истинности, обозначения, выполнимости, именования (Имя), экстенсиональности, синтетической истинности и др.); 2) принадлежащие к т. наз. теории смысла (значение и смысл, синонимия, аналитическая истинность и др.) и определяющиеся относительно всех возможных интерпретаций данного языка...

Логическая семантика (Кузнецов, 2007)

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

Subscribe to RSS - Логическая семантика
Яндекс.Метрика