Парадокс Ябло и circulus vitiosus: зачем лгать о себе самом, когда можно лгать обо всех остальных? | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2019. № 50. DOI: 10.17223/1998863X/50/23

Парадокс Ябло и circulus vitiosus: зачем лгать о себе самом, когда можно лгать обо всех остальных?

Статья является критической репликой на исследование Евгения Борисова, в котором рассматриваются логическая структура и значение бесконечных семантических парадоксов (в частности, парадокса Ябло). Согласно его взглядам, строгая формализация бесконечной последовательности предложений Ябло требует использования содержащих циркулярность дескрипций. Однако наличие таких дескрипций не является надежным свидетельством циркулярности самого этого парадокса. Альтернативой таким скептическим взглядам может стать дилеммический аргумент, согласно которому парадокс Ябло либо содержит в себе circulus vitiosus, либо не является примером подлинного семантического парадокса.

Yablo's Paradox and Circulus Vitiosus: Why Lie about Yourself When You Can Lie About Everyone Else?.pdf E pur si rotondo! Галилео Галилей [парафраз] 1. Циркулярность = парадоксальность? Семантические парадоксы принято связывать с присутствием circulus vi-tiosus [1. P. 32; 2. С. 11-12; 3. С. 107-108]. Но в 1993 г. Стивен Ябло предложил новый семантический парадокс [4]: (Y1): Yn > 1 не являются истинными. (Y2): Yn > 2 не являются истинными. (Y3): Yn > 3 не являются истинными. Оригинальная форма парадокса Ябло привлекла к себе внимание и стала эпицентром логико-философских дискуссий. Отдельные линии этих дискуссий (полемика Приста-Ябло-Буэно-Коливана, полемика Соренсена-Билла-Буэно-Коливана, полемика Приста-Кетланда-Кука), суммируемые в трех компактных вопросах-дилеммах: (i) Существуют ли, помимо универсальных (атрибутивных) дескрипций, какие-либо иные средства фиксации бесконечной последовательности предложений Yю (по крайней мере для таких конечных существ, как мы)? (ii) Содержит ли любая такая универсальная (атрибутивная) дескрипция циркулярность? (iii) Является ли структура, сгенерированная при помощи циркулярных дескрипций, циркулярной? - сплетаются воедино в одном основном: (iv) Является ли бесконечная последовательность предложений Yffl примером логической структуры, которая содержит в себе циркулярность? В хитросплетениях этих дискуссий и пытается разобраться в своем исследовании Евгений Борисов. 2. Ябло х (Прист + Борисов) = циркулярность В 1997 г. Грэхам Прист высказал сомнение в том, что парадокс Ябло не содержит в себе никаких циркулярных структур. Аргумент Приста (П) основан на требовании единообразной репрезентации содержания предложений парадокса Ябло, что можно сделать только при помощи предиката выполнимости в форме Y(n, s*) ^ Vk > n, ~T(Yk), где s* является таким предикатом, что 'ни одно число больше x не выполняет этот предикат', или s* = Vk > n, ~Y(k, s*) [5. P. 237-238]. Использование предиката s* создает фиксированную точку вида Yn = ^(и)"52 для любого числа n. Проще говоря, функция Y(n) применительно к любому числу n позволяет генерировать предложения парадокса Ябло, заявляющие о том, что все предложения, полученные путем применения самой этой функции к последующим числам, являются ложными: Vn(Y(n) ^ Vk(k > n^~s\\ rY(«)n, k))) [5. P. 240; также см.: 6. P. 180]. Борисов принимает требования (П) и основывает на нем свой собственный формальный аргумент (Б1), согласно которому вопрос (ii) требует положительного ответа, тем самым косвенно признавая, что нам (как конечным существам) на вопрос (i) следовало бы давать отрицательный ответ. На первый взгляд кажется, что нам нечего противопоставить аргументам (П) и (Б1). Однако в 2006 г. Рой Кук выдвинул возражение [7. P. 133-139; 8. P. 771-772], которое показывает, как можно избавиться от любых циркулярных структур, генерируя отдельные предложения парадокса Ябло путем замены квалифицированной дескрипции бесконечной конъюнкцией. Аргумент (К1) основан на последовательности предложений S = {Y1, Y2, Y3, •..}, в которой для предложений формы Yn е S задана функция денотации 8(Yn) = лt>n(~Yk). Предложение Yn этой последовательности S можно выразить с помощью бесконечной конъюнкции S(Y„) = (~Y„+1)л (~Y„+2) л (~Y„+3) л • л \\ Оно являлось бы фиксированной точкой относительно ({Y„}„effl, 8), если можно было бы показать, что такое предложение эквивалентно некоторому другому предложению Yk, включающему в себя термин ^Y^. Однако для функции 8(Yn) = л{(~Ym): m е ю, m > n}, не существует никакого kera, которое превращало бы 8(Yk) в фиксированную точку для ({Y„}„effl, 8) [7. P. 139-142; 9. P. 123-127]. Существование фиксированных точек в действительности есть только testimonium paupertatis выразительных средств нашего языка, - признание, что циркулярные структуры являются самым простым и доступным способом репрезентации парадокса Ябло в формальном языке (например, стандартном языке арифметики с предикатом истины), который функционально оказывается слишком слаб, чтобы поддерживать бесконечные логические конструкции. 3. (Соренсен-Билл) х Борисов ф циркулярность Слабость существующих формальных языков и бедность предлагаемых ими выразительных средств стала поводом для появления различных металингвистических аргументов, которые способны поддерживать наши базовые логические интуиции в исследованиях парадокса Ябло. В 1998 г. Рой Соренсен заметил, что аргумент (П) основан на неформальной интуиции: всякое конечное существо не может иметь никаких иных средств для репрезентации парадокса Ябло, кроме универсальных (атрибутивных) дескрипций [10. P. 144-149]. Она косвенно подталкивает к положительному ответу на вопросы (iii) и (iv). Однако такие ответы были бы ошибочными. И основная проблема здесь даже не в том, что все предложения парадокса Ябло нельзя записать, а можно только их описать, но в том, что мы можем знать о существовании такого парадокса, не прибегая к помощи дескрипций [Ibid. P. 146]. Специфические свойства используемых нами формальных (технических) описаний не наследуются самими объектами таких описаний53 (ср. с этим: [7. P. 125]). Поэтому ответы на вопросы (iii) и (iv) должны быть отрицательными. Аргумент Соренсена тем самым основан на иной интуиции: (С) бесконечные последовательности предложений наподобие парадокса Ябло могут быть даны демонстративно [10. P. 145]. В 2001 г. Джейси Билл выступает с критикой аргумента (С) и предлагает новые резоны в пользу интуиции, поддерживающей основания аргумента (П). Он согласен, что есть только два способа фиксировать отношения референции между термином и его денотатом - демонстрация и (атрибутивная) дескрипция [6. P. 179]. Поскольку конечным существам актуальная бесконечность не может быть дана демонстративно54 [Ibid. P. 180], (Бл1) мы не можем знать, как именно без помощи дескрипций парадокс Ябло мог бы быть представлен в стандартном языке арифметики. Аргумент (П) показывает, что любая такая дескрипция содержит циркулярные структуры, а значит - (Бл2) всякая сущность, генерируемая при помощи подобных конструкций, сама является циркулярной. Поэтому положительного ответа на вопрос (iii) вполне достаточно, чтобы дать такой же ответ и на вопрос (iv) [Ibid. P. 186]. Борисов разделяет требования (Бл1), однако, не готов принять (Бл2). На таком решении он основывает собственный скептический аргумент (Б2), согласно которому вопрос (iii) не имеет для нас (как конечных существ) какого-либо разумного однозначного решения (т.е. никто не может знать достоверно о том, должна ли структура, конструируемая при помощи циркулярных дескрипций, обязательно быть циркулярной). Несмотря на различия, аргументы (Бл1) и (Б2) сталкиваются с одними и теми же критическими возражениями. В 2003 г. их высказали Отавио Буэно и Марк Коливан. Они немного модифицируют вопрос (i), предлагая подумать: достаточно ли нам одних лишь универсальных (атрибутивных) дескрипций, чтобы сконструировать 'парадокс Ябло? Ответ на него должен быть отрицательным [11. P. 406-407]. Чтобы в этом убедиться, следует повнимательнее присмотреться к тому, как генерируется множество натуральных чисел N. Поскольку все натуральные числа ни одно конечное существо не способно записать, кажется, что ссылаться на их множество следует только с помощью дескрипции. Минимальная форма такой дескрипции может быть представлена двумя выражениями: (1) 0eN и (2) xeN ^ SxeN. Выражение (2) действительно служит примером универсальной (атрибутивной) дескрипции. Однако выражение (1) таковым не является, - оно всегда задается нами демонстративно: мы просто выбираем нулевой объект для ряда натуральных чисел и говорим, что это и есть натуральное число. Метод генерации ряда натуральных чисел обязательно включает в себя демонстрации. Токены предложений парадокса Ябло {Yn}, {Y„+1}, {Yn+3} имеют важное сходство с натуральными числами: демонстрация начального токена {Y0} бесконечной последовательности Yю показывает, что генерирование каждого нового токена - {Y1}, {Y2}, {Y3}, •.. - есть лишь аналог метода генерации следующего натурального числа [11. P. 405]. Аргумент Буэно и Коливана показывает, что (БК1) существуют нециркулярные структуры (наподобие множества N), которые генерирую-ся с помощью циркулярных дескрипций, и что (БК2) парадокс Ябло служит примером таких структур55. Поэтому ответы на вопросы (iii) и (iv) следует давать отрицательные [11. P. 408] (ср. с этим также: [7. P. 131]). 4. Борисов х (Кук + Кетланд) = = [циркулярностьv~парадоксальность]! Существование бесконечных последовательностей предложений, наподобие парадокса Ябло, по мнению Борисова, ведет нас прямиком в очевидный скептический тупик. Однако я уверен, что здесь есть место и для позитивных аналитических стратегий. Во-первых, присутствие circulus vitiosus в парадоксе Ябло можно показать и иным образом - без применения содержащих в себе циркулярность дескрипций. Для этого можно воспользоваться предложенным Куком принципом 'раскручивания' [unwinding] конечной циркулярной последовательности в бесконечное (маскирующее циркулярность) множество [8. P. 770-771]. Аргумент Кука (К3) показывает, что всякий конечный парадокс, включающий в себя циркулярные структуры, имеет бесконечного 'двойника' [Ibid. P. 771-772] (также см.: [12. P. 735-736; 13. P. 829]). Такой аргумент позволяет показать, что конечный 'кортеж' предложений парадокса Ябло {Yn+1, Yn+2, Yn+3}, скрывающий в себе рекурсивные определения [14. С. 60-62], можно 'раскрутить' в маскирующую циркулярность ю-последовательность (рис. 1) (ср. с этим: [12. P. 744-745]). И если это так, мы имеем веские причины полагать, что парадокс Ябло всего лишь оригинальный пример circulus vitiosus. Во-вторых, бесконечная последовательность предложений Yffl может быть строго формализована и без использования предиката истины (или выполнимости). Для этого достаточно пропозициональной логики и счетного множества имен таких предложений - y1, y2, ..., для которого принимается аксиома An = def yn ^ A{~yk: k > n}. Подобный аргумент (Кт) предлагается Джефри Кетландом [15. P. 301-302] (также см.: [16]) и показывает, что Yffl является не подлинным семантическим парадоксом, а, скорее, - ю-парадоксом [15. P. 296-297; 17. P. 165, 170] (также см.: [7. P. 145; 9. P. 129; 14. С. 64]). Рис. 1. 'Раскручивание' конечной циркулярной последовательности в ю-последовательность Слабость аргументов Борисова - формального (Б1) и скептического (Б2), таким образом, состоит в косвенном отказе от поисков ответа на вопрос (iv). Поэтому нам, скорее, следует принять дилеммический аргумент (Н): бесконечная последовательность предложений Yffl либо содержит в себе circulus vitiosus, либо не является примером подлинного семантического парадокса56. А значит, ответ на вопрос (iv) нами может быть найден.

Ключевые слова

семантический парадокс, парадокс Ябло, парадокс Лжеца, цирку-лярность, самореференция, semantic paradox, Yablo's paradox, liar paradox, circularity, self-reference

Авторы

ФИООрганизацияДополнительноE-mail
Нехаев Андрей ВикторовичТюменский государственный университет ; Омский государственный технический университет ; Томский научный центр СО РАНдоктор философских наук, профессор кафедры философии; профессор кафедры философии и социальных коммуникаций; научный сотрудникA_V_Nehaev@rambler.ru
Всего: 1

Ссылки

Priest G. The Structure of the Paradoxes of Self-Reference // Mind. 1994. Vol. 103, № 409. P. 25-34.
Ладов В.А. Критический анализ иерархического подхода Рассела-Тарского к решению проблемы парадоксов // Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 44. С. 10-24. DOI: 10.17223/1998863Х/44/2
Ладов В.А. Б. Рассел и Ф. Рамсей о проблеме парадоксов // Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 101-110. DOI: 10.17223/1998863Х/43/9
Yablo S. Paradox without Self-Reference // Analysis. 1993. Vol. 53, № 4. P. 251-252.
Priest G. Yablo's Paradox // Analysis. 1997. Vol. 57, № 4. P. 236-242.
Beall Jc. Is Yablo's paradox non-circular? // Analysis. 2001. Vol. 61, № 3. P. 176-187.
Cook R.T. There Are Non-Circular Paradoxes (But Yablo's Isn't One of Them!) // The Monist. 2006. Vol. 89, № 1. P. 118-149.
Cook R.T. Patterns of Paradox // Journal of Symbolic Logic. 2004. Vol. 69, № 3. P. 767-774.
Cook R.T. The Yablo Paradox. An Essay on Circularity. Oxford : Oxford University Press, 2014.
Rabern L., Rabern B., Macauley M. Dangerous Reference Graphs and Semantic Paradoxes // Journal of Philosophical Logic. 2012. Vol. 42, № 5. P. 727-765.
Sorensen R.A. Yablo's Paradox and Kindred Infinite Liars // Mind. 1998. Vol. 107, № 425. P. 137-155.
Bueno O., Colyvan M. Yablo's Paradox and Referring to Infinite Objects // Australasian Journal of Philosophy. 2003. Vol. 81, № 3. P. 402-412.
Leach-Krouse G. Yablifying the Rosser Sentence // Journal of Philosophical Logic. 2013. Vol. 43, № 5. P. 827-834.
Нехаев А. В. Машина Поста, самореференция и парадоксы // Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. C. 58-66. DOI: 10.17223/1998863Х/46/7
Ketland J. Yablo's Paradox and ю-Inconsistency // Synthese. 2005. Vol. 145, № 3. P. 295-302.
Forster T.The Significance of Yablo's Paradox without Self-Reference. URL: http://www.dpmms.cam.ac.uk/~tf/yablo.ps (accessed: 18.04.2019).
Ketland J. Bueno and Colyvan on Yablo's Paradox // Analysis. 2004. Vol. 64, № 2. P. 165-172.
 Парадокс Ябло и circulus vitiosus: зачем лгать о себе самом, когда можно лгать обо всех остальных? | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2019. № 50. DOI: 10.17223/1998863X/50/23

Парадокс Ябло и circulus vitiosus: зачем лгать о себе самом, когда можно лгать обо всех остальных? | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2019. № 50. DOI: 10.17223/1998863X/50/23