Простые суждения. Логическая структура

Простые суждения включают в себя в качестве структурных элементов: субъект, предикат, связку и кванторное слово. Субъектом суждения называется понятие, выражающее предмет суждения, то есть это то, о чем говорится в данном суждении. Обозначается в логике латинской буквой «S». Предикатом суждения называется понятие, выражающее ту или иную информацию о предмете суждения. Обозначается предикат буквой «Р». Субъект и предикат – основные элементы суждения, они называются терминами суждения.

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

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

В самом общем виде простое суждение можно выразить формулой: «S есть (не есть) Р». В современной логике «S» и «Р» называют логическими переменными, так как они могут вмещать в себя самое различное содержание. А связка – это логическая постоянная, поскольку в ней заключено неизменное содержание: она всякий раз служит показателем наличия или отсутствия чего-либо у предмета мысли.