Помощь по Теле2, тарифы, вопросы

), которое выражает некоторый смысл и является либо истинным , либо ложным , но не тем и другим сразу. Как правило, высказывания носят дескриптивный, или описательный характер, и их основной задачей является описание определённой действительности. Тем самым высказывание оказывается либо истинным либо ложным; иногда допускается, что оно способно принимать некоторые «неопределённые» значения истинности, промежуточные между полной истиной и полной ложью. Понимаемое таким образом высказывание противопоставляется обычно повелительным, вопросительным, бессмысленным и вообще любым другим предложениям (например, оценки, нормы, временные утверждения, меняющие своё значение истинности с течением времени), оценка истинности или ложности которых невозможна. Наряду с оценкой истинности, высказывание также рассматривается в связи с теми или иными модальностями («вероятно», «возможно», «невозможно», «необходимо» и другими). В современной логике высказывания формализуются и применяются, главным образом, при применении логических исчислений в какой-либо конкретной области объектов.

По определению, любое высказывание имеет грамматические и логические аспекты. Грамматический аспект высказывания выражается повествовательным предложением (простым или сложным), а логический - его смыслом и истинностным значением. Высказывание, включающее в себя другие высказывания, называется сложным (составным); не включающее в себя таковых - простым (неделимым). Всякое высказывание выражает некоторую мысль , являющуюся его содержанием и называемой смыслом высказывания . Та или иная истинностная оценка высказывания называется его истинностным значением . Объект, к которому относится высказывание, называется предметом высказывания .

В связи с языковой практикой выделяют способы употребления высказываний. Подразумевается, что высказывание употребляется утвердительно, если целью его употребления является выражение истинной мысли. Утвердительное употребление высказывания - это их наиболее частое употребление, так как выражая свои мысли, люди обычно претендуют на их истинность. Но высказывание может употребляться просто как синтаксическое выражение. В том случае, когда истинность содержания высказывания однозначно не утверждается, подразумевается неутвердительное употребление высказывания. Одним из способов неутвердительного употребления высказываний является их косвенное употребление. Оно имеет целью не утверждение истинности мысли, а лишь передачу её содержания. От различных видов употребления высказываний следует отличать их цитирование, которое имеет целью сообщить точный текст высказывания (и только через посредство этого сообщения выразить содержащуюся в нём мысль). Поэтому цитируемые высказывания (которые обычно входят в состав других высказываний) выделяются с помощью тех или иных знаковых средств (например с помощью кавычек). Косвенное употребление высказываний практически не встречается в наиболее употребительных логических исчислениях, так как его допущение приводит к значительным трудностям в формализации.

В естественных языках оценка высказываний с точки зрения истинности часто зависит от того, кто, когда и в каком контексте применил то или иное высказывание. Выражением этой зависимости являются включаемые в высказывания слова-индикаторы: «я», «ты», «теперь», «там» и так далее; значение этих слов бывает различным в зависимости от ситуации. При построении искусственных языков - интерпретированных исчислений математической логики или языков-посредников при переводе с одного естественного языка на другой (см. ) - отвлекаются от зависимости оценки высказывания от указанных обстоятельств, то есть исключают из рассмотрения прагматику языка (см. ), что позволяет сделать понятие «высказывание» более точным.

При построении наиболее элементарного логического исчисления - двузначного исчисления высказываний - исходят только из расчленения высказываний на составляющие высказывания. Те высказывания, которые не подвергаются дальнейшему членению на составляющие, называются элементарными. Из них с помощью логических союзов (обычно для этого выбирается пять общеизвестных грамматических связок: «не», «и», «или», «если…, то» и «если…, и только если») составляются сложные высказывания. При построении исчисления предикатов исходят из более глубокого расчленения высказываний на отдельные термины (и другие языковые образования). В основе анализа высказываний (в том числе элементарных) математической логики находится понятие предиката, или логической функции, то есть функции, которая каждому предмету рассматриваемой области предметов относит либо истину, либо ложь. Логические функции - это то, что в логическом исчислении обычно соответствует понятиям содержательного человеческого мышления. Например, логическая функция, которая каждому из чисел 1 и 2 относит истину, а каждому из чисел 3, 4, 5, … и так далее - ложь, соответствует понятию «быть меньше 3» (область предметов - целые положительные числа).

Выражения, представляющие в языке логические функции, сами по себе не истинны и не ложны, то есть не являются высказываниями. Такие выражения содержат переменные и превращаются в высказывания при подстановке вместо них имён предметов из данной области (см. ). Таково, например, выражение «x x верно, что x x, которое меньше 3», первое из них ложно, а второе истинно.

В логических исчислениях с высказываниями имеют дело главным образом при применении исчислений к конкретным областям науки. В формулах же самих исчислений фигурируют в основном так называемые переменные высказывания. Переменное высказывание не есть высказывание в подлинном смысле, так как вопрос об его истинности или ложности не имеет смысла; это - переменная для высказывания, то есть символ, на место которого можно подставлять конкретные высказывания (или их имена). Чтобы подчеркнуть отличие переменных высказываний от настоящих высказываний, последние часто называют постоянными высказываниями. Применение переменных высказываний служит для выражения всеобщности: оно позволяет формулировать законы исчисления для любых высказываний данного вида. В некоторых исчислениях вводятся также постоянные высказывания. При аксиоматическом построении логических исчислений (см. ) до тех пор, пока не дана интерпретация исчисления, понятия постоянного и переменного высказывания не имеют того содержания, которое указано выше, а рассматриваются просто как символы, вводимые специальными определениями. Однако эти определения подбираются так, чтобы при интерпретации исчисления формально определённые понятия совпали с содержательными понятиями о постоянном и переменном высказывании.

Ни одно исчисление не в состоянии отобразить все логические свойства разнообразных видов выражений, применяемых в естественных языках. Всякое логическое исчисление исходит из некоторых идеализированных представлений о формализуемом содержании. От высказывания, например, требуется, чтобы оно было либо истинным, либо ложным и притом обязательно одно из двух. Но существуют предложения, не удовлетворяющие непосредственно этому требованию. Они нуждаются в уточнении. Это прежде всего относится к выражениям, по форме являющимся грамматически правильными предложениями, но не имеющим смысла. Обычно в таких случаях бывает возможно так уточнить смысл терминов, чтобы рассматриваемое выражение стало истинным или ложным. В логических исчислениях и дедуктивных теориях понятие осмысленного выражения определяется обычно независимо от понятия истинного (или ложного) выражения, и истинностные значения, истина и ложь, относятся лишь к осмысленным выражениям, которые в таких случаях и называют высказываниями.

Следует отметить, что наряду с термином «высказывание» иногда употребляют также термины «предложение» и «суждение» - или как синонимы или за ними закрепляются различающие их значения. Различение указанных понятий относится к логической семантике (см. ), при этом в логической и философской литературе с ним связан ряд дискуссий. В целом, данные различения сводятся к следующему. Предложение как синтаксическое образование, рассматриваемое только по форме, независимо от смысла и оценок истинности или модальности, называют грамматическим предложением. Высказывание, принадлежащие различным языкам и даже одному и тому же языку, могут выражать одну и ту же мысль. Если предложения, имеющие одинаковый смысл, но различающиеся как синтаксические образования, рассматриваются как одно и то же высказывание, то их называют суждениями. Следует, однако, иметь в виду, что в современной логике (см. ) обычно пользуются термином «высказывание», тогда как термин «суждение» (см. ) использовался в традиционной логике (см. ). В целом, перечень разных видов высказываний, изучаемых логикой, показывает, что область понятия высказывания является гетерогенной и не имеет чётких границ.

Должно быть повествовательным предложением , и противопоставляются повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна.

Высказывание и суждение

Одно и то же суждение может быть выражено в разных языках и в разных знаковых формах в пределах одного языка. Когда суждение рассматривается в связи с какой-то конкретной формой его языкового выражения, оно называется высказыванием. Термин «суждение» употребляют, когда отвлекаются от того, какова именно его знаковая форма .

Виды высказываний

Логические высказывания принято подразделять на составные (или сложные) и элементарные. Составные логические высказывания - высказывания, содержащие логические постоянные. Составные высказывания строятся на основе других высказываний. Логическое значение сложного высказывания определяется логическим значением входящих в его состав высказываний и теми логическими постоянными, с помощью которых оно построено .

Элементарные логические высказывания - это высказывания не относящиеся к составным. Примером элементарного высказывания может служить 5 < 7 {\displaystyle 5<7} . Примером составного логического высказывания может служить если 5 < 7 {\displaystyle 5<7} , то 5 {\displaystyle 5} - чётное число .

Логические постоянные

Логическая постоянная (логическая константа , логическая операция ) - название термина, сохраняющего одно и то же значение во всех высказываниях и не зависящего от конкретного содержания высказывания. Логические постоянные используются для соединения простых высказываний в сложные. Логические постоянные делятся на кванторы и логические союзы (связки). Слова: не; неверно, что; и; или; если…, то; тогда и только тогда, когда; либо…, либо; несовместно; ни…, ни; не…, но; но и их ближайшие синонимы являются логическими связками, слова для всех…имеет место, что; для некоторых…имеет место, что и их ближайшие синонимы являются кванторами. Логические постоянные служат как для выражения мыслей в повседневных рассуждениях, так и в научных доказательствах .

• ∀ {\displaystyle \forall } - логические постоянные все , для всех…имеет место, что (квантор общности);
• ∃ {\displaystyle \exists } - логические постоянные существует такой, что… , для некоторых…имеет место, что (квантор существования);
• ∧ {\displaystyle \land } , & {\displaystyle \And } - союз и (конъюнкция);
• ∨ {\displaystyle \vee } - союз или , когда он выступает в соединительно-разделительном значении (дизъюнкция);
• ∨ ˙ {\displaystyle {\dot {\vee }}} , ∨ ∨ {\displaystyle \vee \vee } - союз или , когда он выступает в строго-разделительном исключающем значении (дизъюнкция);
• → {\displaystyle \rightarrow } , ⊃ {\displaystyle \supset } - союз если…, то (импликация);
• ¬ {\displaystyle \neg } - слова не , неверно (отрицание).

Логические союзы являются частью языка логики высказываний , кванторы были дополнительно введены в язык логики предикатов , который является расширением языка логики высказываний .

Логическое подлежащее и логическое сказуемое

Логическое подлежащее - то, о чём говорится в предложении (высказывании) , то, к чему относятся содержащиеся в предложениях утверждения или отрицания. Логическое сказуемое - содержащаяся в предложении (высказывании) информация о логическом подлежащем.

Роль логических подлежащих играют простые и сложные имена, роль логических сказуемых - предикаторы (или предикаты ). К последним относятся свойства и отношения . Предикаторы выполняют роль предметно-истинностного отображения, давая предметам определённого класса оценку «истина» или «ложь». При этом свойства являются одноместными предикаторами, характеризуя один отдельный предмет, а отношения - многоместными, характеризуя пару, тройку и т. д. предметов . Само высказывание в случае с многоместным предикатором содержит несколько логических подлежащих.

Формы высказываний

Форма высказывания требует дополнения, относится ли утверждение или отрицание в суждении ко всем или не ко всем предметам того класса, который представляет данное общее имя. Функцию таких указателей выполняют явно выраженные или подразумеваемые

Известно, что знание логики повышает общую интеллектуальную культуру человека, оказывает содействие формированию логически правильного мышления, основными чертами которого является четкая определенность последовательность, непротиворечивость и доказательность. Освоение логической науки дает возможность сознательно строить правильные соображения, отличать их от неправильных, избегать логических ошибок, умело и эффективно обосновать истинность мыслей, защищать свои взгляды и убедительно опровергать ошибочные мысли и неправильные соображения своих оппонентов, оказывает содействие усовершенствованию стихийно сформированной логики мышления. Благодаря логике человек приобщается к новейшим результатам логических исследований.

Понятие высказывания

Одним из основных понятий логики является «высказывание ». Установим значение этого понятия.

Любая деятельность человека так или иначе связана с разными высказываниями. Суждение, замечание, запись, и т.п. являются высказываниями. В алгебре логики высказывания являются переменной, которая может приобретать одно из двух значений и над которой можно выполнять некоторые действия. Другими словами, высказыванием называется предложение, которое можно оценить как истинное или ложное.

Аналогично переменной обычной алгебры высказываний обозначают буквами какого-нибудь алфавита, например латинского: А, В, X и т.п.

Типы высказываний Простое высказывание

Высказывание по структуре может быть простым или составленным.

По своему смыслу высказывания содержат одно какое-нибудь сообщение или утверждения о существующем мире. Такое высказывание называется простым. Например, «диагноз инфаркт миокарда»; «у пациента наблюдается нарушение сердечного ритма».

Составленные высказывания (логические функции)

Из простых высказываний с помощью связок И, ИЛИ и НЕ образовываются составные высказывания, которые называют логическими функциями. Простые высказывания, из которых образовывается составленное, называются логическими аргументами. Предложение «Больной ощущает сильную боль в области челюсти, рот самостоятельно не закрывается, тяжело глотать и говорить» является составленным высказыванием (логической функцией «И»).

Проблемное, достоверное, условное высказывание

Высказывание по своему смыслу может быть проблемным, достоверным или условным

Проблемное – это высказывание, в котором что-то утверждается или отрицается с определенной степенью предположения. Например, “причиной головной боли является, наверное, повышенное давление”.

Достоверное – это высказывание, которые содержит знание, обоснованные и проверенные практикой. Например, “человек дышит воздухом”.

Условное – это высказывание, в котором отображается зависимость того или иного явления от тех или других обстоятельств и в котором основание и следствие соединяются с помощью логического союза “если … , это... ” Например, “если диагноз инфаркт миокарда, то наблюдается нарушение сердечного ритма». Таким образом, в условном высказывании нужно различать основание и следствие.

Множество значений высказывания

Любое высказывание может соответствовать или не соответствовать действительности. В первом случае оно называется истинным, во втором  ложным. Истинное высказывание можно обозначать символом 1, а ошибочное + символом 0 или наоборот. Такое обозначение является условным. Можно также использовать другие символы-обозначения: истинное высказывание обозначить символом И, а ложное Л. Таким образом, не считаясь с разнообразие высказываний, все они в алгебре логики могут приобретать только два значений: 1 или 0.

Существуют высказывания, которые всегда истинны. Например, «Человек дышит воздухом», «Пневмония – воспаление легких». Обозначив приведенные высказывания через X и Y соответственно, можно записать

Существуют высказывания ошибочные. Например, «Анемия – это сердечная недостаточность», «Для развития живого организма нужен никотин». Обозначив их через S и P соответственно, можем записать

Большинство высказываний могут быть истинными или ошибочными. Высказывание «кожа человека бледно-розового цвета» верно лишь для здорового человека, в других случаях - импликация;  

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

Определения, значения слова в других словарях:

Общая психология. Словарь. Под ред. А.В. Петровского

Высказывание - единица речевого общения. В логике В. соотносится с суждением и рассматривается только с позиций истинности/ложности. В лингвистике определение В. зависит от выбранного теоретического подхода и метода анализа речи, чаще синонимично понятию фразы. В некоторых...

Грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия

В логике предложение, которое может быть истинно или ложно. См. также: Высказывания Исчисление высказываний Финансовый словарь Финам. Высказывание Высказывание оформленная в речи законченная мысль, смысл которой зависит от конкретной или… … Финансовый словарь

Предложение, суждение, заявление; замечание, тавтология, произнесение, говорение, контрадикция, логос, выступление, стэйтмент, выкладывание, изречение, словоизлияние, утверждение, изложение, дискурс, фраза, изливание, рассуждение, сутра,… … Словарь синонимов

ВЫСКАЗЫВАНИЕ, высказывания, ср. (книжн.). 1. только ед. Действие по гл. высказывать. Высказывание своего мнения. 2. Высказанное суждение, замечание, мнение. Собрать высказывания классиков марксизма о языке. Толковый словарь Ушакова. Д.Н. Ушаков.… … Толковый словарь Ушакова

Мысль, выраженная повествовательным предложением и могущая быть истинной или ложной; в языкознании единица речевого общения, оформленная по законам данного языка … Большой Энциклопедический словарь

ВЫСКАЗЫВАНИЕ, я, ср. 1. см. высказать, ся. 2. Высказанное суждение. Содержательное в. 3. В грамматике: любая интонационно оформленная синтаксическая единица, содержащая сообщение, фраза. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949… … Толковый словарь Ожегова

ВЫСКАЗЫВАНИЕ - ВЫСКАЗЫВАНИЕ. Единица речевого общения, обладающая смысловой целостностью, оформленная определенным актуальным членением в составе речевого акта. В. может совпадать с предложением, но может быть и сообщением, не укладывающимся в схему простого… … Новый словарь методических терминов и понятий (теория и практика обучения языкам)

высказывание - Возможное состояние сущностей, по поводу которого можно утверждать или отрицать, что такое состояние имеет место. [ГОСТ 34.320 96] Тематики базы данных EN proposition … Справочник технического переводчика

Высказывание - Высказывание единица речевого общения. Потребность в выделении высказывания как лингвистического понятия связана с углублением исследования функционирования языковых форм в речи. Высказывание определяется по отношению к понятию предложения.… … Лингвистический энциклопедический словарь

Высказывание: Высказывание (логика) предложение, которое может быть истинно или ложно. Высказывание (лингвистика) предложение в конкретной речевой ситуации. См. также Суждение … Википедия

высказывание - I. ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ, выливание, выражение, изливание, изъявление ВЫСКАЗЫВАТЬ/ВЫСКАЗАТЬ, выливать/вылить, выражать/выразить, изли вать/излить, книжн. изъявлять/изъявить ВЫСКАЗЫВАТЬСЯ, изливаться ВЫСКАЗЫВАТЬСЯ/ВЫСКАЗАТЬСЯ,… … Словарь-тезаурус синонимов русской речи

Книги

• Высказывание и его соотнесенность с действительностью. Референциальные аспекты семантики местоимений , Падучева Е.В.. Настоящая монография посвящена проблемам соотнесения высказывания с действительностью - с конкретными предметами, событиями и ситуациями реального мира. В книгерассматривается теория…