deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

к вопросу о семантике

В связи с постом
Семантика языков программирования
https://metasemantics.livejournal.com/16379.html

Могу ошибаться. Дискуссионно.
---
Видимо надо вводить более подробную классификацию и/или уточнение понятия семантика.

1. семантика как процесс
2. семантика как описание процесса
3. семантика как результат процесса (значение)
4. семантика как описание результата процесса (значения) т.е. обозначение результата.

Может еще что-то надо добавить.

1. семантика как процесс
В проц попала команда, проц ее исполнил. Например, изменил регистр.
Было осуществлено физическое действие, был произведен физ.процесс.

2. семантика как описание процесса
это семантическая функция/отображение абстрактного символа на другой абстрактный символ
f(x)=y, f:x->y, f:A->B

3. семантика как результат процесса (значение)

символ/объект "y" есть семантика символа "x"
Множество B это множество объектов для формальных абстрактных символов из A.
т.е. символы из A обозначают символы/объекты/процессы из B,
т.е. символы из A являются названиями/именами/представителями символов/объектов/процессов из B.
---
============
https://ru.wikipedia.org/wiki/Семантика_(программирование)

Операционная семантика
Аксиоматическая семантика
Денотационная семантика
Интерпретационная семантика
Трансляционная семантика
Трансформационная семантика
Трансформационная семантика является основой метапрограммирования.

--
https://ru.wikipedia.org/wiki/Формальная_семантика

Теоретико-модельная семантика
Теоретико-доказательная семантика
Семантика значений истинности
Теоретико-игровая семантика
Вероятностная семантика

Основными современными подходами к семантике для формальных языков являются:

Теоретико-модельная семантика, архетип семантики теории истинности Альфреда Тарского, основанной на его Т-схеме, является одной из ключевых концепций модельной теории. Это один из наиболее распространённых подходов. Основная его идея в том, что смысл различных частей утверждения задаются всевозможными способами рекурсивного задания группы функций интерпретации, отображающих предложения на некоторые заранее заданные математические множества. Так, интерпретация логики предикатов первого порядка задаётся отображением термов в универсум, и отображение предикатов в значения истинности «истина» и «ложь». На модельно-теоретической семантике основан подход в теории смысла под названием семантика условной Истины, который впервые был предложен Дональдом Девидсоном. Семантика Крипке по сути вносит некоторые дополнения к семантике Тарского.
...
---
https://iphlib.ru/library/collection/newphilenc/document/HASH2f2794c678afbd2def7e2f
СЕМАНТИКА – дисциплина, изучающая знаки и знаковые системы с точки зрения их смысла; как правило, рассматривается в рамках семиотики (науки о знаковых системах) совместно с двумя другими ее разделами: синтактикой и прагматикой. Первая из них (моё:синтактика) изучает отношения знаков между собой (синтаксис), вторая (моё:прагматика) – отношения между знаками и производящими и интерпретирующими их субъектами, тогда как семантика рассматривает знаки в их отношении к обозначаемым (не имеющими знаковой природы) объектам.
==============

Мои теории наверное правильно назвать нечто типа:
формально-модельная семантика
модельная семантика
синтаксическая семантика.

Мне больше всего наверное нравится "синтаксическая семантика".
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 6 comments