Суждения действительности — те, которые адекватно или неадекватно, но все равно категорично (что и выражается связками «есть», «не есть», «суть», «не суть» и др.) отражают настоящее.

Суждения необходимости могут отражать прошлое, настоящее и будущее. Они выражаются оператором «необходимо», включенным в структуру суждения: «Необходимо, что S есть Р», «Необходимо, что кислород способствует горению», или «Кислород необходимо способствует горению», «Необходимо, что сумма внутренних углов треугольника на плоскости равна двум прямым» и т.п.

Суждения возможности тоже отражают то, что могло быть в прошлом, может быть в настоящем или в будущем. Они выражаются с помощью оператора «возможно», «вероятно» и пр.: «Возможно, что S есть Р», «Вероятно, что завтра будет дождь», «Возможно, что он был обманут». Истинностные зависимости между модальными суждениями будут рассмотрены позже.

По содержанию предиката суждение делится на суждение свойства (атрибутивное), суждение отношения (релятивное) и суждение существования (экзистенциальное):

- суждение свойства (атрибутивное суждение) отражает принадлежность или не принадлежность предмету мысли того или иного свойства, состояния.

-суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причинной зависимости.

- суждение существования (экзистенциальное суждение) указывает на факт наличия или отсутствия того или иного предмета мысли.

Определите вид простого суждения по смыслу (суждение свойства, отношения или существования);

1) В Европе нет государств не имеющих флага. Это суждение существования, так как оно отрицает наличие в Европе государств не имеющих гимна.

2) Законность – неотъемлемая часть демократии. Это суждение свойства, так как здесь отражена принадлежность такого свойства как законность к демократии.

3) Звание капитана 1-го ранга выше звания капитана 3-го ранга. Это суждение отношения, так как здесь устанавливаются отношения званий различного ранга.

3. Силлогизмы. Простой категорический силлогизм. Определение фигуры и модуса простого категорического силлогизма

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

При соблюдении правил умозаключения логическое следствие из посылок не может быть ложным, несмотря на возможную логическую неочевидность или даже, кажущуюся невероятность. Так, например, из истинных посылок «Все углероды горючи» (углерод – С – высокоактивный, легко окисляющийся химический элемент) и «Алмаз – углерод» (в его кристаллической структуре), получается, на первый взгляд абсурдное, но, тем не менее, истинное следствие: «Алмаз горюч», – для проверки которого не требуется проведения эксперимента по сжиганию алмаза. Такое, заведомо истинное умозаключение, является дедуктивным.

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

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

Мы можем классы, получаемые от разделения суждений с точ­ки зрения количества, соединить с классами, получаемыми от разделения суждений с точки зрения качества, и тогда мы по­лучим суждения общеутвердительные и частноутвердительные, общеотрицательные и частноотрицательные.

Формулы этих суждений будут следующие: .

1. Общеутвердительное суждение: «все S суть Р». Например, «все люди боятся смерти».

2. Частноутвердительное суждение: «некоторые S суть Р». Например, «некоторые люди имеют чёрный цвет кожи».

3. Общеотрицательное суждение: «ни одно S не есть Р». Например, «ни один человек не всеведущ».

4. Частноотрицательное суждение: «некоторые S не суть Р». Например, «некоторые люди не имеют чёрного цвета кожи».

Вот все четыре вида суждений. Для краткости их обозначе­ния в логике принято употреблять следующие символы. Для общеутвердительного суждения берут символ А, первую глас­ную глагола affirmo - утверждаю; для частноутвердитель­ного — I, вторую гласную того же глагола; для общеотрица­тельного — Е, первую гласную глагола nego — отрицаю; для частноотрицательного — О, вторую гласную того же глагола.

Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:

А Все S суть Р.

I Некоторые S суть Р.

Е Ни одно S не есть Р.

О Некоторые S не суть Р.

Понятия, входящие в состав силлогизма называют его терминами. Большой термин – предикат заключения, посылка, его содержащая – большая посылка (пишется в первой строке силлогизма); Малый термин – субъект заключения, посылка его содержащая – малая посылка (пишется во второй строке); средний термин – общее звено посылок – общее понятие, объединяющее обе посылки (выпадающее в заключении):

Положение среднего термина определяет четыре типа построения (фигуры) простого категорического силлогизма, каждый из которых должен соответствовать своему формальному правилу вывода: