IF-ЛОГИКА В СИСТЕМЕ МАТЕМАТИЧЕСКОГО ТЕОРЕТИЗИРОВАНИЯ
В.В. Целищев1,2
1Новосибирский национальный исследовательский государственный университет, 630090, Новосибирск, ул. Пирогова, 2 leitval@gmail.com 2Институт философии и права СО РАН, 630090, Новосибирск, ул. Николаева, 8
Ключевые слова: IF-логика, логика первого порядка, равномерная непрерывность, квантор, теоретико-игровая семантика, IF-logic, first-order logic, uniform continuity, quantifier, game-theoretic semantics
Страницы: 18-29 Подраздел: Проблемы логики и методологии науки
Аннотация
Статья посвящена сопоставлению выразительных средств стандартной логики первого порядка и IF-логики как логики математического дискурса. В качестве примера рассмотрена проблема равномерной непрерывности в связи с теоремой Коши. Показано, что ограничения, свойственные стандартной логике первого порядка, преодолеваются в IF-логике. Продемонстрирована ошибочность критики о недостаточности IF-логики для математического теоретизирования.
DOI: 10.15372/PS20170102 |