Логические основы теории аргументации: опровержение, его логическая структура.

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

Основные способы опровержения.

Способы опровержения.  Существует три основные формы опровержения: критика тезиса, критика аргументов, критика демонстрации.1. Критика тезиса имеет своей целью показ, что тезис не­состоятелен. Это может быть сделано различными способами. Может быть показано, что тезис противоречив. Другой способ, продемонстрировать, что суждение, противоположное тезису, истинно и следовательно, об истинности тезиса рассуждать беспочвенно. Возможно показать, что следствия из тезиса ведут к противоречию. Критика тезиса и доказательство его ложности является самым главным способом опровержения. Но это есть и самый трудный путь опровержения.2. Критика аргументов имеет своей целью показать несостоятельность аргументов. Это может быть показано путем демонстрации ложности аргументов, их противоречивости. Если в качестве аргументов используются факты, то может быть показана их недоказанность, недостоверность или противоречивость. Опровержение аргументов демонстрирует, что данной системы аргументов недостаточно для доказательства тезиса. Од­нако это не дискредитирует сам тезис, в данном случае дости­гается эффект демонстрации необоснованности тезиса. Бывают случаи, когда этого оказывается достаточно. В судебной практике, например, этого достаточно для того, чтобы показать недоказанность обвинения и, в силу презумпции не­виновности, подозреваемый признается невиновным.3. Критика демонстрации имеет своей целью показать, что использованные умозаключения содержат ошибки, что из данных аргументов не следует данный тезис.

Закон тождества.

Закон тождества — закон логики, согласно которому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о которых идёт речь в данном рассуждении.[1] Мысль о предмете должна иметь определённое, устойчивое содержание, сколько бы раз она ни повторялась. Важнейшее свойство мышления — его определённость — выражается данным логическим законом В формальной логике закон тождества принято выражать формулой: \!A есть \!A, или \!A\!=\!A, где под \!A понимается любая мысль. Символическая логика при построении исчислений высказываний оперирует формулами a\to a (читается: \!a влечет \!a) и \!a ≡ \!a (Читается: \!a равнозначно \!a), где \!a — любое высказывание, \to — знак импликации, ≡ — знак эквивалентности. Эти формулы соответствуют закону тождества.В логике предикатов закон тождества выражается формулой \forall x(p(x)\to p(x)), т. е. для всякого \!x верно, что если \!x имеет свойство \!p, то \!x имеет это свойство[

Закон непротиворечия.

Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой! (р л] р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под]р – отрицание высказывания]р, знак] перед всей формулой – отрицание двух высказываний, соединенных знаком конъюнкции. Закон непротиворечия действует в отношении всех несовместимых суждений. Для правильного его понимания необходимо иметь в виду следующее. Утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать то же самое о том же самом предмете, взятом в то же самое время и в том же самом отношении. Понятно, что не будет противоречия между суждениями, если в одном из них утверждается принадлежность предмету одного признака, а в другом отрицается принадлежность этому же предмету другого признака и если речь идет о разных предметах. Противоречия не будет и в том случае, если мы что-либо утверждаем и то же самое отрицаем относительно одного лица, но рассматриваемого в разное время. Умение вскрывать и устранять логические противоречия, нередко встречающиеся в показаниях свидетелей, обвиняемого, потерпевшего, играет важную роль в судебной и следственной практике.