ФОРМАЛЬНЫЕ СРЕДСТВА В МАТЕМАТИКЕ И КОНЦЕПЦИЯ ПОНИМАНИЯ
В.В. Целищев, А.В. Хлебалин
Институт философии и права СО РАН, 630090, г. Новосибирск, ул. Николаева 8 leitval@gmail.com
Ключевые слова: формализованный язык, естественный язык, понимание, семантика, передоказательства теорем, formalized language, natural language, understanding, semantics, reproving of theorems
Страницы: 45-58
Аннотация
Рассматривается популярное в философии математики направление, согласно которому семантические и когнитивные характеристики математического знания могут быть адекватно объяснены посредством анализа математической практики, в частности естественного языка, в рамках которого изначально совершается математическое мышление. На примере анализа концепции Т. Хофвебера, противопоставляющей семантические и синтаксические характеристики естественного и формализованного языков и отводящей последнему исключительно репрезентирующую роль, показана ограниченность такого подхода элементарными разделами арифметики и несостоятельность преуменьшения роли формализованного языка в развитии математического знания.
DOI: 10.15372/PS20200204 |