Логика высказываний. Простое атрибутивное высказывание и его структура.

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

«Снег белый». Такое высказывание называют атрибутивным.

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

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

– связка – способ взаимосвязи между субъектом и предикатом,

выражается словами «есть», «является», «суть», «не есть», «не является», «не суть»;

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

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