Словарь по логике

 

Связка силлогистическая
Выражение, соединяющее два термина в атрибутивное высказывание. Существуют различные трактовки силлогистичесих связок.
  1. Строго говоря, логически существует только одна силлогистическая связка – “есть” (и синонимичные ей выражения: ”суть” (архаичное множественное число от “есть”), ”является”, ”являются” и т.п.). Все остальные выражения, включаемые обычно в состав связки, (т.е. отрицание и кванторные выражения) частью связки не являются.
  2. Более привычная для логики трактовка – существует две силлогистических связки: “есть” и “не есть” (и синонимичные им выражения), образующих, соответственно, утвердительные и отрицательные высказывания. Связки в этом случае так же называются утвердительной и отрицательной. Кванторное выражение рассматривается как отдельная часть высказывания.
  3. Третья трактовка рассматривает связку “есть”, отрицание “не” (если нужно) и кванторное выражение (или выражения, если предикат тоже квантифицируется) как части единой силлогистической связки. Такая трактовка закрепилась в современной логике благодаря применяемому при формализации силлогистик символьному аппарату. В этом случае каждому виду атрибутивного высказывания соответствует своя силлогистическая связка и наоборот.
Шиян Т.А.

© Автор статьи.