Курс лекций по "Логике"

32. ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

      Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим  образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание.Противоречащими (контрадикторными) называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом – отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно, и наоборот. Например, если суждение «Каждому гражданину РФ гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Противоречащим являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается. Например: «П. привлечен к административной ответственности» и «П. не привлечен к административной ответственности». Одно из этих суждений необходимо истинно, другое – необходимо ложно. Этот закон можно записать с помощью дизъюнкции: 
       р V]р,  
      где р– любое высказывание, 
       ]р– отрицание высказывания р. 
      Подобно закону непротиворечия, закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано. 
      Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается другими средствами. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно. 
      Закон исключенного третьего требует ясных, определенных ответов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да», и «нет», на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого. 
      Большое значение имеет этот закон в юридической практике, где требуется категорическое решение вопроса. Юрист должен решать дело по форме «или – или». Данный факт либо установлен, либо не установлен. Обвиняемый либо виновен, либо не виновен. Право знает только: «или – или». Таким образом, закон исключенного третьего, конкретизирующий предыдущий принцип (два противоречащих суждения не могут быть одновременно ложными, одно из них обязательно истинно), тоже зависит от содержания рассуждения. Должна быть установлена либо истина, либо ложность данного суждения. К сожалению, это не всегда возможно, что показали современные исследования проблем бесконечных классов.

33. ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ

      Требование  доказанности, обоснованности мысли  выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть b, то есть и его основание а. 
      Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения «Н. совершил преступление» будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события. 3 Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (каждое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакого смысла погружать в жидкость какой-либо предмет, чтобы выяснить, сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения любого частного случая. 
      Достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли. 
      Если из истинности суждения а следует истинность суждения b, то а будет основанием для b, а b – следствием этого основания. 
      Связь основания и следствия является отражением в мышлении объективных, в том числе причинно-следственных, связей, которые выражаются в том, что одно явление (причина) порождает другое явление (следствие). Однако это отражение не является непосредственным. В некоторых случаях логическое основание может совпадать с причиной явления (если, например, мысль о том, что число дорожно-транспортных происшествий увеличилось, обосновывается указанием на причину этого явления – гололед на дорогах). Но чаще всего такого совпадения нет. Суждение «Недавно был дождь» можно обосновать суждением «Крыши домов мокрые»; след протекторов автомобильных шин – достаточное основание суждения «В данном месте прошла автомашина». Между тем мокрые крыши и след, оставленный автомашиной, – не причина, а следствие указанных явлений. Поэтому логическую связь между основанием и следствием необходимо отли– 1 чать от причинно-следственной связи. 
       Обоснованность– важнейшее свойство логического мышления. Во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказывать наши суждения, приводить достаточные основания, подтверждающие истинность наших мыслей. В этом состоит коренное отличие научного мышления от мышления ненаучного, которое характеризуется бездоказательностью, способностью принимать на веру различные положения и догмы. Это особенно характерно для религиозного мышления, опирающегося не на доказательство, а на веру.

35. ДОКАЗАТЕЛЬСТВО И ЕГО СТРУКТУРА. СПОСОБЫ ДОКАЗАТЕЛЬСТВА

      Доказательство  – процедура установления истинности некоторого утверждения путем приведения других утверждений, истинность которых известна. 
      Процесс обоснования истинности называется доказыванием, или аргументацией. 
      Главным элементом доказательства является тезис. Тезисом является суждение, истинность которого подлежит обосновыванию в процессе доказывания. В качестве тезиса может выступать любое суждение, истинность или ложность которого предстоит установить. 
      Следующим элементом является аргумент, или основание. 
       Аргументы– это исходные положения, с помощью которых обосновывают тезис. Они являются базисом основания. Аргументами могут выступать любые суждения, если они истинны и имеют отношение к тезису, истинность которого необходимо доказать. 
      И последним элементом является демонстрация доказательства, т. е. умозаключение, с помощью которого тезис и аргумент логически связываются. 
      Все доказательства подразделяются на прямые и косвенные. При прямом доказательстве задача состоит в том, чтобы подыскать такие убедительные аргументы, из которых по логическим правилам получается тезис. 
      В построении прямого доказательства можно выделить два связанных между собой этапа: отыскание тех утверждений, которые способны быть убедительными аргументами для доказываемого положения; установление логической связи между найденными аргументами и тезисом. 
      Косвенное доказательство устанавливает справедливость тезиса тем, что вскрывает ошибочность противоположного ему допущения (антитезиса). Поскольку косвенное доказательство использует отрицание доказываемого положения, то его еще называют доказательством от противного. 
      Также доказательства можно разделить на две группы в зависимости от того, что в них исследуется: истинность содержания и правильность логической связи или происхождение суждений. 
      Доказательства, в которых исследуется истинность или ложность содержания, а также логическая связь являются доказательствами по существу. В этих доказательствах ничего не требуется, кроме рассмотрения оснований по существу их содержания и кроме рассмотрения логической связи между основаниями и тезисом. 
      Те доказательства, в которых исследуется происхождение суждения, называются доказательствами по источнику происхождения суждений, или генетическими. 
      Такой вид доказывания, как дедуктивное, означает обосновать, что он, данный тезис, является следствием истинных аргументов – аксиом, законов, принципов. 
      В отличие от дедуктивной аргументации, в недедуктивной тезис является следствием аргументов, а аргументы, как правило, являются следствием гипотезы. 
       Недедуктивную аргументацию можно разделить на два вида:  
      1) индуктивное обоснование; 
      2) доказательство по аналогии. 
      Индуктивным обоснованием является переход от аргументов к тезисам. 
       Доказательство по аналогии– это обоснование тезиса, утверждающего свойства единичного явления с помощью аргументов, которые содержат информацию о другом явлении, сходном с первым в существенных признаках.

36. ОПРОВЕРЖЕНИЕ

       Опровержение– это рассуждение, направленное против выдвинутого положения и имеющее своей целью установление его ошибочности или недоказанности. 
      Наиболее распространенный прием опровержения – выведение из опровергаемого утверждения следствий, противоречащих истине. Если одно логическое следствие некоторого положения неверно, ошибочным будет и само это положение. 
       Опровержение имеет три вида:1)критика тезиса – это логическая операция, целью которой является показать ложность выставленного тезиса. Тезис признается ложным, если оппонент отстаивает свое утверждение, но заведомо знает о том, что оно не соответствует действительности. Тезис является ошибочным, если оппонент заблуждается относительно действительности утверждаемого им тезиса. 
      Опровержение тезиса в свою очередь может быть прямым или косвенным. Опровержение является прямым, если аргументация протекает следующим образом: в первую очередь допускают истинность выдвинутого положения, при этом выводят из него логические следствия. Если при сопоставлении данных следствий с фактами выяснится, что они противоречат истинным данным, то их признают несостоятельными. 
      При косвенном опровержении тезиса внимание сосредоточивается на доказательстве своего тезиса, которое в свою очередь будет противоречить тезису оппонента. 
      Если положение выдвигается с каким-либо обоснованием, операция опровержения может быть направлена против обоснования. В этом случае нужно показать, что приводимые аргументы ошибочны: вывести 
      из них следствия, которые окажутся в итоге несостоятельными, или доказать утверждения, противоречащие аргументам. 
      Следует иметь в виду, что опровержение доводов, приводимых в поддержку какого-либо положения, не означает неправильность самого этого положения. Утверждение, являющееся по сути дела верным, может отстаиваться с помощью ошибочных или слабых доводов. Выявив это, демонстрируется надежность предлагаемого обоснования, а не ложность утверждения; 
      2) критика аргументов. Данная логическая операция направлена на обоснование ложности аргумента. Она может выражаться в том, что оппонент может указывать на неточное изложение фактов, выражать в них сомнение. 
      Если ложность аргументов будет доказана, то тезис будет необоснованным и будет нуждаться в дополнительной аргументации; 
      3) критика демонстраций. Данная логическая операция указывает на отсутствие логической связи между тезисом и аргументами. 
      Особое значение при опровержении имеют факты. Ссылка на верные и неоспоримые факты, противоречащие ложным или сомнительным утверждениям оппонента, – самый надежный и успешный способ опровержения. Реальное явление или событие, не согласующиеся со следствиями какого-либо универсального положения, опровергает не только эти следствия, но и само положение. 
      Опровержение может быть направлено на саму связь аргументов и доказываемого положения. В этом случае нужно показать, что тезис не вытекает из доводов, приведенных в его обоснование. Если между аргументами и тезисом нет логической связи, то нет и доказательства тезиса с помощью указанных аргументов.

37. ПРАВИЛА И ОШИБКИ В ДОКАЗАТЕЛЬСТВЕ

      Логические  ошибки в доказательстве можно разделить  на относящиеся к тезису, к аргументам и к их связи. 
      Формальная ошибка имеет место тогда, когда умозаключение не опирается на логический закон и заключение не вытекает из принятых посылок. Например: «Если я навещу дядю, он подарит мне фотоаппарат, я продам его и куплю велосипед: значит, если я навещу дядю, я продам его и куплю велосипед». Данное умозаключение не опирается на закон логики и неправильно. Ошибка заключается в том, что местоимение «его» может указывать на разные предметы. В данном случае оно должно указывать на фотоаппарат, но выходит так, что на самом деле оно относится к дяде. 
      Характерной ошибкой в отношении тезиса является подмена тезиса, неосознанное или умышленное замещение его в ходе доказательства каким-то другим утверждением. Подмена тезиса ведет к тому, что доказывается не то, что требовалось доказать. В данном случае тезис может сужаться и он остается недоказанным. 
      Довольно распространенной ошибкой является круг в доказательстве: справедливость доказываемого положения обосновывается посредством этого же положения, высказанного, возможно, в несколько иной форме. Если за основание доказательства принимается то, что еще нужно доказать, обосновываемая мысль выводится из самой себя и получается не доказательство, а пустое хождение по кругу. 
       Правила, относящиеся к аргументам:  
      1) аргументы не должны противоречить друг другу; 
      2) аргументы должны подтверждать тезис; 
      3) аргументы должны быть суждениями. 
      При нарушении вышеперечисленных правил возникают следующие ошибки в основаниях доказательства: 
      1) ложность оснований; 
      2) предвосхищение оснований. В качестве аргументов приводится такое положение, которое само нуждается в доказательстве; 
      3) правила, относящиеся к демонстрации. Формализованное доказательство– это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство– это идеальное и неоспоримое доказательство. 
      Формализация может осуществляться с разной степенью полноты. Полная формализация теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий и положений теорий и перечисляют все правила логического вывода, используемые в доказательствах. В формализованной теории доказательство не требует обращения к каким-либо интуитивным представлениям. Оно является последовательностью формул, каждая из которых либо аксиома, либо получается из аксиомы по правилам вывода. Проверка такого доказательства превращается в механическую процедуру и может быть передана вычислительной машине. 
      Формализация играет существенную роль в уточнении научных понятий. Многие проблемы не могут быть не только решены, но даже сформулированы и поставлены, пока не будут формализованы связанные с ними рассуждения.