Словарные статьи: nominalism (фрагмент из одноименной статьи Золтана Шабо)

Традиционные возражения в отношении возможности использования нестандартных приемов квантификации для выражения наших экзистенциальных идиом восходят к Куайну.

white_rabbit 04.05.11 в 06:22

Данные возражения основываются на двух постулатах.

white_rabbit 04.05.11 в 06:23

Первый - устанавливает интерпретацию классического экзистенциального квантификатора первого порядка следующим образом - Существуют вещи которые являются такими-то и такими-то.

white_rabbit 04.05.11 в 06:28

Второй - обычные экзистенциальные идиомы являются однозначными: присутствует лишь стилистическая разница между тем, когда говорится, что существуют вещи, являющиеся такими-то и такими-то и тем, когда говорится, что существует такое-то и такое-то.

white_rabbit 04.05.11 в 06:48

Несмотря на то, что рассмотренные постулаты считаются заслуживающими доверия и пользуются авторитетом, они оба, тем не менее, вызывают сомнения.

white_rabbit 04.05.11 в 07:18

Такие сомнения возникают при установлении значения материальной импликации ϕ→ψ, при ее интерпретации как "если ϕ то ψ".

white_rabbit 04.05.11 в 07:44

Отметим при этом, что выражение естественного языка "если ... то ..." имеет отличающуюся семантику.

white_rabbit 04.05.11 в 07:34

Указанное иллюстрирует тот факт, что толкование данное средствами естественного языка предложениям логики первого порядка может не охватывать их правильную интерпретацию (последних).

white_rabbit 04.05.11 в 08:16

присвоение значения

white_rabbit 04.05.11 в 14:17

Действительно, квантификационная теория не изучается как родной язык. Но это не означает,
что ее обогащение происходит только за счет создания руководства переводчика из обычного языка в
язык логики первого порядка. Сложно отрицать, что значение стандартного экзистенциального
квантификатора устанавливается в зависимости от того как он используется. Но из этого не следует, что небольшой аспект такого использования (заключающийся в желании использовать обычные экзистенциальные идиомы для правильного перевода) сам по себе достаточен для определения своего значения.

white_rabbit 05.05.11 в 05:03

Не меньшую проблему составляет однозначность повседневных экзистенциальных идиом.

white_rabbit 05.05.11 в 18:54

В конце концов для повседневного языка является довольно естественной формулировка, согласно которой велика вероятность того, что Верховный Суд не станет снова выбирать президента и довольно неестественно прозвучит, что некоторая вещь такова, что велика вероятность, того что Верховный Суд не станет снова выбирать президента.

white_rabbit 03.05.11 в 20:32

Таким образом (В равной степени) многие будут испытывать затруднение в составлении умозаключения, связывающего первый и второй постулаты.

white_rabbit 05.05.11 в 19:30