4. ВЫСКАЗЫВАНИЯ. ЗАКОНЫ ЛОГИКИ

4.1. Общая характеристика высказывания

Высказывание – это форма мышления, в которой что-либо утверждается или отрицается, и которая вследствие этого обладает свойством быть истинной или ложной. В традиционной логике термину «высказывание» соответствует термин «суждение».

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

Субъект (S) – это имя, которое обозначает предмет нашей мысли; а предикат (Р) – имя, обозначающее признак, которым данный предмет обладает или не обладает. Предметом нашей мысли могут выступать материальные или идеальные объекты, все то, что включается в сферу нашей познавательной деятельности. Под признаком понимается любое свойство предмета или любое отношение между предметами.

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

Различают простые и сложные высказывания. Простое высказывание не делится на более простые высказывания. Простые высказывания, соединенные при помощи логически союзов, составляют сложное высказывание.

4.2.Виды простых высказываний по содержанию

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

Если в высказывании содержится информация об отношении между некоторыми предметами: «Минск старше Новополоцка», «Сережа – друг Васи», то такое высказывание называют реляционным.

Содержанием экзистенциального высказывания является факт существования или несуществования предмета: «Любовь существует».

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

30

4.3. Структура атрибутивного высказывания

S – субъект – имя, выражающее предмет мысли; в качестве такого может выступать все то, что было включено в сферу нашей практической или теоретической деятельности;

P – предикат – имя, выражающее признак предмета мысли;

–связка – способ взаимосвязи между субъектом и предикатом, выражается словами «есть», «является», «суть», «не есть», «не является», «не суть»;

–кванторные слова содержат указание на число предметов, о которых идет речь в высказывании. Различают единичные, частные и общие кванторы. Единичный квантор при единичных именах обычно не выражается, при именах общих может быть выражен словами «тот», «этот», «один из». Выражением частного квантора являются слова «некоторый», «многие», «большинство», «часть» и т. д. Частный квантор выражается обязательно. Общий квантор выражается словами «все», «каждый», «ни один», «никто», «никакой» и т. п. Словесное выражение общего квантора может отсутствовать в предложении.

Пример выделения структурных элементов атрибутивного высказывания изображен на рис. 7.

Рис. 7

4.4. Виды атрибутивных высказываний по качеству и количеству

Атрибутивные высказывания классифицируются по следующим признакам:

а) по качеству (на качество указывает связка):

-утвердительные – признак, мыслимый в предикате, приписывается субъекту высказывания;

-отрицательные – признак, мыслимый в предикате, отрицается у субъекта высказывания.

б) по количеству (в зависимости от числа предметов, о которых идет речь в субъекте):

-единичные – в субъекте мыслится только один предмет;

-частные – в субъекте мыслятся некоторые элементы класса;

-общие – в субъекте мыслится весь класс однородных предметов;

31

4.5. Распределенность терминов в атрибутивном высказывании

Проблема распределенности терминов (S и Р) представляет собой вопрос о соотношении их объемов. Термин считается распределенным, если он целиком входит в объем другого термина или полностью из него исключается. Частичное совпадение объемов свидетельствует о том, что термины не распределены.

32

33