В более чем двухтысячелетней истории логики настоящее время представляет один из наиболее интенсивных периодов ее развития очень быстро растут и объем новой информации, и количество новых результатов. Кроме того, если еще недавно логика была сферой интересов лишь сравнительно узкого круга специалистов, то сейчас она превратилась в дисциплину важную и нужную для многих, а в области современного образования - для всех.

Учение о силлогизме является исторически первым законченным фрагментом логической теории умозаключений. Оно систематически изложено
Аристотелем в «Аналитиках» и под именем силлогистики существует до настоящего времени, обладая самостоятельной ценностью.

Категорические высказывания

Логика высказываний сводит сложные высказывания к простым
(атомарным).

Она рассматривает сложные высказывания как функции от простых, но простые при этом уже не расчленяются.

Высказывания, имеющую структуру, выраженную формулой «S есть P» называют утвердительными, а имеющие структуру «S не есть P» - отрицательными. Это деление по качеству.

Кроме того, категорические высказывания делятся по количеству на единичные (Это S есть (или не есть) P), общие (Все S есть (или не есть) P) и частные (Некоторые S есть (или не есть) P). Слова «все» и «некоторые» называют кванторными словами.

При изучении умозаключений (силлогизмов) не делают различий между единичными и общими высказываниями, ибо в общих видах некоторый признак утверждается (или отрицается) относительно каждого элемента рассматриваемого множества предметов. Различие лишь в том, что множество, о котором идет речь в единичном высказывании состоит из одного элемента, а в общем - из более чем одного...