ЛОГИЧЕСКИЙ И МАТЕМАТИЧЕСКИЙ ВЫВОД: СИНТАКСИС И СЕМАНТИКА ДОКАЗАТЕЛЬСТВА
Опубликовано чт, 09/05/2024 - 00:08 пользователем Гость (не проверено)Рассматривается соотношение математического и логического вывода в математике. Анализируется онтологических подход к объяснению неустранимости семантического содержания математического вывода. Обосновывается, что такой подход влечет серьезные метафизические обязательства, на основании чего делается вывод о перспективности эпистемологического подхода в объяснении природы различия формально логического и математического вывода.