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

Поэтому необходимо тщательно проанализировать все обстоятельства по Делу, чтобы окончательное решение суда основывалось на достоверных и непротиворечивых фактах.                                   

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

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

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

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

Этот закон можно записать с помощью дизъюнкции: р v ┐р, где р — любое высказывание, ┐р — отрицание высказывания р.    

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

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

Закон исключенного третьего требует ясных, определенных отве­тов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да» и «нет», на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же

самого.

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

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

Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если они имеет достаточное основание. Если есть b, то есть и его основание а. 

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

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

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

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

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

Если из истинности суждения а следует истинность суждения b, то а будет основанием для b, а b - следствием это основания.

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

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

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

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

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

Истинность мысли формальная правильность рассуждений

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

Понятие формальной правильности рассуждения относится лишь к ло­гическим действиям и операциям мышления. Если в числе посылок умоза­ключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину, и ложь. Чтобы это показать, возьмем два умозаключения:

4.       Все металлы — твердые тела.

      Ртуть не является твердым телом.

      Ртуть не является металлом.

4.       Все небесные тела — планеты.

      Юпитер — небесное тело.

    Юпитер — планета.

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

3.   Все тигры полосатые.

      Это животное полосатое.

      Это животное — тигр.

4.       Все ушастые тюлени — ластоногие.

      Все ушастые тюлени — водные млекопитающие.

      Все водные млекопитающие — ластоногие.

В третьем умозаключении обе посылки — истинные суждения, но полу­ченное заключение может быть как ложным, так и истинным потому, что нарушено было одно из правил умозаключения. В четвертом умозаключе­ИИ обе посылки — истинные суждения, но заключение — ложное, т.к. на­рушено правило построения умозаключения (в соответствии с правилом, вместо слова «все» должно стоять слово «некоторые»).

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

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

Как уже отмечалось, формальная логика — наука о законах и формах правильного мышления. Формальная логика в определенном смысле по­добна грамматике. К.Д.Ушинский считал логику грамматикой мышления. Подобно грамматике, придающей языку стройный и четко осмысленный характер, логика обеспечивает доказательность и стройность мышления.[5]

История логики

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в VI в. до н.э. Ее основателем является древнегреческий философ Аристотель (348 - 322 гг. до н.э.). В своих логических трудах, получивших общее название «Органон» (греч. «орудия познания»), Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное (силлогистическое) умозаключение; Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — логики предикатов.

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.), Дополнившая аристолевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков — основа другого направления математической ло­гики—логики высказываний.

Среди других античных мыслителей; развивавших и комментирующих логическое учение Аристотеля, следует назвать Галема, именем которого названа 4-я фигура категорического силлогизма; Порфирия, известного разработанной им наглядной схемой, отображаю­щей отношения подчинения между понятиями («древо Порфирия»); Боэция, сочинения которого длительное время служили ос­новными логическими пособиями.

Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом, (1561-1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную ло­гику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении «Новый Органон» (в отладке от старого, аристотелевского «Органона»). Разработка интуитивного метода — огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806—1873).

Дедуктивная логика Аристотеля и индуктивная логика Бэкона — Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время.

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