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

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

14!!Гипотеза,виды гипотез.Построение,проверка,способы доказательства гипотез. Гипотеза - это научно обоснованное предположение о причинах или закономерных связях каких-либо явлений или событий природы, общества, мышления. Специфика гипотезы - быть формой развития знаний - предопределяется основным свойством мышления, его постоянным движением - углублением и развитием, стремлением человека к раскрытию новых закономерностей и причинных связей, что диктуется потребностями практической жизни. Ф.Энгельс писал в своей книге "Диалектика природы" :"Наблюдение открывает какой-нибудь новый факт, делающий невозможным прежний способ объяснения фактов, относящихся к той же группе. С этого момента возникает потребность в новых способах объяснения, опирающихся сперва только на ограниченное число фактов и наблюдений. Дальнейший опытный материал приводит к очищению этих гипотез, устраняет один из них, исправляет другие, пока не будет установлен в чистом виде закон". О познании каких бы явлений не шла речь - явлений природы или общественной жизни, единичных предметов или закономерностей, новое знание всегда возникает первоначально в форме гипотезы. Этим и объясняется необходимый и тем самым всеобщий характер гипотезы как формы развития человеческих знаний. Построение гипотезы всегда сопровождается выдвижением предположения, объясняющего исследуемое явление. Оно всегда выступает в форме отдельного суждения или системы взаимосвязанных суждений о свойствах единичных фактов или закономерных связей явлений. Суждение является проблематичным суждением, в котором выражено первоначальное предположительное знание о причинах или свойствах исследуемых явлений.

Виды гипотез.

В зависимости от степени общности научные гипотезы можно разделить на общие, частные, единичные.

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

Примерами общих гипотез могут служить: развитая в 18 веке М.В.Ломоносовым гипотеза об атомическом строении вещества, современные гипотезы акад.

О.Ю.Шмидта и акад. В.Г.Фесенкова о происхождении небесных тел, гипотезы об органическом и неорганическом происхождении нефти.

Будучи доказанными, они становятся научными теориями и являются ценным вкладом в развитие научных знаний.

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

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

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

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

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

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

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

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

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

Версии бывают общие, объясняющие некоторые обстоятельства или моменты преступления, и единичные, объясняющие отдельные, индивидуальные факты: кто исполнитель, кто организатор преступления, если было несколько участников, и т. д.

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

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

Гипотеза, или версия, проверяется в два этапа: первый из них дедуктивное выведение вытекающих из гипотезы следствий, второй — сопоставление следствий с фактами

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

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

15!!доказательство,его структура.способы доказательства. Доказательство – процедура установления истинности некоторого утверждения путем приведения других утверждений, истинность которых известна.

Процесс обоснования истинности называется доказыванием, или аргументацией.

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

Следующим элементом является аргумент, или основание.

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

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

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

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

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

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

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

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

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

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

Недедуктивную аргументацию можно разделить на два вида:

1) индуктивное обоснование;

2) доказательство по аналогии.

Индуктивным обоснованием является переход от аргументов к тезисам.

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

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

Правила по отношению к тезису

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

2. Тезис должен оставаться тождественным, т. е. одним и тем же, на протяжении всего доказательства или опровержения. Нарушение этого правила ведет к логической ошибке - “подмене тезиса”.

Ошибки относительно доказываемого тезиса

1. “Подмена тезиса”. Тезис должен быть ясно сформулирован и оставаться одним и тем же на протяжении всего доказательства или опровержения - так гласят правила по отношению к тезису. При нарушении их возникает ошибка, называемая “подменой тезиса”. Суть ее в том, что один тезис умышленно или неумышленно подменяют другим и начинают этот новый тезис доказывать или опровергать. Это часто случается во время спора, дискуссии, когда тезис оппонента сначала упрощаю или расширяют его содержание, а затем начинают критиковать Тогда тот, кого критикуют, заявляет, что оппонент “передергивает” его мысли (или слова), приписывает ему то, чего он не говорил. Ситуация эта весьма распространена, она встречается и при защите диссертаций, и при обсуждении опубликованных научных работ, и на различного рода собраниях и заседаниях, и при редактировании научных и литературных статей.

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

2. “Довод к человеку”. Ошибка состоит в подмене доказательства самого тезиса ссылками на личные качества того, кто выдвинул этот тезис. Например, вместо того чтобы доказывать ценность и новизну диссертационной работы, говорят, что диссертант - заслуженный человек, он много потрудился над диссертацией и т. д. Разговор классного руководителя с учителем, например русского языка, об оценке, поставленной ученику, иногда сводится не к аргументации, что данный ученик заслужил эту оценку своими знаниями, а к ссылкам на личные качества ученика: добросовестен в учебе, много болел в этой четверти, по всем другим предметам он успевает и т. д.

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

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

3..“Переход в другой род”. Имеются две разновидности этой ошибки: а) “кто слишком много доказывает, тот ничего не доказывает”; б) “кто слишком мало доказывает, тот ничего не доказывает”.

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

Ошибка “кто слишком мало доказывает, тот ничего не доказывает” возникает тогда, когда вместо тезиса а мы докажем более слабый тезис b. Например, если, пытаясь доказать, что это животное - зебра, мы доказываем, что оно полосатое, то ничего не докажем, ибо и тигр - тоже полосатое животное.

Правила по отношению к аргументам

1). Аргументы, приводимые для доказательства тезиса, должны быть истинными и не противоречащими друг другу.

2). Аргументы должны быть достаточным основанием для доказательства тезиса.

3). Аргументы должны быть суждениями, истинность которых доказана самостоятельно, независимо от тезиса.

Ошибки в основаниях (аргументах) доказательства

1. Ложность оснований (“основное заблуждение”). В качестве аргументов берутся не истинные, а ложные суждение которые выдают или пытаются выдать за истинные. Ошибка может быть непреднамеренной. Например, до Коперника ученые считали, что Солнце вращается вокруг Земли и, исходя из этого ложного аргумента, строили свои теории. Ошибка может быть и преднамеренной (софизмом) с целью запутать, ввести заблуждение других людей (например, дача ложных показаний свидетелями или обвиняемыми в ходе судебного расследования, неправильное опознание вещей или людей и т. п., из чего затем делаются ложные заключения).

2. “Предвосхищение оснований”. Аргументы не доказаны, а тезис опирается на них. Недоказанные аргументы только предвосхищают, но не доказывают тезис.

3. “Порочный круг”. Ошибка состоит в том, что тезис обосновывается аргументами, а аргументы обосновываются этим жетезисом. Например, К. Маркс вскрыл эту ошибку в рассуждениях

Д. Уэстона, одного из деятелей английского рабочего движения. Маркс пишет: “Итак, мы начинаем с заявления, что стоимость товаров определяется стоимостью труда, а кончаем заявлением, что стоимость труда определяется стоимостью товаров. Таким образом, мы поистине вращаемся в порочном кругу и не приходим ни к какому выводу”'.

Правило по отношению формы обоснования тезиса (демонстрации)

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

Ошибки в форме доказательства

1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называемая “не вытекает”, “не следует”. Люди иногда вместо правильного доказательства соединяют аргументы с тезисом посредством слов “следовательно”, “итак”, “таким образом”, “в итоге имеем” и т. п., полагая, что они установили логическую связь между аргументами и тезисом. Эту логическую ошибку часто неосознанно допускает тот, кто не знаком с правилами логики и полагается только на свой здравый смысл и интуицию. В результате возникает словесная видимость доказательства.

В качестве примера логической ошибки мнимого следования Б. А. Воронцов-Вельяминов в своем учебнике “Астрономия” указал на широко распространенное мнение, что шарообразность Земли якобы доказывается следующими аргументами: 1) при приближении корабля к берегу сначала из-за горизонта показываются верхушки мачт, а потом уже корпус корабля; 2) возможны и осуществлялись кругосветные путешествия и др. Но из этих аргументов следует не то, что Земля имеет форму шара (или, точнее, геоида), а только то, что Земля имеет кривизну поверхности, замкнутость формы. Для доказательства шарообразной формы Земли Б. А. Воронцов-Вельяминов предлагает другие аргументы: а) в любом месте Земли горизонт представляется окружностью, и дальность горизонта всюду одинакова;

6) во время лунного затмения тень Земли, падающая на Луну, всегда имеет округлые очертания, что может быть только в том случае, если Земля шарообразна.

2. От сказанного с условием к сказанному безусловно. Аргумент, истинный только с учетом определенного времени, отношения, меры, нельзя приводить в качестве безусловного, верного во всех случаях. Так, если кофе полезен в небольших дозах (для поднятия артериального давления, например), то в больших дозах он вреден. Аналогично, если мышьяк в небольших дозах добавляют в некоторые лекарства, то в больших дозах он - яд. Лекарства врачи должны подбирать для больных индивидуально. Педагогика требует индивидуального подхода к учащимся. Этика определяет нормы поведения людей, и в различных условиях они могут несколько варьироваться (например, правдивость - положительная черта человека, но если он выдаст тайну врагу, то это будет преступлением).

3. Нарушение правил умозаключений (дедуктивных, индуктивных, по аналогии);

а). Ошибки в дедуктивных умозаключениях. Например, в условно-категорическом умозаключении нельзя вывести заключение от утверждения следствия к утверждению основания. Так, из посылок “Если число оканчивается на 0, то оно делится на 5” и “Это число делится на 5” не следует вывод: “Это число оканчивается на 0”. Ошибки в дедуктивных умозаключениях были подробно освещены ранее.

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

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

ПРАВИЛА	ОШИБКИ
быть точно 1. Тезис должен сформулирован 2. Тезис должен оставаться одним и тем же в процессе всего доказательства или опровержения	а) "подмена тезиса" - доказывается (опровергается) новый тезис б) "довод к человеку" - доказательство (опровержение) тезиса подменяется оценкой лица в) "довод к публике" - стремление воздействовать на чувства слушающих
3. Основания должны быть истинными, доказанными, не подлежащими сомнению 4. Основания должны доказываться независимо от тезиса	а) "основное заблуждение" - тезис обосновывается ложными аргументами б) "предвосхищение основания" - аргументы нуждаются в собственном обосновании в) "порочный круг" - аргументы доказываются посредством тезиса
5. Доказательство (опровержение) должно строиться по общим правилам умозаключения	а) "мнимое следование" - тезис не следует из приведенных оснований б) "от сказанного с условием к сказанному безусловно" - аргументы, истинные при определенных условиях, приводятся в качестве истинных при любых условиях

Примеры софизмов, ставших знаменитыми еще в древности: "Что ты не терял, то имеешь; рога ты не терял; значит, у тебя есть рога". "Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит". "Этот пес твой; он отец; значит, он твой отец".

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

В процессе рассуждения иногда возникают логические парадоксы. Парадокс (от греч. paradoxes - неожиданный, странный) -в широком смысле - неочевидное высказывание, истинность которого устанавливается достаточно трудно.

Один из вариантов парадокса был, например, использован Сервантесом в "Дон-Кихоте". Среди задач, которые предлагались Санчо-Панса, в бытность его губернатором острова, была следующая. На острове находится мост и возле этого моста виселица. Каждый переходящий через мост должен ответить на вопрос, куда он идет? Если ответ будет правильным, его пропустят, в противном случае повесят. Один ответ был такой, что он привел в замешательство стражей острова: "Я пришел, чтобы быть повешенным". Если его повесят, то получается, что он сказал правду и, значит, его надо пропустить; если же его пропустят, выйдет, что он сказал неправду и поэтому должен быть повешен.

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

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

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

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

Опровержение имеет три вида:1)критика тезиса – это логическая операция, целью которой является показать ложность выставленного тезиса. Тезис признается ложным, если оппонент отстаивает свое утверждение, но заведомо знает о том, что оно не соответствует действительности. Тезис является ошибочным, если оппонент заблуждается относительно действительности утверждаемого им тезиса.

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

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

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

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

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

2) критика аргументов. Данная логическая операция направлена на обоснование ложности аргумента. Она может выражаться в том, что оппонент может указывать на неточное изложение фактов, выражать в них сомнение.

Если ложность аргументов будет доказана, то тезис будет необоснованным и будет нуждаться в дополнительной аргументации;

3) критика демонстраций. Данная логическая операция указывает на отсутствие логической связи между тезисом и аргументами.

Особое значение при опровержении имеют факты. Ссылка на верные и неоспоримые факты, противоречащие ложным или сомнительным утверждениям оппонента, – самый надежный и успешный способ опровержения. Реальное явление или событие, не согласующиеся со следствиями какого-либо универсального положения, опровергает не только эти следствия, но и само положение.

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

??18!!!!логика высказываний.основные задачи логики высказываний. Логика высказываний (или пропозициональная логика от англ. propositional logic) — это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка. Логика высказываний является простейшей логикой, максимально близкой к человеческой логике неформальных рассуждений и известна ещё со времён античности.

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