Во-вторых, согласно Стросону, ошибка Рассела состояла и в том, что он исходит из «ложной трихотомии», считая, что предложения бывают истинными, ложными или лишенными значения, т. е. наличие у предложения значения говорит о том, что предложение обязательно должно быть истинным или ложным. Стросон же считает, что, если предложение имеет значение, отсюда следует только, что при определенном его употреблении оно может выражать истинное или ложное утверждение, но отнюдь не любое его употребление является истинным или ложным. Если бы какой-нибудь человек совершенно серьезно произнес сейчас фразу «Король Франции мудр», мы бы не сочли сказанное им ложным; мы бы указали ему на то, что в настоящее время не существует короля Франции. В подобном случае, считает Стросон, мы вообще не оцениваем высказанное предложение как истинное или ложное, поскольку оно лишено истинностного значения. Таким образом, если не существует F,
утверждение «F есть G» не считается ложным; скорее, вопрос о его истинности или ложности просто не встает.Попутно отметим, что позиция Стросона вызвала резкую критику со стороны многих аналитических философов, поскольку они усмотрели в подобном отказе от принципа двузначности и закона исключенного третьего серьезную угрозу экстенсионализму в логике, согласно которому истинностные значения сложных высказываний являются функциями от истинностных значений составляющих их простых высказываний. Куайн обвинил Стросона в совершении «пагубной ошибки», состоящей в том, что он не разделяет семантику и прагматику языка [Quine, 1987 b
, p. 211]. В ответ Стросон указывал, что принцип двузначности и закон исключенного третьего не следует применять к предложениям, которые никто не использует для утверждения о существующих объектах, и в этом его позиция совпадает с позицией Фреге, который, напомним, рассматривал предложения с пустыми именами как имеющие смысл, но лишенные истинностного значения.В-третьих, согласно Стросону, Рассел совершает еще одну ошибку, считая предложение «F
есть G», где F — определенная дескрипция, эквивалентным предложению с квантором существования «Существует один и только один x, такой, что x есть F и x есть G». Возражение Стросона заключается в том, что, когда человек произносит предложение, содержащее определенную дескрипцию F, в его намерения не входит сообщить слушающему о существовании объекта, удовлетворяющего данной дескрипции, хотя он рассчитывает на то, что слушающий уже обладает знанием о существовании и единственности этого объекта. Использование определенной дескрипции, полагает Стросон, «выступает в качестве сигнала того, что производится единичная референция, — сигнала, но не скрытого утверждения» [Стросон, 1982, с. 70]. Утверждение «F есть G» и суждение о существовании F, которое предполагается тем, кто высказывает данное утверждение, находятся, согласно Стросону, не в отношении логического следования (в этом случае суждение о существовании F неявно содержалось бы в суждении «F есть G»), а в особом логическом отношении, для обозначения которого он ввел в работе «Введение в логическую теорию» термин «пресуппозиция».Согласно Стросону, пресуппозиция — это отношение между двумя суждениями А
и В, такое, что А считается пресуппозицией суждения В, если В имеет истинностное значение только в том случае, когда истинно А. Суждение «Человек в саду насвистывает» может обладать истинностным значением, только если истинна его пресуппозиция — суждение «В саду находится человек». Различие между отношением пресуппозиции и отношением логического следования состоит в следующем. В случаях когда из А следует В, конъюнкция А и отрицания В является противоречием, т. е. утверждать А и одновременно отрицать В — это допускать противоречие, поскольку истинность А является необходимым условием истинности В. Но когда А является пресуппозицией В, то истинность А является необходимым условием истинности или ложности В, т. е. истинность А является необходимым условием наличия у В какого-либо истинностного значения. По словам Стросона, одновременно утверждать В и отрицать А было бы в этом случае не противоречием, а «иным видом нелепости».