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