Утверждая или отрицая принадлежность признака предмету, мы вместе с тем отображаем в суждении существование или не существование предмета суждения в действительности. Так, например, в таких простых суждениях, как: “существуют космические луги”, “Русалки не существуют в действительности” и т.п., мы непосредственно утверждаем (или отрицаем) существование предмета суждения в действительности. В прочих простых суждениях существование предмета суждения в действительности нам уже заведомо известно. Не только в суждениях существования, а и во всяком простом суждении содержится знание о существовании или не существовании этого суждения в действительности.

 
 

  Деление суждений на виды по характеру связки

  Связка  суждения может быть либо утвердительной, либо отрицательной. Соответственно это  суждению по характеру связки (или “по качеству”) делятся на утвердительные и отрицательные.

  Категорические  суждения – делятся по качеству и количеству .

 
 

      По  количеству

      Утвердительные  суждения отображают наличие какого-либо признака, т.е. черты, стороны, свойства, состояния и т.п. в предмете суждения.

      Отрицательные суждения отображают отсутствие какого-либо признака в предмете суждения. Например, в суждении: “Язык не является классовым” речь идет об отсутствии у “языка” признака классовости.

 
 
 

      По  количеству

      Деление суждений на виды по характеру предмета суждения.

      По  характеру предмета суждения ( или  “по количеству”) суждения делятся  на единичные,  частные и общие.

      Некоторые логики называют единичные суждения индивидуальным суждением. Такое название является неудачным ибо оно ведет к смешиванию единичных суждений с индивидуальными суждениями. На самом деле всякое индивидуальное суждение является единичным суждением, но не всякое единичное суждение является индивидуальным суждением. Индивидуальным суждением следует называть лишь такое единичное суждение в котором указывается отличительный признак отдельного предмета.

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

      Общим суждением в традиционной логике называется такое суждение, в котором сказуемое относится ко всему объему подлежащего. Неудовлетворительность такого определения общего суждения уже видна из того, что это определение не дает возможности отличить общее суждение от единичного суждения, в котором ведь тоже сказуемое относится ко всему объему подлежащего. В самом деле, как, например, надлежит понимать утверждение о том, что в общем суждении сказуемое относится ко всему объему подлежащего? Значит ли это, что содержание, утверждаемое в предикате общего суждения, относится только к совокупности предметов или же у каждому отдельному предмету, охватываемому субъектом суждения?

      Все эти и некоторые другие вопросы  не получат своего разрешения в традиционном учении о количестве суждения. А  между тем без правильного решения этих вопросов невозможно дать правильное истолкование природы общего суждения.

      Выделяющие  и исключающие  суждения

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

      Исключающим является суждение, в котором отражается принадлежность признака всем предметам, за исключением некоторой их части.

 
 
 
 

      Классификация суждений по количеству и качеству

      Общеутвердительное  суждение – суждение общее по количеству и утвердительное по качеству . Все S не суть Р

      Общеотрицательное суждение – суждение общее по количеству и отрицательное по качеству . Ни одно S не суть Р

      Частноутвердительное  суждение – суждение частное по количеству и утвердительное по качеству . Некоторые S суть Р

      Частноотрицательное суждение – суждение частное по количеству и отрицательное по качеству . Некоторые S не суть Р

 
 
 
 
 

      СЛОЖНЫЕ СУЖДЕНИЯ

      Сложным суждением – является суждение, состоящие из нескольких простых, связанных логическими связками .

      Сложные суждения делятся на соединительные, разделительные, условные, эквивалентные .

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

      Разделительное  суждение – суждение, состоящее из нескольких простых, связанных логической связкой «или»

      Условное  суждение – суждение, состоящее из двух простых, связанных логической связкой «если …., то….»

      Эквивалентное суждение – суждение, включающее в качестве составных два суждения, связанных двойной условной зависимостью, выражаемой логической связкой «если и только если …., то ….»

 
 
 
 
 
 
 
 
 

Отношения между суждениями .

Отношения между суждениями ( простые суждения )

Сравнимые суждения – суждения с одинаковыми субъектами и предикатами.

Сравнимые суждения делятся на совместимые  и несовместимые .

К  совместимым относятся суждения , которые могут быть истинными.

( эквивалентность,  субконтрарность, подчинение )

Несовместимыми суждениями – являются суждения , которые одновременно не могут быть истинными .

( контрарные, контрадикторные )

 

      A                         (     логический квадрат   )       общие                      Е

                                                                  

       у      п         пп    ппп    противоположность                                   п        о                                                                                                                                                                                                                                                  о        т       о    п                                                                                  п       о        т

       в      д       р                                                                              р         д        р

       е      ч         о                                                                          о           ч        и

      р      и           т                                                                      т              и       ц

      д      н             и                                                                 и                н       а

      и      е               в                                                            в                   е       т

      т      н                 о                                                         о                     н       е

      е      и                   р                                                     р                       и       л

      л     е                      е                                                  е                         е       ь

      ь                               ч                                              ч                                   н

      н                                 и                                          и                                     ы

      ы                                   е                                       е                                      е

       е

                                       подпротивоположность

                                  

      I                                 частные                                                                            O

 
 

   Отношения между суждениями ( сложные суждения )

   Делятся на зависимые и независимые .

   Зависимые суждения – это суждения, которые имеют одинаковые состовляющие и могут различаться логическими связками, включая отрицания.

   Зависимые суждения делятся на совместимые  и несовместимые .

   К совместимым суждениям относятся эквивалентные, частно-совместимые, и подчиненные суждения.

   Эквивалентные суждения – суждения, которые принимают одни и те же значения, т.е. одновременно являются либо истинными, либо ложными.

   Частная-совместимость  характерна для суждений , которые могут быть одновременно истинными, но не могут быть одновременно ложными.

   Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.

 

   К несовместимым  суждениям относятся противоположные и противоречащие суждения .

   Противоположность – отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

   Противоречащими являются суждения, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.

   Независимые суждения – суждения, которые не имеют общих составляющих, для них характерны все сочетания истинных значений .

         

      Отношения между суждениями

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

  Сравнимыми  среди простых суждений являются суждения, имеющие одинаковые термины  и различающиеся по качеству или  количеству. Несравнимыми среди простых  суждений являются такие, которые имеют различные субъекты или предикаты.

  Сравнимые суждения делятся на совместимые  и несовместимые. Совместимыми являются суждения, которые одновременно могут  быть истинными. Различают три вида совместимости.

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