Термин «кванторная дисперсия» относится к утверждениям о том, что не существует однозначно лучшего онтологического языка для описания мира. [1] Термин «кванторная дисперсия» основан на философском термине «квантор», точнее, на экзистенциальном кванторе . «Квантор» — это выражение типа «существует хотя бы один такой-то и такой-то». [2] Таким образом, дисперсия кванторов — это тезис о том, что значение кванторов неоднозначно. Этот тезис можно использовать для объяснения того, что некоторые споры в онтологии возникают только из-за неспособности несогласных сторон договориться о значении используемых кванторов. [3]
По словам Эли Хирша , это является результатом изречения Урмсона :
Если два предложения эквивалентны друг другу, то, хотя использование одного вместо другого может быть полезно для некоторых философских целей, это не тот случай, когда одно из них будет ближе к реальности, чем другое... Мы можем сказать кое-что. вот так, и иногда мы можем сказать это так... Но бесполезно спрашивать, какой способ сказать это логически или метафизически правильный. [4]
- Джеймс Опи Урмсон, Философский анализ , с. 186
Слово «квантификатор» во введении относится к переменной, используемой в области дискурса , совокупности обсуждаемых объектов. В повседневной жизни сферой дискурса могут быть «яблоки», «человеки» или даже что угодно. [5] В более технической сфере областью дискурса могут быть, скажем, «целые числа». Кванторная переменная x , скажем, в данной области дискурса может принимать «значение» или обозначать любой объект в этой области. Присутствие определенного объекта, скажем, «единорога», выражается в символической логике следующим образом:
Здесь «перевернутая E » или ∃ читается как «существует...» и называется символом экзистенциальной квантификации. Отношения между объектами также можно выразить с помощью кванторов. Например, в области целых чисел (обозначая квантор n , обычный выбор для целого числа) мы можем косвенно идентифицировать «5» по его связи с числом «25»:
Если мы хотим конкретно указать, что имеется в виду область целых чисел, мы могли бы написать :
Здесь ∈ = является членом... и ∈ называется символом членства в множестве ; и обозначает набор целых чисел.
Существует множество выражений, которые служат одной и той же цели в различных онтологиях, и, соответственно, все они являются кванторными выражениями. [1] В этом случае дисперсия квантора является одним из аргументов относительно того, какие именно выражения могут быть истолкованы как кванторы, и какие именно аргументы квантора, то есть какие замены для «того-то и такого-то», допустимы. [6]
Хирш говорит, что понятие кванторной дисперсии — это концепция, касающаяся того, как работают языки, и не связана с онтологическим вопросом о том, что «действительно» существует. [7] Эта точка зрения не является универсальной. [8]
Тезис, лежащий в основе кванторной дисперсии, был сформулирован Патнэмом:
Сами логические примитивы, и в частности понятия объекта и существования, имеют множество различных применений, а не одно абсолютное «значение». [9]
- Хилари Патнэм, «Истина и условность», с. 71
Цитируя эту цитату из Патнэма, Вассерман заявляет: «Этот тезис – тезис о том, что существует множество значений экзистенциального квантора, которые одинаково нейтральны и одинаково адекватны для описания всех фактов – часто называют «доктриной дисперсии кванторов»». . [8]
Кванторная дисперсия Хирша была связана с идеей Карнапа о лингвистической структуре как «нео-карнаповском взгляде», а именно, «с представлением о том, что существует ряд одинаково хороших значений логических кванторов; выбор одной из этих структур означает понимать аналогично выбору карнаповской модели». [10] Конечно, не все философы (особенно Куайн и «неоквинианцы») разделяют идею множественных лингвистических структур. [10] См. метаонтология .
Сам Хирш предлагает с некоторой осторожностью связать свою версию кванторной вариативности с Карнапом: «Давайте не будем называть философов кванторными вариативистами, если они явно не привержены идее о том, что (большая часть) существующих вещей полностью независимы от языка». В этой связи Хирш говорит: «Однако у меня есть проблема с тем, чтобы назвать Карнапа кванторным вариантистом, поскольку его часто считают верификационистом -антиреалистом ». [1] Хотя Томассон не считает, что Карнап должным образом считается антиреалистом, она все же отделяет Карнапа от версии Хирша о кванторной дисперсии: «Однако я утверждаю, что Карнап на самом деле не привержен к кванторной дисперсии ни в чем подобном Хиршу. смысле, и что он [Карнап] не полагается на него в своих способах обесценивания метафизических дебатов». [11]
Кванторная дисперсия, согласно моей формулировке, говорит о том, что «существует» много кандидатов на то, чтобы ее понимать под кванторами; но стороннику кванторного варианта не нужно серьезно относиться к этой количественной оценке [то есть к этому разнообразию значений кванторов] ... мы могли бы использовать предложение «Существует что-то, состоящее из [такого-то и такого-то составного объекта]» поэтому оно оказывается истинным, или мы можем использовать его так, чтобы оно вышло ложным; и ни при одном из вариантов наши слова не [стали бы ближе к реальности], чем при другом. [Курсив добавлен, заменены «милые» внутригрупповые фразы, как указано в скобках]
Я считаю само собой разумеющимся, что мир и вещи в нем существуют по большей части в полной независимости от наших знаний или языка. Наш лингвистический выбор не определяет то, что существует, но определяет, что мы должны понимать под словами «то, что существует» и связанными с ними словами.