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