«Предложения не показывают логическую форму действительности. Они выделяют ее» (СНОСКА: T'Wittgenhfein, Tractatus Logico-Philosophicus, p. 79.). «Что может быть показано, не может быть сказано» (СНОСКА: Ibidem.). Что может быть и что не может быть сказано — определяется методом проверки. Если сказано, что вода закипает при 100° по Цельсию, то нужно проверить, опустив термометр в воду, нагреть воду и заметить ее температуру, когда она закипает, рекомендует Виттгенштейн. Значит, «чтобы обнаружить, является ли изображение истинным или ложным... мы должны сравнить его с действительностью»; то, что нельзя проверить на опыте, то не соответствует законам логики. Что не соответствует законам логики, то не имеет значения, так как значение предложения дается посредством метода проверки в моем опыте. Таким образом, согласно Виттгенштейну, истинно и имеет значение только то, что проверено личным опытом. Вся предыдущая многовековая жизнь природы и общества не может быть проверена личным опытом, следовательно, она не имеет якобы значения, она не существует для человека.

Все будущее находится также вне опыта, и все, что не существует в данный момент, не может быть проверено опытом, также ускользает из сферы познаваемого — таким образом, все это не имеет значения. В результате всех рас-суждений Виттгенштейн приходит к субъективному идеализму, к солипсизму, т. е. к философии Беркли, подновленной модными словечками и терминами: «логический анализ языка», «атомарные факты», «простые объекты» и пр.

Не менее модной в западной лингвистике является логическая теория Карнапа. По его мнению, философия должна ограничиваться только логическим анализом языка без соотношения с миром действительности. Как будто взгляд Карнапа противоположен взгляду Виттгенштейна. Карнап полагает, что наука имеет дело с объектами действительности, а логический анализ — с предложениями, словами, теориями. Никакой проверки здесь нет. «Логика есть синтаксис» (СНОСКА: R. Carnap, Logical Syntax, 1937, р. 259. 404). Логический синтаксис занимается только символами безотносительно к значению речи. Он изучает правила оформления, правила соединения символов (слов) одного с другим в предложении, правила трансформации предложений. Карнап игнорирует смысл, соотношение с формами действительности в логическом синтаксисе. Правда, он не совсем изгоняет смысл, а разъединяет изыскания смысловой стороны предложения и формальной стороны. Он делит речь на материальный модус и формальный модус. Приведем его некоторые сопоставления двух совершенно разграничиваемых модусов.