Логический анализ высказываний

План

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

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

3. Атрибутивные (категорические) высказывания. Их состав, виды и условия истинности.

4. Реляционные высказывания. Их состав и виды.

5. Сложные высказывания. Их виды и условия истинности.

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

Суждение - это мысль о наличии или отсутствии в действительности некоторой ситуации. В языке суждение выражается повествовательным предложением и может оцениваться в качестве истинного или ложного. Суждение лишено психологического оттенка, свойственного утверждению. Одно и то же суждение может быть выражено несколькими предложениями одного и того же языка или различных языков. Так, фраза “Плавт сказал, что человек человеку волк” сообщает, какое суждение высказал Плавт, но ничего не говорит о том, каким он пользовался языком. Эта мысль может быть выражена как на русском, так и на других языках. Если же мы говорим, что какое-то суждение высказывалось кем-то, мы не сумеем передать свою мысль, пока не укажем, какой при этом употреблялся язык. Верно, что Плавт высказал предложение “Homo homini lupus est”, но неверно, что он произнес когда-то предложение “Человек человеку волк”. Суждение можно охарактеризовать как то общее, что имеют два предложения, являющиеся адекватными переводами друг друга.

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

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

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

Простым называется высказывание, в котором нельзя выделить правильную часть, т.е. часть, не совпадающую с целым, в свою очередь являющимся высказыванием.

Компоненты простых высказываний:

1. Логическое подлежащее (субъект) - это термин, представляющий предмет мысли, то, о чем идет речь. К примеру, в высказывании “снег белый” субъектом является термин “снег”. Логическое подлежащее часто обозначается латинской буквой S (от слова “subjectum” - субъект).

2. Логическое сказуемое (предикат) - это термин, представляющий то, что говорится о предмете мысли. В том же высказывании “снег белый” предикат - “белый”. Логическое сказуемое часто обозначается латинской буквой P (от слова “praedicatum” - предикат).

3. Связка (внутренняя связка) - она указывает на наличие или отсутствие отношений (например, “есть”, “не есть”, “является”, “суть”). В естественном языке связка часто опускается, но при этом подразумевается ( в высказывании “снег белый” связка “есть” подразумевается).

4. В состав некоторы простых высказываний входят кванторные слова (“всякий”, “каждый”, “любой”, “некоторый” и т.д.).

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

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

Например, высказывание “Москва севернее Одессы и Севастополя” является сложным, состоящим из двух простых: (1) “Москва севернее Одессы” и (2) “Москва севернее Севастополя”. Сложные высказывания образуются из простых при помощи внешних связок “и”, “или”, “если... то...” и т.п.