- семантическое высказывание
- мат. semantical statement
Большой англо-русский и русско-английский словарь. 2001.
семантическое высказывание
Смотреть что такое "семантическое высказывание" в других словарях:
семантическое понятие истины — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… … Словарь терминов логики
истины семантическое понятие — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… … Словарь терминов логики
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
пропозициональная логика — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
интенсиональные контексты — ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ (от лат. intensio усиление) отличаются от стандартных экстенсиональных языков наличием особых предикатных знаков и операторов, напр. типа «верит, что...», «знает, что...», «ищет...», «необходимо, что...». В этих… … Энциклопедия эпистемологии и философии науки
Денотативное значение — Денотат (от лат. denotatum обозначенное), термин лингвистики и экстенсиональной логики, обозначающий 1) экстенсионал, 2) десигнат, 3) референт и 4) семантическое ядро значения. Содержание 1 Денотат как экстенсионал 2 Денотат как десигнат … Википедия
логическое следование — отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов выводимо … Словарь терминов логики
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Две догмы эмпиризма — «ДВЕ ДОГМЫ ЭМПИРИЗМА» статья американского логика и философа У Куайна, знаменующая переход в его творчестве от чисто логических исследований в области обоснования математики и теории множеств к созданию собственной оригинальной… … Энциклопедия эпистемологии и философии науки
