ИСТИННОСТЬ ГЕДЕЛЕВА ПРЕДЛОЖЕНИЯ: ВНУТРЕННИЙ И ВНЕШНИЙ ВОПРОСЫ
В.В. Целищев
Институт философии и права СО РАН, Новосибирск director@philosophy.nsc.ru
Ключевые слова: Гедель, истина, классификация
Страницы: 16-38 Подраздел: Проблемы логики и методологии науки
Аннотация
Статья посвящена экспликации понятия истинности геделева предложения в доказательстве первой теоремы Геделя о неполноте. Рассмотрено несколько классификаций в установлении истинности геделева предложения. Показано, что различие в трактовках этого вопроса, предлагаемых работающими математиками и философами математики, соответствует карнаповскому различению внутренних и внешних вопросов.
|