Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2020 год, номер 4

МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО: ДЕДУКТИВНАЯ НОРМАТИВНОСТЬ И МНОГООБРАЗИЕ ПРАКТИКИ

А.В. Хлебалин
"Институт философии и права СО РАН, 630090, г. Новосибирск, ул. Николаева 8
sasha_khl@mail.ru"
Ключевые слова: дедуктивное доказательство, индукция, эксперимент, мыслительный эксперимент
Страницы: 43-52

Аннотация

В статье рассмотрено противопоставление нормативной функции идеала дедуктивного доказательства и многообразия практики математического исследования, включающего инактивные элементы. На примере анализа объяснительной функции доказательства показано, что ее реализация требует концептуального содержания доказательства, что не обеспечивается только выводом. Показано на примере исследований в области оснований математики, что реализация объяснительной функции обеспечивается сосуществованием и взаимодействием индуктивных и дедуктивных элементов математического исследования.

DOI: 10.15372/PS20200404
Скачать pdf-версию статьи



Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее
Отказаться Принять