Виды суждений

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

      Анализ объема понятий - терминов суждения связан в дальнейшем с выяснением их распределенности.

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

      На  основе проведенного анализа суждений по объединенной классификации сформулируем правила распределенности терминов:

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

      В общеотрицательных суждениях оба  термина всегда распределены, они полностью исключают друг друга, являются несовместимыми понятиями. Например: "Ни один овощ не является фруктом".

      В частноутвердительных суждениях оба термина не распределены, если они выражаются перекрещивающимися понятиями: например, "Некоторые студенты - изобретатели". Если же в частноутвердительном суждении предикат подчинен субъекту, тогда предикат будет распределен: например, "Некоторые летательные аппараты - космические ракеты".

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

      В соответствии с функциями логических связок сложные суждения делятся  на следующие виды.

      Соединительные  суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связками "и", "а", "но", "как", "так и", "так же" и др. Например: "Язык и мышление взаимодействуют в процессе перевода" или "Студент Иванов живет в Москве и учится в МГУ".

      Разделительные  суждения (дизъюнктивные) - это такие  суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или". [3, с.26]

      Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.

      Условные  суждения (импликативные) - это такие суждения, которые образованы из двух посредством логических союзов: "если...то", "там...где", "постольку... поскольку". В качестве примера можно использовать мысль, высказанную таджикским поэтом XI в. Кабусом: "Если хочешь иметь друзей, то не будь мстительным". Аргумент, начинающийся словом "если", называется основанием, а составляющая, начинающаяся словом "то", следствием.

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

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

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

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

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

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

      2. Частичная совместимость  (субконтрарность) характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно (в то же время) ложными. Например: "Некоторые студенты хорошо знают культурологию" и "Некоторые студенты не знают хорошо культурологию".

      3. Отношения подчинения характерны  для суждений, которые имеют общий  предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например: "Все промышленно развитые страны на современном этапе развития применяют нетрадиционные методы овладения ресурсами развивающихся стран" и "Некоторые промышленно развитые страны на современном этапе развития применяют нетрадиционные методы овладения ресурсами развивающихся стран". В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего - подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости:

      при истинности общего суждения частное  всегда будет истинным;

      при ложности частного суждения общее суждение также будет ложным;

      при ложности общего суждения частное неопределенно;

      при истинности подчиненного частного суждения общее неопределенно.  

      Кратко  рассмотрим отношения между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Такие суждения делятся на следующие виды: контрарные (противоположные); подконтрарные и противоречащие.

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

      При ложности же одного из противоположных  суждений, другое остается неопределенным. Оно может быть как истинным, так  и ложным. Например, при ложности суждения "Все войны справедливы" ему противоположное "Ни одна война не является справедливой" тоже оказывается ложным.

      2. Подконтрарными называются частные суждения, которые выражают противоположную мысль. Например: "Некоторые студенты являются отличниками" и "Некоторые студенты не являются отличниками"; "Некоторые люди справедливы" и "Некоторые люди несправедливы".

      3. Противоречащими называются суждения, которые взаимно исключают друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным: например, "Ни одна кибернетическая машина не способна мыслить" и "Некоторые кибернетические машины способны мыслить"; «Все люди говорят на русском языке" и "Некоторые люди не говорят на русском языке".

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

      Вершины квадрата обозначают вид суждения по объединенной классификации А,Е,0,I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость (субконтрарность); две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I- противоречие (контрадикторность).

      Перейдем к рассмотрению отношений между сложными суждениями. Сравнимые среди сложных - это  суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание: например, "Норвегия или Швеция являются членами НАТО" и "Неверно, что Норвегия и Швеция являются членами НАТО". Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них дизъюнктивное суждение, второе - отрицание конъюнкции. Наличие общих составляющих позволяет сопоставлять их по смыслу и установить зависимости по истинности. Несравнимыми среди сложных суждений являются суждения, которые частично или полностью различаются составляющими их суждениями. Например, нельзя сравнивать следующие два суждения: "Слух обо мне пройдет по всей Руси великой, и назовет меня всяк сущий в ней язык, и гордый внук славян, и финн, и ныне дикой тунгус, и друг степей калмык" и "Чем дальше в лес, тем больше дров". Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями.

      Между сложными суждениями складываются такие  же виды отношений, как и между  простыми. Характер этих отношений  определяется с помощью таблиц истинности.

      4. Операции с суждениями

      Обращение — логическая операция с простым  категорическим суждением, заключающаяся в перестановке местами субъекта и предиката исходного суждения. Таким образом, субъект исходного суждения становится предикатом выводного суждения, а предикат исходного — субъектом выводного. При этом качество суждения и объем входящих в него понятий не меняются. Обращение — операция довольно простая, в символах выполняется почти механически. Если исходное суждение имеет вид «S есть Р», то выводное, получаемое в результате обращения, будет «Р есть S»:

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

      «Все  студенты — учащиеся» 

      «Некоторые  учащиеся — студенты».

      Общеотрицательное суждение (Е) в силу того, что в  нем и субъект и предикат всегда распределены, будет обращаться прямо, без ограничения в общеотрицательное: Ни один круг не есть треугольник (Е)                           

        Ни один треугольник не есть  круг (Е)

      Частноутвердительное  суждение обращается в частноутвердительное же, что вполне понятно, ибо в этом суждении и субъект и предикат нераспределены. Такое обращение называется тоже прямым:

      Некоторые спортсмены — студенты (I)