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

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

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

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

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

Таким образом, классификация категорических высказываний по качеству и количеству содержит четыре типа:

— общеутвердительные (А):

— общеотрицательные (Е);

— частноутвердительные (I);

— частноотрицательные (O).

 

Логика - доступно для всех