Словари

Главная / Словарь логики / М / Модель Семантическая

Что такое Модель Семантическая? Значение и толкование слова model semanticheskaja, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Модус - (лат. modus - мера, способ, образ, вид)  - философский термин, обозначающий свойство предмета,...
Модус Понендо Толленс - (лат. modus ponendo tollens)  - тер­мин средневековой логики, обозначающий следующие схемы...
Модус Поненс - (лат. modus ponens)  — термин средневековой логики, обозначающий правило вывода и соответствующий...
Модус Толлендо Поненс - (лат. modus tollendo ponens)  - тер­мин средневековой логики, обозначающий разделительно-кате-...
Модус Толленс - (лат. modus tollens)  - термин средневековой логики, обозначающий следующую схему рассуждения:...
Мышление -  — активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах...