Суждение. 2

Содержание

 

 

Введение

 

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

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

Представители номиналистической  логики рассматривают логику как  науку о языке. Исходя из такого понимания предмета логики, номиналисты отождествляют суждение с предложением. Для них суждение – это сочетание слов или имен. Таким образом, согласно номиналистам, то о чем мы, что–либо утверждаем (или отрицаем) в суждении, есть определенная связь этих слов. Такое истолкование природы суждения неправильно. Конечно, всякое суждение выражается в предложении. Однако предложение есть только языковая оболочка суждения, а не само суждение.

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

 

Общая характеристика суждения.

 

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

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

В состав суждения входит субъект  S и предикат Р

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

В любом суждении присутствует конкретная мысль. Она выступает формой выражения действительности в сознании человека. Эта форма представляет собой какое-либо высказывание о предметах, их свойствах и состояниях, а также об отношениях между ними. Мысль характеризуется двумя весьма важными свойствами, которые человеку необходимо учитывать в логическом анализе. Во-первых, она что-либо утверждает или отрицает: например, "Москва больше Пскова". Во-вторых, мысль может быть или истинной или ложной: например, суждение "Сознание оказывает воздействие на общественное бытие" является истинным, ибо человек, наделенный сознанием, изменяет окружающую его действительность, в том числе и общественные отношения.

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

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

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

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

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

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

В суждениях выражается истинная или ложная мысль. Истинность суждения, как и понятия, определяется его соответствием объективной действительности. Истинные - это такие суждения, в которых связь понятии правильно отражает реальные свойства и отражения предмета мысли. Ложные - это такие суждения, в которых связь понятий искажает объективные свойства и отношения предмета мысли.

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

Простые категорические суждения - Это такие суждения, в которых между субъектом и предикатом устанавливается категорическая утвердительная или отрицательная связь, а именно отношения тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения.

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

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

Единичное суждение отражает единственный предмет мысли, а значит субъект этого суждения – единичное понятие. Например, «Новосибирск – крупнейший город Сибири».

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

Общие суждения – суждения обо всех предметах определенного вида с квантором «все» (ни один, каждый, всякий) перед субъектом: «Все S есть Р». Например, «Каждый студент имеет зачетную книжку».

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

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

Между видами простых  категорических суждений устанавливаются  следующие отношения.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Для иллюстрации отношений между  простыми суждениями используется логический квадрат:

Сложные суждения.

Сложное суждение – суждение, образованное из простых посредством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.

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

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

1) логическим значением простых  суждений, входящих в сложное;

2) характером логической связки, соединяющей простые суждения;

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

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

Сложное суждение, образованное из двух простых посредством логического  союза «если..., то…», называется условным (импликативным). Например, «Если хочешь иметь друзей, то не будь мстительным» (Таджикский поэт XI века Кабус).

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

Суждение с внешним отрицанием – суждение, в котором указывается  на отсутствие некоторой ситуации, о существовании которой могла идти речь раньше. Это суждение выражается предложением, начинающимся словами «Неверно, что…». Например, «Не верно, что в Москве протекает река Нева». Логические союзы принято обозначать определенными символами (знаками): «если…, то» – знаком →; «и» – знаком ˄; «или» – знаком ˅, или если сильная дизъюнкция –˅

Логическое значение сложного суждения устанавливается  при помощи таблиц истинности.

Таблицы истинности.

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

Таблица значений истинности:

буква «и»  соответствует значению «истинно», буква «л» – значению «ложно»

Выделяют следующие правила  соотношения истинности и ложности суждений:

1. Из истинности общего, подчиняющего  суждения следует истинность  подчиненного частного суждения.

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

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

Логические связки.

Логические связки, или  союзы, выражают логические операции.

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

Конъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «и» (p q).

Дизъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «или» (р или q; символически pq). Союз «или» употребляется в естественном языке в двух значениях - соединительно-разделительном и исключающее - разделительном.

Слабая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в соединительно-разделительном значении, т. е. когда входящие в сложное суждение составляющие суждения не исключают друг друга. Например, в суждении «Н. - преступник или М. - преступник» утверждается, что преступником может быть Н. или М., или оба вместе (символически: pq).

Строгая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в исключающем смысле: либо Н. преступник, либо М. - преступник, но не оба вместе (либо p, либо q; символически: pq).

Импликация - логическая операция, соединяющая высказывания при помощи союза «если.., то» (символически р → q).

Эквивалентность - логическая операция, позволяющая из двух высказываний р и q получить новое высказывание: р эквивалентно q (символически р ≡ q, или р ↔ q).

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

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

Отрицание - суждение, образованное с помощью союза «не». Например, имеем суждение: «Человек совершил преступление» (р). Его отрицанием будет: «Неверно, что человек совершил преступление» p). Смысл отрицания состоит в следующем: если какое-то суждение (р) - истинно, то его отрицание (p) будет ложным. Если p - ложно, то его отрицание p - истинно. Союз «не» меняет значение истинности на противоположное.

Конъюнктивное (соединительное) суждение - суждение, которое включает в качестве составных частей другие суждения, объединяемые союзом «и». Например: «Мы поедем в Санкт-Петербург и посетим Русский музей». В этом суждении выражается уверенность, что произойдут оба эти события. Схематично: «рq».

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

Истинность конъюнкции зависит от истинности (ложности) простых суждений «р и q» и от смысла логического союза - конъюнкции. Если мы имеем два простых суждения, а каждое из них может иметь два значения («истина» и «ложь»), то всего должны рассмотреть четыре разных случая: когда оба суждения истинны; когда первое истинно, а второе ложно; когда первое ложно, а второе истинно и когда оба ложны.

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

Таким образом, сколько  бы членов p, q, r... ни включало сложное конъюнктивное суждение, достаточно обнаружить среди них хотя бы один ложный член, чтобы считать конъюнкцию ложной.

Дизъюнктивное (разделительное) суждение - это суждение, которое включает в качестве составных частей суждения, объединяемые союзами «или», «либо». Например: «Договор купли-продажи может быть заключен в устной или письменной форме» (здесь наличие в предикате двух признаков указывает на сложный характер суждения: его можно разложить на два простых: «Договор купли-продажи может быть заключен в устной форме» и «Договор купли-продажи может быть заключен в письменной форме»).

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

Слабо-разделительное суждение, или суждение со слабой дизъюнкцией - суждение, в котором союз «или» имеет соединительно-разделительное значение. Оно может быть истинным в трех случаях: когда истинны оба суждения; когда р - истинно, a q - ложно; когда р - ложно, a q - истинно. Дизъюнкция считается ложной при ложности всех ее членов.

Строго-разделительное суждение, или суждение с сильной дизъюнкцией - суждение, в котором союз «или» имеет исключающе-раз-делительное значение. Например: «Либо Н. - убийца, либо М. -убийца», «Вина может быть умышленной или неосторожной» (символично: р q). Члены сильной дизъюнкции не могут быть одновременно истинными и ложными.

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

Импликативное (условное) суждение - это сложное суждение, образованное из простых суждений с помощью логического союза «если.., то». Например: «Если человек совершил преступление, то он должен быть наказан». При этом первое суждение (начинающееся словом «если») называется основанием, а второе (начинающееся словом «то») - следствием (заключением). Символически: р → q.

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

Сопоставление сложных суждений позволяет разделить их на группу независимых и группу зависимых суждений.

К независимым относятся  суждения, которые не имеют общих  составляющих; для них характерны все сочетания истинных значений. Зависимые - это суждения, которые имеют одинаковые составляющие и могут различаться логическими связками, включая отрицание. Пример зависимых сложных суждений: "Норвегия или Швеция имеют выход к Балтийскому морю" и "Не верно, что Норвегия и Швеция имеют выход к Балтийскому морю". Хотя эти суждения различны по логической форме (первое из них - дизъюнктивное суждение, а второе - отрицание конъюнкции), вместе с тем они зависимы, поскольку включают одинаковые составляющие.

Сложные зависимые суждения могут быть совместимыми и несовместимыми.

Отношение совместимости.

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

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

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

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

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

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

Отношение несовместимости.

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

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

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

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

Сопоставление суждений в дискуссиях. Отчетливое представление об отношениях, в которых могут находиться суждения, позволяет логически грамотно анализировать высказывания участников дискуссий. Встречаются ситуации, когда логический анализ показывает совместимость различных по структуре суждений. Нередко это случается с частными суждениями. Пропонент утверждает, что "Некоторые S есть Р"; оппонент настаивает, что "Некоторые S не есть Р". На поверку же выходит, что эти суждения не исключают друг друга, а являются частично совместимыми и оба могут оказаться истинными.

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

Общая характеристика доказательства.

Доказательство - логическая операция по обоснованию истинности суждений с помощью других истинных суждений. Строение доказательства определяется тремя вопросами:

Что доказывается?

Чем доказывается выдвигаемое положение?

Как оно доказывается?

Ответы на эти вопросы  раскрывают соответственно тезис, основания (аргументы) и демонстрация.

Тезис - суждение, истинность которого следует доказать.

Аргументы - истинные суждения, служащие для обоснования тезиса. Основаниями могут быть суждения различного типа: суждения об удостоверенных фактах; определения; аксиомы; доказанные ранее положения науки (теоремы, законы науки и др.).

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

Есть несколько путей установления того, является ли истинным то или иное суждение. Два из них наиболее известны.

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

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

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

Таким же образом можно  сказать, что в процессе обучения не всегда возможно установить истинность какого-либо положения непосредственно. В этом случае прибегают к опосредованному  пути, тем более что обучающиеся  подходят к изучению чего-либо нового не как "tabula rasa", а с уже имеющимся багажом знаний, полученных ранее.

Суждение. 2