Кто это
Грэм Прист (род. 1948, Лондон) — британско-австралийский философ и логик, профессор Городского университета Нью-Йорка (CUNY) и Мельбурнского университета. Главный представитель диалетеизма и один из ведущих исследователей паранепротиворечивой логики. Много пишет о буддийской философии и логике.
Диалетическая система
Диалетеизм — тезис о том, что некоторые противоречия истинны: существуют утверждения A, для которых истинны и A, и не-A (такие пары Прист называет диалетейями). Главный пример — парадокс лжеца: предложение «это предложение ложно» Прист предлагает считать одновременно истинным и ложным, а не искать способ запретить его, как это делает иерархия языков Тарского.
Чтобы с этим можно было жить, нужна логика, в которой противоречие не разрушает систему. Прист строит Логику парадокса (LP) (статья «The Logic of Paradox», 1979):
- у высказывания три значения: только истинно, только ложно, и истинно, и ложно;
- «выделенными» (годными для вывода) считаются значения «истинно» и «и истинно, и ложно»;
- закон взрыва не действует: из A и не-A не следует произвольное B (ex contradictione quodlibet отменён). Логика паранепротиворечива: локальное противоречие не делает систему тривиальной, где выводимо всё.
Отсюда важный для семинара сдвиг: вместо требования непротиворечивости ставится требование нетривиальности. Система может содержать противоречие и всё же различать выводимое и невыводимое. Тогда язык может содержать собственный предикат истины и рассуждать о себе, расплачиваясь за это истинными противоречиями, но не распадаясь.
Прист связывает диалетеизм с буддийской чатушкоти (четырёхчленной логикой: истинно, ложно, и то и другое, ни то ни другое) у Нагарджуны и, шире, с восточной традицией, которая не боится противоречия.
Основные работы: In Contradiction (1987), Beyond the Limits of Thought (1995), An Introduction to Non-Classical Logic (2001), The Fifth Corner of Four (2018).
Роль в аргументации Хофштадтера
В ГЭБ Прист не упоминается. Его система — альтернативный ответ на те же самореферентные парадоксы, на которых построены теоремы Гёделя и Тарского: не запрещать «странную петлю», а научиться в ней рассуждать.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| — | в ГЭБ не упоминается; введён на семинаре как контрапункт к Тарскому |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Graham Priest; Stanford Encyclopedia of Philosophy: Dialetheism; SEP: Paraconsistent Logic; G. Priest, «The Logic of Paradox», Journal of Philosophical Logic 8 (1979)