Сущность логического доказательства, его структура и объективная сторона

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

Введение 1
1. Сущность логического доказательства, его структура и объективная сторона………………………………………………………………………………..2
2. Подтверждение и опровержение тезиса как роды доказательства, их виды и способы 8
3. Правила доказательства и основные ошибки, возникающие при их нарушении 11
Заключение 16
Список использованной литературы 17

Без форм чувственного познания мы не могли бы познавать отедьные предметы, их свойства. Мы видим, что этому зданию уще нужно строиться, ощущаем вкус кислого лимона и т.д. Эти истины не нужно доказывать, потому что они истинны. Но если высказывать суждение на лекции, в сочинении, в научной работе, в докладе, в ходе полемики, в судебных заседаниях, на защите диссертации и во многих других, приходится доказывать все, что ты сказал.
Доказательность определяет качество мышления. Теория доказательства и опровержения в современных условиях выступает, как средство формирования научно обоснованных убеждений. К примеру, мы можем обратиться к науке. Ученые всегда доказывают разнообразные суждения. Они могут рассказывать про земных жителей до нашей эры, на какой период попадает п оялени тех или иных предметов, найденные археологами, про атмосферу планет Солнечной системы, о том, из чего состоят звезды и галактика Вселенной в целом, о теоремах матемаики, о прогнозах погоды и т.д. Эти суждения требую научного обоснования. Доказательство является совокупностью логческих приемов обоснования, истинности какого-либо суждения с помощью других истинных и связанных с ним суждений.
Между доказательством и убеждением есть связь, но ни в коем случае – тождественность. Снова доказательств – научные данные и общественно-историческая практика. А что касается убеждений, то они могут основываться на предрассудках, религии, на неосведомлённости людей в экономических и политических вопросах, на видимости доказательности, основанной на различного рода софизмах. Религиозные проповедники тем и занимаются, что «убеждают» какую-то часть людей в том, что существует якобы бог, ад, рай и т.п.

Положение можно было считать доказанным, если доказуемый вывод обосновывался с помощью ряда положений, кторые обладают наибольшей очевидностью. Критерий очевидности, при этом, был широког применения: он распространялся на утверждения и на саму процедуру доказательства, строение которого было недостаточно проанализировано логически. Критерий очевидности ставил доказательство в зависимость от субъективных способностей человека: то что для одного казалось очевидным, другой представлял это весьма сложным и требующим специального доказательства. Тот же постулат о двух параллельных прямых, который в древности считался очевидным, позже многие видные математики стали сомневаться в его истинности, требуя особого доказательства. Очевидность, или интуитивная ясность, привносила с собой в доказательство недостаточную логическую строгость. Нередко случалось, что очевидные (интуитивные) посылки при более глубоком анализе не могли совмещаться с ходом доказательства и приводили к затруднениям. Вистории математики есть немало примеров, когда несовершенные доказательные процедуры приводили к ошибочным результатам. В конце XIX в. в логике появляется новое понятие – формальное доказательство, которое заменяет собой старое. Оно сводит до минимума ссылку на интуитивную очевидность при осуществлении доказательства и возрастанием роли логических критериев. При доказательстве применяются только необходимые утверждения, остальные устраняются. Логические средства способствуют исключению возможности присутствия невыявленных посылок. Формальное доказательство широко используется в аксиоматических теориях, то есть таких, в которых из небольшого числа начальных истинных аксиом выводятся все остальные истинные утверждения этой теории. Суть основанного на формальном доказательстве вывода в том, что сначала применяются правила вывода к аксиомам, чтобы получить из них новые утверждения, непосредственно выводимые из аксиом. Те же правила могут применяться к новым утверждениям или совместно к новым утверждениям и аксиомам и получают другие утверждения и т.д. После применения всех правил вывода (другими словами – шаги доказательства), появляется данное утверждение, значит - его можно считать формально доказаным. А почему такое доказательство называется формальным? Это объясняется тем, что доказательство время отвлекается от конкретного значения участвующих в доказательстве положений, то есть от того, что в них утверждается. Появляется возможность широкого применения специальных символов – искусственного языка, - которыми заменяют отдельные положения доказательства. Оно становится проще, четче проявляется его логическая структура и легче кнтролировать. Сегодня наблюдается широкое применение формального доказательства в различных разделах современной логики и математики. Они – как необходимые методы анализа в тех случаях, когда требуется выявить структуру умозаключений там, где были использованы неформальные доказательства. Структура формального и неформального доказательства состоит из трех следующих элементов: тезис, аргументы и форму (демонстрацию). Тезис доказательства – это утверждение, подлежащее доказательству. В формальных доказательствах, а также в некоторых науках, которые используют дедуктивные процедуры, доказываемое утверждение именуется теоремой. Тезис выступает в качестве логического центрального элемента в доказательстве. Аргументами называются положения, использующие для доказательства данного тезиса. Суть аргументов – нести истинные утверждения, определяющие истинность тезисов, иногда их еще называют основаниями доказательства. В формальных доказательствах их называют посылками. Аргументами также могут быть утверждения, истинность которых была доказана ранее, - таковыми являются теоремы, законы и другие научные положения; аксиомы; определения и утверждения, содержащие высказывания о фактах. Доказывая данный тезис, можно использовать произвольное, но конечное число аргументов. Они могут относиться к утверждениям любого типа. Так, например, основа доказательствв в геометри - аксиомы, определенияя и вспомогательные утверждения, доказанные ранее. Аргументы доказательства всегда связаны между собой, а также с тезисом. Эта связь именуется формой доказательства или демонстрацией. Аргументы соедины в умозаключения различного вида, последние образуют цепочку, конечным звеном которой является тезис данного доказательства. Следовательно, форма доказательства отражает логическую последовательность перехода от основания к тезису.II. Подтверждение и опровержение тезиса как роды доказательства, их виды и способы Доказательные рассуждения можно различать, прежде всего, по своему отношению к выдвинутому тезису. В рзультате этого подтверждается истинность тзиса, или опровергается (если доказана его ложность). В результате этого можно или подтверждать истинность тезиса, или опровергать, доказывая его ложность. Целенаправленность демонстрации, определяющая всю структуру и характер дальнейшего рассуждения, выступает в роли исходного основания для деления всех доказательств. Цель определяется в зависимости от содержания обосновываемого положения. Невозсожно дать подтверждение тезису, не соответствующему действительности, и нельзя также опровергать истинные тезисы. Доказательства бывают двух видов: подтверждение тезиса и опровержение тезиса. По способу аргументации все доказательства делятся на прямые и косвенные. Прямое доказательство – это непосредственное выведение из основания с определенными правилами умозаключения истинности или ложности данного тезиса. Косвенное доказательство – это обоснование ложности или истинности положения, которое находится в определенном отношении с тезисом, и отсюда опосредованно устанавливается истинность тезиса или, наоборот, его ложность. Далее мы рассматриваем каждый вид доказательства более подробно. Прямое подтверждение тезиса – доказательство, в котором истинность тезиса обосновывается непосредственно аргументами. Прямое подтверждение тезиса может осуществляться следующими методами:- дедуктивное подтверждение тезиса. Его суть в выведении тезиса из установленной истинности аргументов, в подведении частного случая под общее правило; - индуктивное подтверждение тезиса, которое достигается через полную индукцию, путем исчерпывания всех возможных случаев истинности доказываемого тезиса и обобщения их в едином выводе. Так, при проведении прямого подтверждения тезиса следует находить убедительные аргументы, являющиеся логической основой данного тезиса. Косвенное подтверждение тезиса – это доказательство, с помощью которого станавливается истинность доказываемого тезиса, исследуя не сам тезис, а некоторые другие положения, находящиеся с ним в определенных логических отношениях. Эти положения так связаны с доказываемым тезисом, что из установления их ложности необходимо вытекает истинность доказываемого тезиса. Косвенное подтверждение тезиса может осуществляться двумя методами:— апагогическое подтверждение тезиса, при котором к его истинности приходят путем обоснования ложности антитезиса. Антитезисом называется суждение, противоречащее тезису. Этапы прохождения апагогического подтверждения: вдвижение антитезиса, из него выводится следствие с намерением найти среди них хотя бы одно ложное; устанавливается, что в числе следствий действительно есть ложное; делается вывод, что антитезис неверен; из ложности антитезиса на основании закона исключенного третьего делается заключение, что выдвинутый тезис является истинным. Косвенное апагогическое подтверждение тезиса называют еще сведением к абсурду;— разделительное подтверждение тезиса. Сущность его в том, что доказываемый тезис рассматривается как одно из некоторого числа предположений, в своей сумме исчерпывающих все возможные по данному вопросу предположения. Разделительное подтверждение тезиса применяется в тех случаях, когда есть уверенность, что доказываемое положение входит в число всех рассматриваемых возможностей. Косвенное подтверждение тезиса этим способом ведется так: одна за другой исключаются все альтернативы, и остается одно положение, которое и является доказываемым тезисом. В апагогическом подтверждении тезиса альтернативы (тезис и антитезис) исключают друг друга в силу законов логики. В разделительном же подтверждении тезиса взаимная несовместимость возможностей и то, что ими исчерпываются все мыслимые ситуации, определяются не логическими, а фактическими обстоятельствами. Отсюда понятна обычная ошибка при разделительном подтверждении тезиса: выдвинутые возможности, вместе взятые, не исчерпывают всех возможных альтернатив. Косвенное подтверждение тезиса является эффективным средством обоснования выдвигаемых положений. Но через его специфику ограничивается использование косвеееного подтверждения в мыслительной деятельности юриста. При применении этого доказательства, мы вынуждены сосредоточивать свое внимание не на тезисе, истинность которого следует обосновать, а на отрицании других положений, являющихся ошибочными предположениями. Неудивительно поэтому, что после проведении доказательства, ход его иногда рекомендуют тут же забыть, оставив в памяти только подтвержденный тезис. Стоит отметить, что найденное подтверждение какого-то положения, как правило, удается перестроить в прямое подтверждение этого же положения. Подтверждению тезиса в доказательстве противостоит его опровержение. Опровергнуть то или иное утверждение, обозначает обосновать его ложность. У опровержения имеется подобная логическая структура, как у доказательств – об этом свидетельствуют косвенные доказательства, в которых для обоснования истинного тезиса опровергается антитезис. Однако, в косвенных доказательствах, опровержение выполняет подчиненную роль, выступает как момент, в то время как во многих других случаях оно имеет самостоятельное значение. У опровержения есть тезис, аргументы и форма (демонстрация). Тезис опровержения - это положение, требующее опровергнения. Аргументы - это утверждения, которые способствуют опровержению тезиса (доказывается его логичность). Форма опровержения является способом логической связи аргументов и тезиса опровержения.Опровержение тезиса может быть осуществлено двояко. Во-первых тем, что докажут истинность антитезиса; во-вторых, тем, что установят логичность следствий, вытекающих из тезиса. Опровержение первого рода выполняется в следующей последовательности рассуждений. Сначала необходимо найти утверждение, которое могло бы противоречить тезису – антитезис, затем доказывается его истинность. Если это удается, на основании закона противоречия при составлении тезиса и антитезиса делаем вывод о возможности первого. Опровержение второго рода состоит из следующих этапов: допуская истинность тезиса, выводится из него ряд следствий. Если хотя бы одно из полученных следствий находится в противоречии с действительным положением вещей или с уже доказанными утверждениями, то с необходимостью делают вывод о логичности тезиса. В данном случае заключают от логичности следствия к логичности основания. III. Правила доказательства и основные ошибки, возникающие при их нарушении Мы рассмотрим два важных правила относительно тезисов. Тезис должен быть логически определен, ясен и точный. Иногда люди в своих выступлениях, письменных заявлениях, научных статьях, докладах, не могут четко, ясно, однозначно сформулировать тезис. На собраниях выступающие не способны четко сформулировать 2-3 тезиса, а затем весомо, со всеми аргументами изложить их перед слушателями. Тезис должен оставаться тождественным, т.е. одним и тем же на протяжении всего доказательства или опровержения. Ошибки.1. “Подмена тезиса”. Согласно правилам доказательного рассуждения, тезис следует ясно сформулировать, его нельзя изменять протяжении всего доказательства или опровержения. Если его нарушить, возникает ошибка называемая “подмена тезиса”, т.е. один тезис умышленно или неумышленно подменяют другим и этот новый тезис начинают доказывать или опровергать. Это часто случается во время спора, дискуссии, когда тезис оппонента сначала упрощают или расширяют его содержание, а затем начинают критиковать. Тогда тот, кого критикуют, заявляет, что оппонент приписывает ему то, чего он не говорил. Эта ситуация довольно-таки распространенная, и происходит она при защите диссертаций или на обсуждении опубликованных научных работ, различных собраниях и заседаниях, и при редактировании научных или литературных статей.