1. Прямое опровержение тезиса:

а) опровержение тезиса путем лишения основания. Это достигается:

— разрушением выставленного основания фактами, новыми положениями, законами науки (фактическое лишение основания);

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

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

2. Косвенное опровержение тезиса:

а) апагогическое опровержение тезиса. Выдвигается антитезис и доказы­вается любым из методов подтверждения его истинность. Тезис, таким обра­зом, опровергается косвенным путем через подтверждение антитезиса;

б) разделительное опровержение тезиса. Оно строится по схеме:

либо А, либо В, либо С есть Р

___________А есть Р___________

Следовательно, ни В, ни С не есть Р

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

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

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

Прямыми доказательствами в уголовном процессе являются такие фак­ты, которые связаны с искомым фактом (доказываемым положением) непо­средственно. Связь прямого доказательства с искомым фактом очевидна.

Косвенное доказательство - это такие факты, связь которых с искомым фактом (доказываемым положением) не дана нам непосредственно, не явля­ется очевидной.

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

Общая характеристика неклассической логики Рассмотрим основные характеристики неклассической логики на примере одного из ее вариантов – многозначной логики. Многозначная логика

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

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

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

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

Первые многозначные логики построили независимо друг от друга польский логик Я. Лукасевич в 1920 г. и американский логик Э. Пост в 1921 г. С тех пор построены и исследованы десятки и сотни таких «логик».

Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и возможными, или неопределенными. К последним были отнесены высказывания наподобие: «Я буду в Москве в декабре будущего года». Событие, описываемое этим высказыванием, сейчас никак не предопределено ни позитивно, ни негативно. Значит, высказывание не является ни истинным, ни ложным, оно только возможно.

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

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

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

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

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