Приведите примеры и объясните функцию логической связки в суждении.

     В предложении мы всегда высказываем что-нибудь относительно чего-нибудь. То, относительно чего мы высказываем, называется подлежащим, субъектом, а то, что мы о нём высказываем, называется предикатом, сказуемым. Типом простого предложения является предложение «A есть B», «A не есть B». В этих предложениях A есть субъект, B есть предикат; «есть» и «не есть» называется связкой, потому что она служит для связывания подлежащего со сказуемым. Связка – элемент суждения, который соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака. Связка выражается словами “есть” (“не есть”), “является” (“не является”) и т. п. В русском языке связка обычно подразумевается или заменяется тире.

     Устанавливая принадлежность или не принадлежность признака предмету, связка объединяет термины суждения в единое целое. Благодаря этой функции связка является необходимым элементом суждения.

     Вразвитых логических системах выделяются следующие значения связки: предикация признака ‘Сократ смертен’); вхождение индивида в состав класса (‘Сократ — человек’); тождество (‘Этот человек — Сократ’); вхождение подкласса в состав класса (‘Собака — животное’). Соединяя имена непредметного значения, связка может выражать причинно-следственные отношения («Нерешительность — это поражение»), сравнение («Жизнь есть борьба») и т. д. Эти значения близки к функциям пропозициональной связки в логике, аналогичной союзам сложного предложения.

Полная структура простого суждения включает четыре элемента:

• субъект (S) - понятие, отражающее сам предмет мысли, то, о чем что-то говорится;
• предикат (Р) - понятие, отражающее то, что именно говорится о субъекте, признак предмета;
• связка (в языковой форме выражается словами "есть/не есть", "суть/не суть, "является/не является и т.п., либо вообще только подразумевается или она заменена тире). Используется для соединения терминов, субъекта и предиката, с ее помощью обозначается утверждение или отрицание принадлежности предмету определенного типа.

Так, в суждении “Столицей России является город Москва” субъект – понятие “столица России”, предикат – “город Москва”, связка выражена словом “является”.

• квантор (всеобщности (") - "все", "каждый", "ни один… не" ("все … не") и т. п.; существования ($) - "некоторые", "многие", "часть" и т. п.; единственности существования ($!) - "этот", "данный" и т. п.), отражающий количественную характеристику суждения.