Где же нам искать примеры отчетливо сформулированных задач высокого уровня обобщения, являющихся прерогативой философии? Один из самых типичных примеров — это необходимость определить, являются ли физические объекты трехмерными, неизменно сохраняющимися во времени, или четырехмерными, и в них составной частью входит время. Первое воззрение соответствует нашему здравому смыслу. Второе воззрение уподобляет физические объекты тому, что мы обычно мыслим их как «истории», посредством которых они расширяются как в прошлое, так и в будущее. Это означает, что физические объекты могут быть разделены на различные «периоды». Сам Куайн придерживается именно последнего воззрения («Слово и объект»). Близкий к приведенному и столь же показательный пример — необходимость определить, являются ли утверждения относительно будущего (уже сейчас) истинными или ложными. По мнению Куайна, в полном согласии с его приверженностью к четырехмерности объектов, такая постановка вопроса правомочна. И что особенно поражает нас, — учитывая прагматизм, который заставляет Карнапа обращаться к тому, что он называет внешними вопросами, — Куайн, обращаясь к нему, указывает на этические последствия этого. Куайн пишет:
Философская концепция Куайна № 2: онтология
Вероятно, самые характерные для философии вопросы, согласно концепции Куайна, — это вопросы онтологии, то есть вопросы о том, что существует, или, если подойти к делу более дотошно: что это значит — существовать? Что касается второго вопроса, здесь взгляд Куайна состоит в том, что существовать — это значит находиться среди сущностей, постулируемых некоторой истинной теорией. Или, как он выражался чаще: находиться среди сущностей, к которым «онтологически приложима» истинная теория, а теория «онтологически приложима» к сущностям, которые должны существовать в силу истинности теории. Такое утверждение тривиально, с чем согласился бы и сам Куайн (хотя нетривиальность заключается в том, что сущность не может существовать вне сферы истинной теории). Все это звучит не столь тривиально, когда Куайн уточняет, что он имеет в виду, говоря, что сущность должна существовать для того, чтобы теория была истинной. Он имеет в виду, что сущность должна быть среди вещей, о которых теория делает эксплицитное обобщение — при условии, что оно должным образом формализовано (где эксплицитное обобщение — это любое утверждение, имеющее форму «все устроено так-то и так-то»). Всякий, кто интересовался современной логикой, тотчас узнает в этом утверждении смысл знаменитого афоризма Куайна: «Быть — это значит быть значением изменчивости» («О том, что есть», 15).