- грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие В. дескриптивного, или описательного, основной задачей которого является описание действительности. Такое В. является истинным или ложным; иногда допускается, что оно способно принимать некоторые "неопределенные" значения истинности, промежуточные между полной истиной и полной ложью. Логика долгое время тяготела к употреблению термина "В." лишь применительно к описательным В. Так, логика классическая трактует В. как повествовательное предложение, рассматриваемое вместе с его содержанием в аспекте истинностного значения. Курс современной логики обычно начинается определением В. как предложения, являющегося истинным или ложным. Поскольку оценки, нормы, временные утверждения, меняющие свое значение истинности с течением времени, бессмысленные утверждения и т. п. не имеют истинностного значения, данное определение можно понимать как приложимое только к описательным В. Очевидно, однако, что законы классической логики справедливы не только для описательных В. Следующим важным типом В. является оценочное В., устанавливающее абсолютную или сравнительную ценность какого-то объекта. К оценочным В. относятся собственно оценки, включающие понятия "хорошо", "плохо", "лучше", "хуже" и т. п., а также аналитические В., утверждения о целях, стандарты, конвенции, идеалы и т. п. Частным случаем оценочного В. является нормативное В. Промежуточную группу между описательными и оценочными В. образуют "смешанные", описательно-оценочные В. Они не только описывают и фиксируют сложившуюся языковую практику, но и оценивают ее, предписывают конкретное языковое поведение. Двойственные, описательно-оценочные В. в одних ситуациях играют роль описаний и могут, как таковые, характеризоваться как истинные или ложные, в других - выполняют функцию оценок, лишенных истинностного значения. В качестве еще одной несамостоятельной группы могут быть выделены неопределенные В. типа: "Этот дом голубой", "Здесь растет дерево", "Завтра будет солнечное затмение" и т. п. Такие В. сами по себе не являются ни истинными, ни ложными, они приобретают истинностное значение только в локализованной ситуации, в частности при указании пространственно-временных координат. Многие В., относимые обычно к описательным, являются на самом деле неопределенными. Скажем, В. "Лондон больше Рима" истинно, но истинно именно теперь: было время, когда Рим был больше Лондона, и, возможно, в будущем эта ситуация повторится. Временными В., меняющими свое истинностное значение с течением времени, занимается логика времени. Были попытки построить особую логику пространства, описывающую логические связи пространственно неопределенных В. Существенно, что неопределенными могут быть как описательные, так и оценочные В. Еще одну группу В., изучаемых современной логикой, составляют В., относимые обычно к бессмысленным. Напр.: "Простые числа зеленые". Это правильно построенное предложение. Такими же являются, очевидно, предложения "Истинно, что простые числа зеленые" и "Должно быть так, что простые числа зеленые" ("Простые числа должны быть зелеными"). Первое предложение кажется описанием, но не является ни истинным, ни ложным, поскольку цвета не имеют отношения к числам. Второе предложение выражает, как может показаться, оценку, но о нем нельзя сказать, по аналогии с обычными оценочными высказываниями, что даваемая им оценка эффективна или целесообразна. Сходным образом обстоит дело с В. "Нынешний король Франции является лысым", "Пегас имеет крылья" и т. п., говорящими о свойствах несуществующих объектов. К бессмысленным иногда относятся также В. с туманным смыслом, подобные "Существовать - значит быть воспринимаемым". Нельзя сказать, что бессмысленные В. не являются В., хотя они не относятся ни к описательным, ни к оценочным В. и стоят не только "вне истины и лжи", но и "вне целесообразного и нецелесообразного". Бессмысленные В. могут быть тем не менее составными частями наших рассуждений. Исследованием таких В. занимается так называемая "логика бессмысленности" (см.: Бессмысленное). Она устанавливает, в частности, такие законы: отрицание бессмысленного В. есть бессмысленное В.; следствия бессмысленного В. также являются бессмысленными и т. п. Проблема отнесения бессмысленных В. к В. усложняется, однако, тем, что само бессмысленное неоднородно. Оно простирается от относительной бессмыленности, связанной со смешением семантических категорий, до полной бессмысленности, обусловленной нарушением правил синтаксиса. Если выражение "И -желтое число" еще можно причислить к В., то вряд ли это правомерно в случае выражений типа: "Я ходит", "Если идет дождь, то голова", "Хлестаков - человек является человеком" и т. п. Перечень разных видов В., изучаемых логикой, показывает, что область понятия В. является гетерогенной и не имеет четких границ. Описательные В. - только один из многих видов В., не сводимых друг к другу.