Про семантику. ИМХО.
Про семантику. ИМХО.
(есть только синтаксис, семантики нет)
Словом семантика по началу заменяли слово смысл и само понятие смысла.
А поскольку непонятно что такое смысл, то все было размыто, а рассуждения про семантику были попытками формализации смысла.
В пользу этого говорит следующее.
1. https://ru.wikipedia.org/wiki/Семантика
семантика - знак, обозначающее, символ
(в греческом языке: semantikos - выражающий значение от от sema - знак, символ, знамение)
2. СЕМАНТИКА - дисциплина, изучающая знаки и знаковые системы с точки зрения их смысла;
...
семантика рассматривает знаки в их отношении к обозначаемым (не имеющими знаковой природы) объектам...
https://iphlib.ru/library/collection/newphilenc/document/HASH2f2794c678afbd2def7e2f
3. Особенно это.
Сема́нтика в программировании - дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей.
...
Семантика языка - это смысловое значение слов. В программировании - начальное смысловое значение операторов, основных конструкций языка и т. п.
https://ru.wikipedia.org/wiki/Семантика_(программирование)
4. А также наличие разных типов семантик подтверждает, что это попытка формализовать смысл.
Операционная семантика
Аксиоматическая семантика
Денотационная семантика
Интерпретационная семантика
Трансляционная семантика
Трансформационная семантика
5.
https://ru.wikipedia.org/wiki/Семантика_(значения)
======
ps
Синтаксический сахар, беседа в телеге.
https://deep-econom.livejournal.com/927580.html
ps2
sergey shishkin, [26.03.2022 11:40]
"Словом семантика по началу заменяли слово смысл" ... исторически и смысл понимали как разобраться с исходными позициями ... в отношении терминов это была буквально этимология ... генезис понятий ... а сам термин со штаммом СЕМА ещё и явно указывает на это "генетическое" типа "семени" (нем.), "семьи" (рус.) ... А отсюда уже и до РЕФЕРЕНЦИИ, РЕЛЯЦИИ, КОННЕКЦИИ, СТРУКТУРЫ один шаг. И та же СЕМИОТИКА называлась сначала СЕМИОЛОГИЕЙ ... и можем заметить, что "семантика" постоянно сопровождает логику в своих основаниях или даже наоборот. Наконец, СЕМАНТИКА во всех смыслах вяжется с КОНЦЕПТУАЛИЗАЦИЕЙ, то есть и "пониманием" ... А мы вот вроде пришли к мнению, что это, фактически, о МОДЕЛЯХ. И пусть все идут лесом кто с такой позицией не согласен! И, конечно, на формальном уровне, это тот же СИНТАКСИС. 😊
--
(есть только синтаксис, семантики нет)
Словом семантика по началу заменяли слово смысл и само понятие смысла.
А поскольку непонятно что такое смысл, то все было размыто, а рассуждения про семантику были попытками формализации смысла.
В пользу этого говорит следующее.
1. https://ru.wikipedia.org/wiki/Семантика
семантика - знак, обозначающее, символ
(в греческом языке: semantikos - выражающий значение от от sema - знак, символ, знамение)
2. СЕМАНТИКА - дисциплина, изучающая знаки и знаковые системы с точки зрения их смысла;
...
семантика рассматривает знаки в их отношении к обозначаемым (не имеющими знаковой природы) объектам...
https://iphlib.ru/library/collection/newphilenc/document/HASH2f2794c678afbd2def7e2f
3. Особенно это.
Сема́нтика в программировании - дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей.
...
Семантика языка - это смысловое значение слов. В программировании - начальное смысловое значение операторов, основных конструкций языка и т. п.
https://ru.wikipedia.org/wiki/Семантика_(программирование)
4. А также наличие разных типов семантик подтверждает, что это попытка формализовать смысл.
Операционная семантика
Аксиоматическая семантика
Денотационная семантика
Интерпретационная семантика
Трансляционная семантика
Трансформационная семантика
5.
https://ru.wikipedia.org/wiki/Семантика_(значения)
======
ps
Синтаксический сахар, беседа в телеге.
https://deep-econom.livejournal.com/927580.html
ps2
sergey shishkin, [26.03.2022 11:40]
"Словом семантика по началу заменяли слово смысл" ... исторически и смысл понимали как разобраться с исходными позициями ... в отношении терминов это была буквально этимология ... генезис понятий ... а сам термин со штаммом СЕМА ещё и явно указывает на это "генетическое" типа "семени" (нем.), "семьи" (рус.) ... А отсюда уже и до РЕФЕРЕНЦИИ, РЕЛЯЦИИ, КОННЕКЦИИ, СТРУКТУРЫ один шаг. И та же СЕМИОТИКА называлась сначала СЕМИОЛОГИЕЙ ... и можем заметить, что "семантика" постоянно сопровождает логику в своих основаниях или даже наоборот. Наконец, СЕМАНТИКА во всех смыслах вяжется с КОНЦЕПТУАЛИЗАЦИЕЙ, то есть и "пониманием" ... А мы вот вроде пришли к мнению, что это, фактически, о МОДЕЛЯХ. И пусть все идут лесом кто с такой позицией не согласен! И, конечно, на формальном уровне, это тот же СИНТАКСИС. 😊
--