Синтаксис, истина, понимание, математика

[deep_econom]

Является ли концепция истины А. Тарского философской теорией?
Целищев Виталий Валентинович
https://cyberleninka.ru/article/n/yavlyaetsya-li-kontseptsiya-istiny-a-tarskogo-filosofskoy-teoriey

Доклад Виталия Целищева "Эпистемология математического доказательства"
https://youtu.be/Kt6rfNadKns

Целищев КОНЦЕПЦИЯ ПОНИМАНИЯ В МАТЕМАТИЧЕСКОМ ДОКАЗАТЕЛЬСТВЕ
https://cyberleninka.ru/article/n/kontseptsiya-ponimaniya-v-matematicheskom-dokazatelstve

ps
Формальные и неформальные доказательства в математике: схождения и расхождения
Родин
https://philomatica.org/wp-content/uploads/2022/02/vvz.pdf

https://ncatlab.org/nlab/show/semantics
1. Idea
Semantics is the interpretation of the syntax of a theory in a model.

Семантика - это интерпретация синтаксиса теории в модели.
Правильно будет так.
Семантика - это интерпретация синтаксиса теории в синтаксисе модели.
Семантика - это синтаксический процесс исполнения синтаксисом интерпретации синтаксиса теории в синтаксисе модели.

В формальной логике под синтаксисом понимают формальную спецификацию (языка) теории - в отличие от семантики.
https://ncatlab.org/nlab/show/syntax

ps2
Семантика
1. [Естественный язык] Значение слова, фразы или текста. ( https://www.lexico.com/definition/semantics )
2. [Логика] Семантика логики есть ее формальная теория истины.
3. [Семиотика] Отношение знака языка к действительности; в отличие от его отношения к другим знакам (синтаксис) и к использованию знака (прагматика).
https://wiki.iaoa.org/index.php/Edu:Semantics