КОНТЕКСТНАЯ ЗАВИСИМОСТЬ МАТЕМАТИЧЕСКИХ ПРЕДЛОЖЕНИЙ И ВЫБОР МЕЖДУ СЕМАНТИКАМИ
И.А. Гущин
Уральский гуманитарный институт, 620000, Екатеринбург, просп. Ленина, 51
gushchin.ilya@gmail.com
Ключевые слова: доказательство, семантика, прагматика, значение, обозримость, знание, эпистемический контекстуализм
Страницы: 161-168
Аннотация
В статье рассматривается применение предложенных О.А. Козыревой «семантики с агентом» и семантики «без агента» к математическим предложениям. В случае если удастся доказать, что математические предложения зависят от контекста, эти предложения будут нуждаться в семантической интерпретации наравне с другими контекстно зависимыми предложениями. Автор представляет интерпретацию математических предложений как зависящих от контекста через обращение к эпистемическому контекстуализму и эпистемологии компьютерных доказательств. Исходя из этой интерпретации, он высказывает ряд соображений в пользу того, что понимание семантики как «семантики с агентом» совместимо с тезисом о контекстной зависимости математических предложений, тогда как понимание семантики как «семантики без агента» для такой совместимости потребует дополнительной формализации прагматических факторов.
DOI: 10.15372/PS20220413 |
