САМОРЕФЛЕКСИЯ НЕПРОТИВОРЕЧИВОСТИ В БАЗИСНОЙ ЛОГИКЕ ФОРМАЛИЗОВАННОГО МАТЕМАТИЧЕСКОГО ТЕОРЕТИЗИРОВАНИЯ
В.В. Целищев, А.В. Хлебалин
Институт философии и права СО РАН, 630090, Новосибирск, ул. Николаева, 8 leitval@gmail.com
Ключевые слова: саморефлексия, формальные системы, геделево предложение, самореференция, self-reflection, formal systems, GГ¶del-sentence, self-reference
Страницы: 77-91
Аннотация
Статья посвящена проблеме саморефлексии формальных систем. Традиционное убеждение в том, что в отличие от человека формальная система или компьютер не способны к саморефлексии, анализируется через экспликацию понятия «саморефлексия» применительно к формальным системам. Показано, что логика доказательства позволяет средствами формальной системы выразить свойство саморефлексии системы.
DOI: 10.15372/PS20190304 |