Модель Семантическая

150

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

Значения в других словарях
Модальность

(от лат., modus — мера, способ) — оценка выска­зывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «до­казуемо», «опровержимо», «обязательно», «разрешимо» и т. П. О предмете S можно просто сказать, что он имеет свойство Р. Но можно, сверх того, уточнить, является ли эта связь S и Р необ­ходимой или же она случайна, всегда ли S будет Р или нет, хорошо ли, что S есть Р, или плохо, доказано ли, что S есть Р, или это только предполагае..

Модель

(от лат. Modulus — мера, образец, норма) — а) в самом широком смысле — любой мысленный или знаковый образ модели­руемого объекта (оригинала). К их числу относятся гносеологиче­ские образы (воспроизведение, отображение исследуемого объек­та или системы объектов в виде научных описаний, теорий, фор­мул, систем упражнений и т. П.), схемы, чертежи, графики, планы, карты и т. Д. Б) специально создаваемый или специально подби­раемый объект, воспроизводящий характеристики изучаемого объекта. Большую ро..

Модус

(лат. Modus - мера, способ, образ, вид) - философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и тех связей, в которых он находится. М. Противопоставляется атрибу­ту— неотъемлемому свойству предмета, без которого он не может ни существовать, ни мыслиться. В логике М. - разновидность некоторой общей схемы рассуж­дения. Чаще всего говорят о М., или формах, силлогизма (пра­вильных и неправильных). К М., скажем, гипотетическ..

Модус Понендо Толленс

(лат. Modus ponendo tollens) - тер­мин средневековой логики, обозначающий следующие схемы рас­суждения. Здесь A и В — некоторые высказывания. «либо A, либо » и «A» — посылки. «неверно, что B» («не-») — заключение. Горизонталь­ная черта стоит вместо слова «следовательно». Другая запись. Либо A, либо В. А. Следовательно, не-В. Либо A, либо В. В. Следовательно, не-А. Посредством этих схем от утверждения двух взаимоисключа­ющих альтернатив и установления того, какая из них имеет мес­то, осуществляет..

Дополнительный поиск Модель Семантическая Модель Семантическая

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Модель Семантическая" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Модель Семантическая, различные варианты толкований, скрытый смысл.

Первая буква "М". Общая длина 20 символа