Дисперсия квантора - Quantifier variance

Период, термин дисперсия квантора относится к утверждениям о том, что не существует однозначно лучшего онтологического языка для описания мира.[1] В соответствии с Эли Хирш, это результат Урмсон изречение:

«Если два предложения эквивалентны друг другу, то хотя использование одного, а не другого может быть полезно для некоторых философских целей, это не тот случай, когда одно будет ближе к реальности, чем другое ... Мы можем сказать, что вещи так, и мы можем сказать это так, иногда ... Но бесполезно спрашивать, какой логически или метафизически правильный способ сказать это ».[2]

— Джеймс Опи Урмсон, Философский анализ, п. 186

Термин «количественная дисперсия» основан на философском термине «квантор», точнее экзистенциальный квантор. «Количественный показатель» - это выражение типа «существует по крайней мере один такой-то и такой-то».[3]

Квантификаторы

Основные статьи: Экзистенциальная количественная оценка и Количественная оценка (логика)

Слово квантификатор во введении относится к переменной, используемой в область дискурса, совокупность обсуждаемых объектов. В повседневной жизни предметом дискурса могут быть «яблоки», «люди» или даже все.[4] На более технической арене областью дискурса могут быть, скажем, «целые числа». Переменная квантификатора Икс, скажем, в данной области дискурса может принимать «значение» или обозначать любой объект в этой области. Наличие определенного объекта, скажем, «единорога» выражается в виде символическая логика в качестве:

∃ Икс; Икс это единорог.

Здесь 'повернулся E ' или ∃ читается как «существует ...» и называется символом экзистенциальной количественной оценки. Отношения между объектами также можно выразить с помощью кванторов. Например, в области целых чисел (обозначение квантора п, обычный выбор для целого числа) мы можем косвенно идентифицировать цифру 5 по ее соотношению с числом 25:

∃ п; п × п = 25.

Если мы хотим конкретно указать, что имеется в виду область целых чисел, мы могли бы записывать:

∃ п ∈ ℤ; п × п = 25.

Здесь ∈ = является членом ... и ∈ называется символом установить членство; и ℤ обозначает набор целых чисел.

Существует множество выражений, которые служат одной и той же цели в различных онтологиях, и, соответственно, все они являются выражениями кванторов.[1] Квантификатор отклонение Тогда это один аргумент относительно того, какие именно выражения могут быть истолкованы как кванторы, и какие аргументы квантора, то есть какие замены для «такого-то», допустимы.[5]

Использование, а не «существование»?

Хирш говорит, что понятие дисперсии кванторов - это концепция, касающаяся того, как работают языки, и не связано с онтологическим вопросом о том, что «действительно» существует.[6] Эта точка зрения не универсальна.[7]

Тезис, лежащий в основе дисперсии кванторов, был сформулирован Патнэмом:

Сами логические примитивы и, в частности, понятия объекта и существования имеют множество различных применений, а не одно абсолютное «значение».[8]

— Хилари Патнэм, «Истина и условность», стр. 71

Ссылаясь на эту цитату из Патнэма, Вассерман заявляет: «Этот тезис - тезис о том, что существует множество значений для экзистенциального квантора, которые одинаково нейтральны и одинаково адекватны для описания всех фактов - часто называют« доктриной дисперсии кванторов »» .[7]

Дисперсия квантора Хирша была связана с Карнап представление о лингвистической структуре как «нео» -карнапской точке зрения, а именно «точка зрения, согласно которой существует ряд одинаково хороших значений логических кванторов; выбор одной из этих концепций следует понимать аналогично выбору карнаповской концепции. . "[9] Конечно, не все философы (особенно Куайн и «нео-квинианцы») придерживаются концепции множественности лингвистических рамок.[9] Видеть мета-онтология.

Сам Хирш предлагает некоторую осторожность при подключении его версия о дисперсии кванторов с Карнапом: «Давайте не будем называть философов квантификаторами вариантистов, если они явно не привержены идее, что (большинство) существующих вещей полностью независимы от языка». В этой связи Хирш говорит: «Однако у меня есть проблема, называя Карнапа вариантным квантификатором, поскольку его часто считают сторонником верификации. антиреалист."[1] Хотя Томассон не считает, что Карнапа должным образом считают антиреалистом, она все же отделяет Карнапа от версии Хирша о дисперсии кванторов: «Однако я буду утверждать, что Карнап на самом деле не привержен к дисперсии кванторов ни в чем подобном смысле Хирша, и что он [Карнап] не полагается на это в своих способах подавления метафизических споров ".[10]

Смотрите также

Рекомендации

  1. ^ а б c Эли Хирш (2011). "Вступление". Дисперсия кванторов и реализм: очерки метаонтологии. Издательство Оксфордского университета. п. xii. ISBN  978-0199732111.
  2. ^ ДЖО. Урмсон (1967). Философский анализ: его развитие между двумя мировыми войнами. Издательство Оксфордского университета. п. 186. Цитируется Эли Хирш.
  3. ^ "Квантификатор" в символическая логика изначально входила в состав заявлений с участием логические символы ∀ (для всех) и ∃ (Существует) как в выражении вроде "для всех таких-то" п истинно "(∀ x: P (x)) или" существует хотя бы один "такой-то" такой, что п верно "(∃ x: P (x)), где" такой-то ", или Икс, является элементом множества и п предложение или утверждение. Однако с тех пор идея квантора была обобщена. Видеть Даг Вестерстол (19 апреля 2011 г.). «Обобщенные кванторы». В Эдвард Н. Залта (ред.). Стэнфордская энциклопедия философии (издание лето 2011 г.).
  4. ^ Алан Хаусман; Говард. Кахане; Павел. Тидман (2012). «Сфера дискурса». Логика и философия: современное введение (12-е изд.). Cengage Learning. п. 194. ISBN  978-1133050001.
  5. ^ Теодор Сидер (2011). Написание книги мира. Издательство Оксфордского университета. п. 175. ISBN  978-0199697908. Дисперсия квантора, согласно моей формулировке, говорит о том, что «есть» много кандидатов на существование подразумевается под кванторами; но вариантологу кванторов не нужно серьезно относиться к этой количественной оценке [то есть к этому разнообразию значений кванторов] ... мы могли бы использовать предложение «Существует что-то, что состоит из [такого-то составного объекта]» так что оно оказывается правдой, или мы могли бы использовать его так, чтобы оно получилось ложным; и ни при одном выборе наши слова [приблизились бы к реальности], чем при другом. [Курсив добавлен, "симпатичные" внутригрупповые фразы заменены, как указано в скобках]
  6. ^ Эли Хирш (2011). «Глава 12: Онтология и альтернативные языки». Дисперсия кванторов и реализм: очерки метаонтологии. Издательство Оксфордского университета. С. 220–250. ISBN  978-0199780716. Я считаю само собой разумеющимся, что мир и вещи в нем существуют по большей части при полной независимости от наших знаний или языка. Наш лингвистический выбор не определяет то, что существует, но определяет, что мы должны иметь в виду под словами «то, что существует» и связанными с ними словами.
  7. ^ а б Вассерман, Райан (5 апреля 2013 г.). Эдвард Н. Залта (ред.). «Материальная конституция». Стэнфордская энциклопедия философии (издание летом 2013 г.).
  8. ^ Хилари Патнэм (1987). «Истина и условность: об опровержении Дэвидсоном концептуального релятивизма». Диалектика. 41 (1–2): 69–77. Дои:10.1111 / j.1746-8361.1987.tb00880.x.
  9. ^ а б Хелен Биби; Никк Эффингем; Филип Гофф (2012). Метафизика: ключевые концепции. Тейлор и Фрэнсис. п. 125. ISBN  978-0203835258.
  10. ^ Эми Л. Томассон. «Карнап и перспективы легкой онтологии». Архивировано из оригинал на 2013-12-20. Получено 2013-06-20. Будет опубликовано в Онтология после Карнапа, Стефан Блатти и Сандра ЛаПойнт, редакторы Oxford University Press.