Формальная логика как теория правильного мышления

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

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

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

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

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

 Под S и Р можно мыслить любые предметы и их свойства, под знаком «—» — любую связь (и утвердительную, и отрицательную). Таким образом, суждение представляет собой способ связи понятий, выраженный в форме утверждения или отрицания.

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

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

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

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

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

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

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

 Структуру мысли, т.е. ее логическую форму, можно выразить при помощи символов. Выявим структуру (логическую форму) трех следующих суждений: «Все караси — рыбы», «Все люди смертны», «Все бабочки — насекомые». Содержание у них разное, а форма одна и та же: «Все S суть Р»; она включает S , Р, связку («есть», «суть»), кванторное слово («все»). Иногда связка может отсутствовать или заменяться на тире.

 Два следующих  условных суждения имеют одну и ту же форму:

 1)  «Если  железо нагревать, то оно расширяется»;

 2)  «Если  учащийся изучает логику, то он  повышает четкость своего мышления».  Форма этих суждений такая:  «Если S есть Р, то S есть P₁».

 Законы  мышления

 Мышление  человека подчинено логическим законам, или законам мышления.

 Для уяснения этого вопроса необходимо различать, истинность мысли и логическую правильность рассуждения. Мысль является истинной, если она соответствует действительности. Мысль, не соответствующая действительности, является ложной. Так, утверждение «Вологда находится в европейской части России» истинно, оно соответствует действительности. То же утверждение, относящееся к Красноярску, ложно, оно не отражает действительного географического положения этого города.

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

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

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

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

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

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

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

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

 Рассмотрим  основные логические законы.

 Закон тождества. Любая мысль в процессе рассуждения должна, иметь определенное, устойчивое содержание: Это коренное свойство мышления — его определенность выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а=а, где под а понимается любая мысль).

 Закон тождества  может быть выражен формулой р→р (если р, то р), где р — любое высказывание, → — знак импликаций. 

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

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

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

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

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

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

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

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

 Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть Истинными две мысли, одна из которых отрицает другую). Он выражается формуяой ┐(р^^┐р)    (неверно, что р и ┐р одновременно истинны). Пой р понимается любое высказывание, под ┐р —отрицание высказывания р, знак ┐ перед всей формулой — отрицание двух высказываний, соединенных знаком конъюнкции.