Теория пересмотра является подполем философской логики . Он состоит из общей теории определений , включая (но не ограничиваясь) круговые и взаимозависимые понятия . Круговое определение — это определение, в котором определяемое понятие встречается в определяющем его утверждении — например, определение G как синего и слева от G. Теория пересмотра обеспечивает формальную семантику для определенных выражений, а системы формальных доказательств изучают логика циклических выражений.
Определения важны в философии и логике. Хотя круговые определения считались логически неправильными или непоследовательными, теория пересмотра демонстрирует, что они имеют смысл и могут быть изучены с помощью математической и философской логики. Он использовался для кругового анализа философских и логических концепций.
Теория ревизии представляет собой обобщение теорий ревизии истины , разработанных Анилом Гуптой , Хансом Герцбергером и Нуэлем Белнапом . [1] В теориях пересмотра Гупты и Герцбергера предполагается, что пересмотр отражает интуитивную оценку предложений, в которых используется предикат истинности. Некоторые предложения стабильны в своих оценках, например, предложение, говорящее правду,
Если предположить, что говорящий правду верен, то он истинен, а если предположить, что он лжет, то он ложен. Ни один из статусов не изменится. С другой стороны, некоторые предложения колеблются, например, лжец ,
При допущении, что лжец правдив, можно показать, что оно ложно, а при допущении, что оно ложно, можно показать, что оно истинно. Эта нестабильность отражается в последовательности ревизий лжеца.
Обобщение круговых определений было разработано Гуптой в сотрудничестве с Белнапом. Их книга The Revision Theory of Truth представляет собой углубленное развитие теории круговых определений, а также обзор и критическое обсуждение философских взглядов на истину и отношения между истиной и определением.