После того как мы установили, что многие метафизические предложения бессмысленны, возникает вопрос: имеются ли в метафизике такие осмысленные предложения, которые останутся после того, как мы исключим все бессмысленные?
На основе наших предыдущих выводов можно прийти к представлению, что метафизика содержит много опасностей впасть в бессмысленность, и метафизик в своей деятельности должен тщательно их избегать. Но в действительности дело обстоит таким образом, что осмысленных метафизических предложений вообще не может быть. Это вытекает из задачи, которую поставила себе метафизика: она хочет найти и представить знание, которое недоступно эмпирической науке.
Ранее мы определили, что смысл предложения находится в методе его верификации. Предложение означает лишь то, что в нем верифицируемо. Поэтому предложение, если оно вообще о чем-либо говорит, говорит лишь об эмпирических фактах. О чем-либо лежащем принципиально по ту сторону опытного нельзя ни сказать, ни мыслить, ни спросить.
Предложения (осмысленные) подразделяются на следующие виды: прежде всего имеются предложения, которые по одной своей форме уже являются истинными («тавтологии», по Витгенштейну; они соответствуют примерно кантовским «аналитическим суждениям»); они ничего не высказывают о действительности. К этому виду принадлежат формулы логики и математики; сами они не являются высказываниями о действительности, а служат для преобразования таких высказываний. Во-вторых, имеется противоположность таких высказываний («контрадикции»); они противоречивы и, в соответствии со своей формой, являются ложными. Для всех остальных предложений решение об их истинности или ложности зависит от протокольных предложений; они являются поэтому (истинные или ложные) опытными предложениями и принадлежат к области эмпирической науки. Желающий образовать предложение, которое не принадлежит к этим видам, делает его автоматически бессмысленным. Так как метафизик не высказывает аналитических предложений, не хочет оказаться в области эмпирической науки, то он с необходимостью употребляет либо слова, для которых не дается критерия, а поэтому они оказываются лишенными значения, либо слова, которые имеют значение, и составляет так, что не получается ни аналитического (соответственно, контрадикционного), ни эмпирического предложения. В обоих случаях с необходимостью получаются псевдопредложения.
Логический анализ выносит приговор бессмысленности любому мнимому знанию, которое претендует простираться за пределы опыта. Этот приговор относится к любой спекулятивной метафизике, к любому мнимому знанию из чистого мышления и чистой интуиции, которые желают обойтись без опыта. Приговор относится также к тому виду метафизики, которая, исходя их опыта, желает посредством особого ключа познавать лежащее вне или за опытом (например, к неовиталистскому тезису о действующей в органических процессах «энтелехии», которая физически непознаваема; к вопросу о «сущности каузальности», выходящему за пределы определенной закономерности следования; к речам о «вещи-в-себе»). Приговор действителен для всей философии ценностей и норм, для любой этики или эстетики как нормативной дисциплины. Ибо объективная значимость ценности или нормы не может быть (также и по мнению представителей ценностной философии) эмпирически верифицирована или дедуцирована из эмпирических предложений; они вообще не могут быть высказаны осмысленными предложениями. Другими словами, либо для «хорошо» и «прекрасно» и остальных предикатов, употребляемых в нормативной науке, имеются эмпирические характеристики, либо они недейственны. Предложение с такими предикатами становится в первом случае эмпирическим фактуальным суждением, но не ценностным суждением; во втором случае оно становится псевдопредложением; предложение, которое являлось бы ценностным суждением, вообще не может быть образовано.