Логические связки – специальные логические символы, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Иногда логические связки также называют пропозициональными связками (от лат. proposition – предложение, суждение, высказывание). Логика стоиков Первая теория логических связок была разработана в рамках стоицизма. Основной единицей стоической логики является не термин (понятие), как у Аристотеля, а «высказанное» (λεϰτόν)...

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