Проблема идентификации Benacerrafs - Википедия - Benacerrafs identification problem
в философия математики, Проблема идентификации Бенацеррафа это философский аргумент разработан Поль Бенасерраф против теоретико-множественный платонизм и опубликованы в 1965 году в статье под названием «Каких чисел не может быть».[1][2] Исторически сложилось так, что работа стала значительным катализатором в мотивации развития математический структурализм.[3]
Проблема идентификации утверждает, что существует фундаментальная проблема в сокращение натуральные числа к чистые наборы. Поскольку существует бесконечный Количество способов отождествления натуральных чисел с чистыми множествами, ни один теоретико-множественный метод не может быть определен как "истинное" сокращение. Бенасерраф делает вывод, что любая попытка сделать такой выбор редукции немедленно приводит к порождению метауровневой теоретико-множественной лжи, а именно в отношении других элементарно эквивалентный теории множеств не идентичный к избранному.[1] Проблема идентификации утверждает, что это создает фундаментальную проблему для платонизма, который утверждает, что математические объекты имеют реальное, абстрактное существование. Дилемма бенацеррафа Платонической теории множеств утверждает, что Платоновская попытка идентифицировать «истинное» сведение натуральных чисел к чистым множествам как раскрытие внутренние свойства этих абстрактных математических объектов, невозможно.[1] В результате проблема идентификации в конечном итоге утверждает, что отношение теории множеств к натуральным числам не может иметь онтологически Платоническая природа.[1]
Исторические мотивы
Историческая мотивация разработки проблемы идентификации Бенасеррафа проистекает из фундаментальной проблемы онтологии. С Средневековый временами философы спорили о том, содержит ли онтология математики абстрактные объекты. В философии математики абстрактный объект традиционно определяется как сущность, которая: (1) существует независимо от разума; (2) существует независимо от эмпирического мира; и (3) имеет вечные неизменные свойства.[4] Традиционный математический платонизм утверждает, что некоторый набор математических элементов -натуральные числа, действительные числа, функции, связи, системы - такие абстрактные объекты. Напротив, математическая номинализм отрицает существование любых таких абстрактных объектов в онтологии математики.
В конце 19 - начале 20 века приобрел популярность ряд антиплатонических программ. К ним относятся интуиционизм, формализм, и предикативизм. Однако к середине 20 века у этих антиплатонистских теорий был ряд собственных проблем. Это впоследствии привело к возрождению интереса к платонизму. Именно в этом историческом контексте возникли мотивы проблемы идентификации.
Описание
Проблема идентификации начинается с доказательства некоторого набора элементарно эквивалентных теоретико-множественных моделей натуральных чисел.[1] Бенасерраф рассматривает два таких теоретико-множественных метода:
- Теоретико-множественный метод I (с помощью Ординалы Цермело )
- 0 = ∅
- 1 = {0} = {∅}
- 2 = {1} = {{∅}}
- 3 = {2} = {{{∅}}}
- ...
- Теоретико-множественный метод II (с помощью ординалы фон Неймана )
- 0 = ∅
- 1 = {0} = {∅}
- 2 = {0, 1} = {∅, {∅}}
- 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}
- ...
Как показывает Бенасерраф, оба метода сводят натуральные числа к множествам.[1] Бенацерраф формулирует дилемму как вопрос: какой из этих теоретико-множественных методов однозначно обеспечивает истинные утверждения тождества, которые разъясняют истинную онтологическую природу натуральных чисел?[1] Для определения натуральных чисел и последующего создания истинных арифметических утверждений для формирования математической системы можно использовать метод I или II. В своем отношении элементы таких математических систем являются изоморфный в их структуре. Однако проблема возникает, когда эти изоморфные структуры связаны вместе на мета-уровне. Определения и арифметические утверждения из системы I не идентичны определениям и арифметическим утверждениям из системы II. Например, две системы различаются по своему ответу на вопрос, является ли 0 ∈ 2, поскольку ∅ не является элементом {{∅}}. Таким образом, с точки зрения невыполнения транзитивность идентичности, поиск истинных утверждений идентичности также терпит неудачу.[1] Пытаясь свести натуральные числа к множествам, это делает теоретико-множественную ложь между изоморфными структурами различных математических систем. В этом суть проблемы идентификации.
Согласно Бенацеррафу, философские разветвления этой проблемы идентификации приводят к тому, что платоновские подходы не проходят онтологический тест.[1] Аргумент используется, чтобы продемонстрировать невозможность для платонизма свести числа к множествам и раскрыть существование абстрактных объектов.
Смотрите также
Рекомендации
- ^ а б c d е ж грамм час я Пол Бенасерраф (1965), «Каких чисел не могло быть», Философский обзор Vol. 74. С. 47–73.
- ^ Боб Хейл и Криспин Райт (2002) "Возвращение к дилемме Бенацеррафа" Европейский журнал философии, 10(1).
- ^ Стюарт Шапиро (1997) Философия математики: структура и онтология Нью-Йорк: Издательство Оксфордского университета, стр. 37. ISBN 0195139305
- ^ Майкл Лукс (2006) Метафизика: современное введение (Современные введения в философию Routledge), Лондон: Routledge. ISBN 0415401348
Библиография
- Бенасерраф, Пол (1973) «Математическая истина», в Benacerraf & Putnam Philosophy of Mathematics: Selected Readings, Cambridge: Cambridge University Press, 2-е издание. 1983, с. 403–420.
- Хейл, Боб (1987) Абстрактные объекты. Оксфорд: Бэзил Блэквелл. ISBN 0631145931