Стивен Ябло

Стивен Ябло
Образование	Университет Торонто ( бакалавр наук ) Калифорнийский университет, Беркли ( доктор философии )
Супруг	Салли Хаслангер
Эра	Современная философия
Область	Западная философия
Школа	Аналитический
Докторантура	Дональд Дэвидсон
Докторанты	Каролина Сарторио
Основные интересы	Философская логика , философия языка , философия математики , философия разума
Известные идеи	Парадокс Ябло

Стивен Ябло — американский философ канадского происхождения. Он профессор философии Дэвида В. Скиннера в Массачусетском технологическом институте (MIT), ранее преподавал в Мичиганском университете в Анн-Арборе . Он специализируется на философии логики , философии разума , метафизике , философии языка и философии математики .

Биография

Он родился в Торонто 30 сентября 1957 года в семье поляка Саула Ябло и румынско-канадской матери Глории Ябло (урожденной Герман), обоих евреев. Он женат на коллеге-философе Массачусетского технологического института Салли Хаслангер .

Его доктор философии. из Калифорнийского университета в Беркли , где он работал с Дональдом Дэвидсоном и Джорджем Майро . В 2012 году он был избран членом Американской академии искусств и наук . Он опубликовал ряд влиятельных статей по философии сознания, философии языка и метафизике, а также прочитал лекции Джона Локка в Оксфорде в 2012 году, которые легли в основу его книги «О жизни» , которую один рецензент назвал «важной и далекой книгой». -достигающая книга, которую философы будут обсуждать еще долгое время».

Парадокс Ябло

В статьях, опубликованных в 1985 г. и 1993 г., Ябло показал, как создать парадокс, аналогичный парадоксу лжеца , но без самоотсылки . В отличие от парадокса лжеца, в котором используется одно предложение, парадокс Ябло использует бесконечный список предложений, каждое из которых относится к предложениям, встречающимся позже в списке. Анализ списка показывает, что не существует единого способа присвоить значения истинности любому из его членов. Поскольку все в списке относится только к более поздним предложениям, Ябло утверждает, что его парадокс «ни в коем случае не является круговым». Однако Грэм Прист это оспаривает.

Заявление

Рассмотрим следующий бесконечный набор предложений:

S ₁ : Для каждого i > 1 S _i неверно.

S ₂ : Для каждого i > 2 S _i неверно.

S ₃ : Для каждого i > 3 S _i неверно.

...

Анализ

Для любого n предложение Sn _{имеет универсальную квантифицированную форму, выражая бесконечное количество утверждений (каждое из которых} является отрицанием утверждения с большим индексом). В качестве предложения любое Sn _также выражает, например, то , что Sn _{+ 1} неверно.

Для любой пары чисел n и m с n < m предложение Sn _{поздним} включает в себя все утверждения, также сделанные более S _m . Поскольку это верно для всех таких пар чисел, можно обнаружить, что из всех следует _m любой S _Sn с n < m . Например, из любого следует _Sn Sn + ₁ .

Утверждения, сделанные любым из предложений («следующее утверждение неверно»), противоречат импликации, которую мы также можем логически вывести из жребия (достоверность следующего утверждения подразумевается текущим). самым устанавливается, что допущение любого Sn _Тем приводит к противоречию. А это всего лишь означает, что все оказались _Sn ложными.

Но то, что является _Sn ложным, также точно подтверждает сами сделанные ими утверждения. Итак, мы имеем парадокс: каждое предложение в списке Ябло одновременно и неправда, и правда.

Логика первого порядка

Для любого $P$, введения отрицания принцип пропозициональной логики отрицает $P\leftrightarrow \neg P$. Поэтому ни одна последовательная теория не доказывает, что одно из ее предложений эквивалентно самому себе. Металогически это означает, что любая аксиома формы такой эквивалентности противоречива. Это формальная часть парадокса лжеца.

Аналогично для любого унарного предиката $Q$ и если $R$ является полным транзитивным отношением , то посредством формального анализа, как указано выше, логика предикатов отрицает замыкание универсальное

$Q(n)\leftrightarrow \forall i.{\big (}R(i,n)\to \neg Q(i){\big )}$

О натуральных числах для $R$ принимается за равенство» $=$", это следует и из анализа парадокса лжеца. Ибо $R$ считается стандартным заказом " $>$", все еще возможно получить омега-несовместимую нестандартную модель арифметики для теории, определенной путем присоединения всех эквивалентностей по отдельности.

Книги

• Мысли (Философские статьи, том 1) (Oxford University Press, 2009)
• Вещи (Философские статьи, том 2) (Oxford University Press, 2010)
• О сути (Princeton University Press, 2014).

Внешние ссылки

• «Парадокс лжеца» . Интернет-энциклопедия философии .
• «Парадокс Ябло» . Интернет-энциклопедия философии .
• «Парадокс без самореференции» - Анализ , вып. 53 (1993), стр. 251–52.
• «Ментальная причинность» - Философское обозрение , т. 1, с. 101, выпуск 2 (1992), стр. 245–280.
• «Иди рисуй: путь через беллетристику»
• Интервью журналу 3:AM Magazine
• Интервью в журнале « Каково быть философом ?»