Главная Законы Высказывание или. Определить: Высказывание или нет. Толковый переводоведческий словарь

Высказывание или. Определить: Высказывание или нет. Толковый переводоведческий словарь

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

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

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

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

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

Элементарные логические высказывания - это высказывания не относящиеся к составным. Примером элементарного высказывания может служить 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 } - слова не , неверно (отрицание).

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

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

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

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

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

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

Высказывание, устанавливающее какую-то норму поведения. Языковые формулировки Н. в. многообразны и разнородны. Иногда оно имеет форму повелительного (императивного) предложения. Чаще Н. в. представляется повествовательным предложением с особыми нормативными словами: "обязательно", "разрешено", "запрещено", "(нормативно) безразлично". Вместо указанных могут употребляться также другие слова и обороты: "должен", "может", "не должен", "позволено", "рекомендуется", "возбраняется" и т. п. В языковом представлении Н. в. решающую роль играет контекст, в котором выражается норма. Можно говорить об обычных, или стандартных, формулировках Н. в., но вряд ли можно сказать, что существует грамматическое предложение, в принципе не способное выражать такое высказывание. Попытка определить Н. в. на чисто грамматических основаниях не приводит к успеху.

Более удачными представляются попытки уточнить понятие Н.в. путем выявления внутренней структуры выражаемых норм и исследования многообразных разновидностей норм.

Структура и логические связи Н. в. изучаются деонтической логикой (логикой норм). Она исходит из представления, что все нормы, независимо от их конкретного содержания, имеют одну и ту же структуру. Каждая норма включает четыре "элемента": содержание - действие, являющееся объектом нормативной регуляции; характер - норма обязывает, разрешает или запрещает это действие; условия приложения - обстоятельства, в которых должно или не должно выполняться действие; субъект - лицо или группа лиц, которым адресована норма. Не все эти структурные элементы находят явное выражение в языковой формулировке Н. в. Но это не означает, что они не обязательны. Без любого из них нет нормы и, значит, нет выражающего ее Н. в.

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

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

Нормы представляют собой частный случай оценок: это социально апробированные и социально закрепленные оценки. Средством, превращающим позитивную оценку действия в норму, требующую его реализации, является угроза наказания, или санкции. "Обязательно действие А" можно определить как "Делать A хорошо, и позитивно ценно, что воздержание от этого действия ведет к наказанию". Н. в. является, таким образом, особым случаем оценочного высказывания.

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

Как и всякое оценочное высказывание, Н.в. не является ни истинным, ни ложным. Истина характеризует отношение между высказыванием описательным и действительностью. Нормы не являются дескриптивными, они не употребляются для описания и описывают постольку, поскольку это необходимо для выполнения основной функции - предписания.

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

Истинное высказывание – такое высказывание, в котором наша мысль о предмете соответствует действительности.

$: Гора Монблан находится в Европе.

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

Высказывания делятся на простые и сложные.

Простое высказывание – это суждение, в котором ни одна из его частей высказыванием быть не может(не содержит логических союзов)

$: Лишь самые умные и самые глупые не могут измениться.(Конфуций)

$: Некоторые клятвы лживы.

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

$: Если выбор рационален, то выбирается лучшая из имеющихся альтернатив

$: Пока родители живы, не уезжай далеко, а если уехал, живи в определенном месте.

СЛОЖНЫМИ ЗАНИМАТЬСЯ НЕ БУДЕМ.

$: Волга есть река, впадающая в Каспийское море.

Структура простого высказывания

Субъект

Предикат

Логическая связка

Квантор

Субъект – это то, о чем говорится в высказывании. Выражается через S.(подлежащее)

Предикат – то, что говорится о субъекте. Обозначается P.(сказуемое)

Связка – это знак качества, указывающий на соединение или разъединение субъекта и предиката.

Квантор – указывает, какая часть объема субъекта принадлежит объему предиката. Обычно стоит перед субъектом высказывания, обозначается через слова (все, некоторые, ни один)

$: Все металлы проводят электричество.

Формула структуры простого категорического высказывания.

По количеству:

1. Общие

2. Частные

3. Единичные

Общие.

В общем высказывании субъектом является целый класс во всем своем объеме.

Все S-P.

$: Все птицы - теплокровные животные.

Частные.

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

Некоторые S-P.

$: Некоторые птицы улетают на зиму в теплые края.

Единичные.

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

Этот S-P

$: Эта птица – соловей

Классификация высказываний по количеству.

Качеством высказывания называется его отрицательная или утвердительная форма. В зависимости от нее все высказывания делятся на:

Утвердительные

Отрицательные

Утвердительные.

Утвердительным является высказывание, в котором сообщается, что субъекты обладает тем или иным свойством.

S есть P

Отрицательные.

Отрицательное высказывание сообщает об отсутствии некоторого свойства у субъекта, об отсутствии отношений между субъектом и предикатом.

S не есть P

$: Некоторые люди не являются грамотными

Объединяя деления по качественному и количественному показателю, получаем следующую классификацию простых категорических высказываний:

Общеутвердительные(А)

Общеотрицательные(E)

Частноутвердительные(I)

Частноотрицательные(O)

Общеутвердительное.

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

Все S есть P

$: Все драконы являются романтичными

Частноутвердительное.

Частное по количеству и утвердительное по качеству.

Некоторые S есть P.

$: Некоторые шпионы являются лысыми.

Общеотрицательные.

Общее по количеству и отрицательное по качеству

Все S не есть P

$: Все вампиры не являются футболистами.

Частноотрицательное.

Частное по количеству и отрицательное по качеству

Некоторые S \

Некоторые толстяки не носят очки

Отношения между элементарными категорическими высказываниями

1. Противоречие

2. Противоположность

3. Частичная совместимость

4. Подчинение

Логический квадрат

А противоположность Е

Подчинение подчинение

отношение противоречия

Это отношение существует между высказываниями A-O E-I

Высказывания находящиеся в этом отношении не могут быть одновременно ни истинными ни ложными. Из истинности одного высказывания следует ложность другого ил ложности одного – истинность другого

Обе диагонали квадрата изображают отношение противоречия

Все мухи – насекомые (истина)

Некоторые мухи не есть насекомые (ложь)

Некоторые кошки – зеленые (ложь)

Все кошки не есть зеленые (истина)

Отношение противоположности.

Это отношение существует между высказываниями А-Е

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

Верхняя сторона квадрата логического

Все киты – млекопитающие (истина)

Все киты не есть млекопитающие(ложь)

Все кошки растения (а) – ложь

Все кошки не есть растения (е) – истина

У всех людей есть головы(истина)

Ни у одного человека нет головы

Отношение частичной совместимости.

Отношение между высказываниями I-O. Субконтрарные высказываниям не могут быть одновременно ложными, но могут быть одновременно истинными. Из ложности одного высказывания следует истинность другого, но из истинности одного не может следовать как истинность так и ложность другого

Некоторые кошки летают (I) - ложь

Некоторые кошки не летают (O) –истина

Некоторые мыши не летают(О) истина

Нельзя утверждать, что некоторые мыши летают(I) – ложь, ведь могут быть другие «некоторые летучие мыши)

Отношение подчинения.

Это отношение существует между A-I E-O

Из истинности общих высказываний следует истинность частных высказываний

Из истинности частного высказывания истинность общего не следует

Из ложности общих высказываний следует ложность частных высказываний

Из ложности частного высказывания следует ложность общего высказывания

Все люди есть млекопитающие (истина)

Некоторые люди есть млекопитающие (истина)

Некоторые кошки – рыжие (истина)

Все кошки рыжие (ложь/истина)

Умозаключения.

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

Все женщины любят красиво одеваться.

Некоторые любители логики любят красиво одеваться.

Некоторые любители логики – женщины.

Суждения, из которых можно получить вывод – посылки или предпосылки умозаключения.

Суждение, которое признается истинным путем умозаключения, т.е. сопоставлением посылок называется заключением или выводом .

Виды умозаключений:

1) Дедуктивные

2) Недедуктивные:

А) Индукция

Б) Аналогия

Дедуктивными

1)вывод заключения из посылок основан на логических характеристиках элементов умозаключения

2)между посылками и заключением присутствует отношение логического следования

3)вывод заключения из посылок осуществляется с логической необходимостью

$: Если ваша девушка – вампир, то она не отражается в зеркале

Ваша девушка - вампир.

Следовательно, она не отражается в зеркале.

Индуктивные рассуждения.

Недедуктивными называют такие рассуждения, которым присущи следующие свойства:

1) Вывод заключения из посылок основан на закономерностях предметной области рассуждения

2) Между посылками и заключением отсутствует отношение логического следования.

3) Вывод заключения из посылок имеет вероятностный характер

#: Аргентина – республика.

Бразилия – республика

Эквадор – республика

Аргентина, Бразилия, Эквадор – это латиноамериканские страны.

Следовательно, все латиноамериканские страны – республики.

Но Куба же не республика. è Не все латиноамериканские страны – республики.

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

Логическое следование

Отношением логического следования называют такую связь между высказываниями А1, А2…Аn (посылками) и высказыванием В (заключением), при которой В не может быть ложным, если все посылки истинные суждения.

Силлогизм.

Силлогизмы – простые и сложные.

Простой - две посылки.

Сложный содержит в себе более 2-ух посылок.

Все американцы (М) – любители жевательной резинки (Р).

Все жители Санта-Барбары (S) американцы.

Следовательно, все жители Санта-Барбары (S) –любители жевательной резинки (P).

Основным (неопределяемым) понятием математической логики является понятие «простого высказывания».

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

Приведем примеры высказываний:

1) Новгород стоит на Волхове.

2) Париж – столица Англии.

3) Карась не рыба.

4) Число 6 делится на 2 и на 3.

5) Если юноша окончил среднюю школу, то он получает аттестат зрелости.

Высказывания 1), 4), 5) истинны, а 2) и 3) – ложны.

Очевидно, предложение «Да здравствуют наши спортсмены!» не является высказыванием.

Высказывание, представляющее собой одно утверждение, принято называть простым или элементарным. Примерами элементарных высказываний могут служить высказывания 1) и 2).

Высказывания, которые получаются из элементарных с помощью грамматических связок «не», «и», «или», «если …, то …», «тогда и только тогда», принято называть сложными или составными. Так, высказывание 3) получается из простого высказывания «Карась – рыба» с помощью отрицания «не», высказывание 4) образовано из элементарных высказываний «Число 6 делится на 2», «Число 6 делится на 3», соединенных союзом «и». Высказывание 5) получается из простых высказываний «Юноша окончил среднюю школу», «Юноша получает аттестат зрелости» с помощью грамматической связки «если …,
то …». Аналогично сложные высказывания могут быть получены из простых высказываний с помощью грамматических связок «или», «тогда и только тогда».

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

В дальнейшем будем элементарные высказывания обозначать буквами латинского алфавита: a,b,c,…,x,y,z,…; истинное значение – буквой И или цифрой 1, а ложное значение – буквой Л или цифрой 0.

Если высказывание а истинно, то будем писать а=1 , если же ложно, то а=0 .

Логические высказывания принято подразделять на два вида: элементарные логические высказывания исоставные логические высказывания.

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

Логическая связка - это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.

Элементарные логические высказывания - это высказывания не относящиеся к составным.

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

46. Элементы алгебры логики

Алгебра логики – это раздел математической логики, значения всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1. Алгебра логики оперирует с логическими высказываниями.

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

Высказывания:

– “Сейчас идет снег” – это утверждение может быть истинным или ложным;

– “Вашингтон – столица США” – истинное утверждение;

– “Частное от деления 10 на 2 равно 3” – ложное утверждение.

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

Простейшими операциями в алгебре логики являются операции логического сложения (иначе: операция ИЛИ (OR),операция дизъюнкции) и логического умножения (иначе: операция И (AND), операция конъюнкции). Для обозначения операции логического сложения используют символы + или V, а логического умножения – символы или Правила выполнения операций в алгебре логики определяются рядом аксиом, теорем и следствий. В частности, для алгебры логики применимы законы:

1. Сочетательный:

47. (a + b) + с = а + (b + с ),

48. (а b) с = а (b с ).

2. Переместительный:

49. (а + b) = (b + a),

50. (а b) = (b а).

3. Распределительный:

51. а (b + с) = а b + (a с),

52. (а + b) с = а с + b с.

Справедливы соотношения, в частности:

53. а + а = аа + b = b, если а ≤ b,

54. а а = аа b = а , если a ≤ b,

a + a b = aa b = b, если а ≥ b ,

а + b = а, если а ≥ b.

Наименьшим элементом алгебры логики является 0, наибольшим элементом – 1. В алгебре логики также вводится еще одна операция – отрицания (операция НЕ (NOT) , инверсия), обозначаемая чертой над элементом.

По определению

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

и т. д. Эти соотношения используются для синтеза логических функций и вычислительных схем.

Словарь Ушакова

Высказывание

выска зывание , высказывания, ср. (книж. ).

1. только ед. Действие по гл. . Высказывание своего мнения.

2. Высказанное суждение, замечание, мнение. Собрать высказывания классиков марксизма о языке.

Высказывание

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

Риторика: Словарь-справочник

Высказывание

1) Вперед !; Книгу ! и т.п.;

4) в риторике

Словарь лингвистических терминов

Высказывание

Одно из основных синтаксических понятий, имеющее различные толкования:

1) комплексная синтаксическая единица, имеющая конкретный смысл, структуру и формальную организацию; высказывание может не иметь форму предложения: Вперед! ; Книгу! и т.п.;

2) единица речи, речевая реализация предложения - языковой единицы - путем лексического наполнения структурной схемы, структурной модели (предложения);

3) содержательная сторона предложения как многоаспектной единицы языка и речи, имеющего формальную и содержательную стороны.

4) в риторике : завершенное произведение слова, адресованное определенной аудитории; реплика в разговоре, ораторская речь, научная статья, газетный материал, философский трактат, письмо, финансовый отчет и т.п.

Толковый переводоведческий словарь

Высказывание

1. Линейная цепочка знаков, особым образом отобранных, объединенных по каким-то правилам и расположенных в определенном порядке.

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

См. информативные, тематические, целевые высказывания .

3. Единица речи (в устном или письменном варианте), оформленная по законам данного языка. Высказывание может быть единым, может входить в состав более крупных речевых единиц - диалога, монолога и т.д.

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

5. Оформленная в речи законченная мысль, смысл которой находится в зависимости от конкретной или воображаемой ситуации.

6. Единица сообщения; характеризуется смысловой целостностью благодаря наличию в ней семантической и ситуационной информации. Может состоять из одной или нескольких фраз.

Риторика: Словарь-справочник

Высказывание

Одно из основных синтаксических понятий, имеющее различные толкования:

1) комплексная синтаксическая единица, имеющая конкретный смысл, структуру и формальную организацию; высказывание может не иметь форму предложения: Вперед !; Книгу ! и т.п.;

Тезаурус русской деловой лексики

Высказывание

Syn: предложение, суждение, заявление