Условно-разделительный силлогизм.

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

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

Условные силлогизмы – такие, в которых либо одна, либо обе посылки – условные суждения. Схема условного силлогизма, в котором обе посылки – условные суждения:

Если А, то В
Если В, то С
Следовательно, если А, то С.

Пример:

Если тело подвергается трению, то оно нагревается.

Если тело нагревается, то оно расширяется.

Если тело подвергается трению, то оно расширяется.

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

Когда одна из посылок — суждение условное, а другая — суждение разделительное, тогда силлогизм называется условно-разделительным.

Условно-разделительные силлогизмы.
В условно-разделительном (лемматическом) силлогизме одна посылка является условным суждением, а вторая – разделительным. В зависимости от количества альтернатив, содержащихся в разделительном суждении этого силлогизма, он называется дилеммой, трилеммой, тетралеммой. Наиболее употребительной в практике мышления является дилемма. Она бывает простой и сложной, конструктивной (созидательной) и деструктивной (разрушительной).
В конструктивной дилемме совершается мысленный переход от утверждения альтернатив в основаниях условного суждения к утверждению соответствующих следствий. В деструктивной дилемме происходит переход мысли от отрицания следствий к отрицанию оснований.
Различия между простой и сложной конструктивными дилеммами состоит в том, что: 1) в большей посылке простой дилеммы каждое из двух оснований обусловливает одно и то же следствие, а в сложной дилемме разные основания обусловливают разные следствия; 2) в простой дилемме заключение является категорическим суждением, а в сложной – разделительным.
Простая конструктивная дилемма соответствует схеме:

Если А, то С; если В, то С.

А или В.

С.

Пример:

Если число делится на 6, то оно делится на 2;

Если число делится на 8, то оно делится на 2.

Но данное число делится или на 6, или на 8.

Данное число делится на 2.

Правила построения условно-разделительных силлогизмов таковы:

• умозаключать в условно-разделительных силлогизмах можно от утверждения основания к утверждению следствия и от отрицания следствия к отрицанию основания, нонельзя умозаключать от утверждения следствия к утверждению основания и от отрицания основания к отрицанию следствия;

• во второй посылке, которая есть разделительное суждение, должны быть полностью перечислены все альтернативы;

• необходимо, чтобы союз «или» имел чисто разделительное значение, то есть чтобы альтернативы были чисто исключающими друг друга.

37. Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.

Наиболее распространенные виды энтимем:

Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места».

Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.

Разделительно-категорический силлогизм с пропущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».

Большая посылка — 2-sujdenie_kak_forma_myshleniya.html"разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.

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

Заключение, отрицающее все другие альтернативы, обычно не формулируется.

 

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

В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением. Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко. Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения. Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места». Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается. Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным». Большая посылка — разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется. Разделительно-категорический силлогизм с опущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая». Заключение, отрицающее все другие альтернативы, обычно не формулируется. Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.

38. Правила восстановления энтимемы в полный силлогизм. Энтимема (от греч. in thymos — в уме) Чтобы восстановить энтимему в полный силлогизм, следует руководствоваться следующими правилами:

1) найти заключение и так его сформулировать, чтобы больший и меньший термины были четко выражены;

2) если опущена одна из посылок, установить, какая из них (большая или меньшая) имеется. Это делается путем проверки, какой из крайних терминов содержится в этом суждении;

3) зная, какая из посылок опущена, а также зная средний термин (он имеется в той посылке, которая дана), определить оба термина недостающей посылки.

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

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

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

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

39.Методы логического мышления. Логическое мышление - это вид мыслительного процесса, при котором человек использует логические конструкции и готовые понятия.

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

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

Индуктивное умозаключение (от лат. inductio — наведение) — рассуждение идет от частного знания к общим положениям. Здесь имеет место эмпирическое обобщение, когда на основании повторяемости признака заключают о его принадлежности всем явлениям этого класса.

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

Суждение, как наименьшую единицу логического мышления, выделил Платон. Аристотель в свою очередь показал, что только в наиболее общих суждениях, истинных для всех объектов данного класса, могут выражаться законы природы и общества. Он доказал, что если обе посылки частные, то из них нельзя сделать строгого логического вывода. Строгий логический вывод может быть получен только методом дедукции. Например, два суждения: "Драгоценные металлы не ржавеют" (большая посылка) и "Золото — драгоценный металл" (малая посылка), — взрослый человек с развитым мышлением воспринимает не как два изолированных предложения, а как готовое логическое соотношение (силлогизм), из которого можно сделать только один вывод — "Следовательно, золото не ржавеет". Этот вывод не требует непременного личного опыта, т.к. он получен при помощи объективного логического средства — силлогизма. Все другие типы рассуждений, т.е. индукция и аналогия, с точки зрения истинности вывода куда менее ясны. Только силлогизм является истинной основой логического мышления. Благодаря силлогизмам и другим логическим формам мышление становится доказательным, убедительным и непротиворечивым.

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

Дедуктивное умозаключение переносит общие положения на какие-нибудь частные случаи. Они поэтому предполагают заранее известными те исходные суждения, которые играют роль общих посылок. Индукция же, наоборот, отправляясь от наблюдения отдельных предметов, от изучения единичных фактов, анализа разрозненных явлений, приводит к установлению общих положений. В индукции мысль движется от частностей к общим закономерностям. Индукция - это умозаключение, в результате которого на основе знания об отдельных предметах какого-либо класса делается вывод обо всем классе этих предметов. Наблюдение природных явлений и обобщение полученных результатов представляют собой один из самых распространенных методов постижения окружающего мира. Факты наталкивают человека на общие закономерности, наводят на них. Поэтому Аристотель называл этот вид умозаключения наведением (индукция – латинский перевод этого слова). Через индукцию люди выявили очень много полезных качеств у вещей. Например, уже в очень отдаленные времена они определили целительные свойства различных веществ. Индукцию принято подразделять на полную и неполную; последняя в свою очередь распадается еще на две разновидности. Кроме того, имеется также научная индукция. Полная индукция. Самой простой разновидностью индуктивного процесса является полная индукция. В этом случае перечисляются все без исключения предметы данного класса. Заключение суммирует итог. Так, вывод о том, что все планеты Солнечной системы светят отраженным светом, астрономы сделали на основе наблюдений.

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

Неполная индукция — это умозаключение, в котором на основе принадлежности признака некоторым элементам или частям | класса делают вывод о его принадлежности классу в целом.

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

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

Математическая индукция.

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

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

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

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

41) методы научной индукции. К дедукции относится и так называемая научная индукция, широко используемая в математике. Умозаключение научной индукции слагается из двух посылок и заключения. Первая из посылок говорит, что рассматриваемое свойство присуще первому предмету рассматриваемого ряда. Вторая посылка утверждает, что если это свойство есть у произвольного предмета данного ряда, то оно есть и у непосредственно следующего за ним предмета. Заключение утверждает, что свойство присуще каждому предмету ряда. Научной индукцией называется умозаключение, в посылках которого наряду с повторяемостью признака у некоторых явлений класса содержится также информация о зависимости этого признака от определенных свойств явления. Общая схема научной индукции схожа со схемой математической индукции: Пусть 1. свойство А имеет место при n=1; если этим свойством обладает какое-то натуральное число n, то n+1 тоже обладает этим свойством. Следовательно, этим свойством обладает любое натуральное число. (это схема матем. инд). В научной индукции на основании познания необходимых признаков части предметов класса делается заключение о всех предметах класса. Ни полная, ни научная индукция не являются индуктивным умозаключением в собственном смысле этого слова. И та, и другая всегда дают истинные заключения из истинных посылок и только внешне напоминают индуктивные рассуждения. Необходимо иметь в виду, что на характере вывода отрицательно сказывается упущение следующих требований научной индукции: • планомерный и методический отбор предметов для исследования; • установление их существенных свойств, необходимых для самих предметов и важных для нашей практики; • раскрытие внутренней обусловленности этих свойств (признаков); • сопоставление полученного вывода с другими однотипными положениями науки в данной области знания. Выводы научной индукции не только дают обобщенные знания, но и раскрывают причинную связь, что представляет особую ценность процесса познания. В популярной индукции на основе повторяемости одного и того же признака у некоторой части однородных предметов и при отсутствии противоречащего случая делается общее заключение, что все предметы этого рода обладают этим признаком. Степень вероятности заключения в популярной индукции невысока, так как неизвестно, почему дело обстоит так, а не иначе. Выводы популярной индукции - часто начальный этап формирования гипотезы. Главная ценность данного вида умозаключения состоит в том, что оно является одним из эффективных средств здравого смысла и дает ответы во многих жизненных ситуациях, причем нередко там, где наука безмолвствует. На основе популярной индукции народ вывел немало примет, пословиц и поговорок. Например: "Когда туман, с неба вниз опускаясь, ложится на землю, значит к доброй погоде, а ежели с вечера туман от земли или воды поднимается, на утро - жаркий день". Эффективность популярной индукции во многом зависит от того, насколько число случаев, закрепленных в посылках, по возможности будет: а) больше, б) разнообразнее, в) типичнее.

42) умозаключения и аналогии. Структура и виды аналогии. Умозаключение по аналогии — это вывод о принадлежности определенного признака исследуемому единичному объекту (предмету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объектом. Умозаключению по аналогии всегда предшествует операция сравнения двух объектов, которая позволяет установить сходства и различия между ними. При этом для аналогии требуются не любые совпадения, а сходства в существенных признаках при несущественности различий. Именно такие сходства служат основой для уподобления двух материальных или идеальных объектов. Аналогия не является произвольным логическим построением, в ее основе лежат объективные свойства и отношения предметов реальной действительности. Каждый конкретный предмет, обладая множеством признаков, представляет не случайную их комбинацию, а определенное единство. Каким бы малочисленным ни был тот или иной признак, его существование и изменение всегда обусловлено состоянием других сторон предмета или внешних условий. Виды аналогии По характеру уподобляемых объектов различают два вида аналогии: (1) аналогию предметов и (2) аналогию отношений. (1) Аналогия предметов — умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком — свойства этих предметов. (2) Аналогия отношений — умозаключение, в котором объек-том уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком — свойства этих отношений. § 3. Условия состоятельности выводов по аналогии Заключения, полученные в выводах по аналогии, бывают неодинаковыми по своей обоснованности: в одних случаях они носят проблематичный характер, в других — могут претендовать на достоверность. Эпистемическая ценность заключений определяется характером исходного знания о сравниваемых объектах: зависимости между признаками сходства и переносимым признаком. (1) Сходство уподобляемых объектов. Вывод будет состоятельным лишь в том случае, если выявлено и зафиксировано действительное сходство, которое должно быть не приблизительным, в общих чертах и не случайным, а строго определенным и конкретным сходством в существенных признаках. Отсутствие такого сходства делает умозаключение по аналогии несостоятельным. (2) Учет различий между уподобляемыми объектами. В природе не бывает абсолютно сходных явлений: самая высокая степень сходства всегда предполагает различия. Значит, в любом случае уподобления имеют место и различия между сравниваемыми предметами. Различия эти по-разному влияют на процесс вывода по аналогии. Свойства, препятствующие переносу признака с одного предмета на другой, являются существенными различиями. Как правило, они несовместимы с переносимым свойством или отношением. (3) Знание о наличии связи между сходными и переносимым признаком. В зависимости от характера этой связи различают: 1) строгую аналогию, дающую достоверное заключение, и 2) аналогию нестрогую, заключение которой носит проблематичный характер.

43) гипотеза, её структура и виды. Гипотеза — это закономерная форма развития знаний, представляющая собою обоснованное предположение, выдвигаемое с целью выяснения свойств и причин исследуемых явлений. характерные черты гипотезы: (1) Гипотеза — это всеобщая и необходимая для любого познавательного процесса форма развития знаний. (2) Построение гипотезы всегда сопровождается выдвижением предположения о природе исследуемых явлений, которое является логической сердцевиной гипотезы и формулируется в виде отдельного суждения или системы взаимосвязанных суждений. (3) Возникающее при построении гипотезы предположение рождается в результате анализа фактического материала, на базе обобщения многочисленных наблюдений. Важную роль в возникновении плодотворной гипотезы играет интуиция, творческие способности и фантазия исследователя. Виды гипотез В процессе развития знаний гипотезы различаются по своим познавательным функциям и по объекту исследования. 1. По функциям в познавательном процессе различают гипотезы: (1) описательные и (2) объяснительные. (1) Описательная гипотеза — это предположение о присущих исследуемому объекту свойствах. Оно обычно отвечает на вопрос: Описательные гипотезы могут выдвигаться с целью выявления состава или структуры объекта, раскрытия механизма или процедурных особенностей его деятельности, определения функциональных характеристик объекта. (2) Объяснительная гипотеза — это предположение о причинах возникновения объекта исследований. 2. По объекту исследования различают гипотезы: общие и частные. (1) Oбщей гипотезой называют обоснованное предположение о закономерных связях и об эмпирических регулярностях. (2) Частная гипотеза — это обоснованное предположение о происхождении и свойствах единичных фактов, конкретных событий и явлений. Если единичное обстоятельство послужило причиной возникновения других фактов и если оно недоступно непосредственному восприятию, то познание его принимает форму гипотезы о существовании или о свойствах этого обстоятельства. Наряду с терминами «общая» и «частная гипотеза» в науке используется термин «рабочая гипотеза». Рабочая гипотеза — это выдвигаемое на первых этапах исследования предположение, которое служит условным допущением, позволяющим сгруппировать результаты наблюдений и дать им первоначальное объяснение.

44) этапы построения гипотез, способы проверки гипотез. Построение гипотезы и этапы ее развития. Гипотезы строятся тогда, когда возникла потребность объяснить ряд новых фактов, которые не укладываются в рамки известных ранее научных теорий или других их объяснений. Вначале производится анализ каждого отдельного факта, а затем анализ их совокупности. Чтобы подтвердить выдвигаемую гипотезу, проводят дополнительные научные эксперименты или эксперименты в ходе следственной практики. Следующей задачей является синтез фактов и формулировка гипотезы. Гипотеза не должна противоречить ранее открытым и подтвержденным практикой теориям. Могут быть выдвинуты конкурирующие гипотезы, по-разному объясняющие одно и то же явление, конкурирующими являются гипотезы об органическом или неорганическом происхождении нефти и др. При построении гипотезы надо учитывать и требование, чтобы гипотеза объясняла наибольшее количество фактов, а т.ж. была бы по возможности простой по форме их обоснования. В процессе построения и подтверждения гипотеза проходит несколько этапов. Эти этапы можно показать. 1-й этап. Выделение группы фактов, которые не укладываются в прежние теории или гипотезы и должны быть объяснены новой гипотезой. 2-й этап. Формулировка гипотезы (или гипотез), т.е. предположений, которые объясняют данные факты. 3-й этап. Выведение из данной гипотезы всех вытекающих из нее следствий. 4-й этап. Сопоставление выведенных из гипотезы следствий с имеющимися наблюдениями, результатами экспериментов, с научными законами. 5-й этап. Превращение гипотезы в достоверное знание или в научную теорию, если подтверждаются все выведенные из гипотезы следствия и не возникает противоречия с ранее известными законами науки. Ни одна из перечисленных и других более поздних гипотез пока не подтверждена. Важным условием построения плодотворной гипотезы является соблюдение принципа объективности исследования. В психологическом плане объективность означает отсутствие предвзятости, когда исследователь руководствуется интересами установления истины, а не своими субъективными склонностями, предпочтениями и желаниями. В логико-методологическом плане объективность означает всесторонность исследования. Во-первых, при выдвижении гипотезы или версии должен учитываться весь исходный эмпирический материал. Она должна дать рациональное объяснение всем собранным фактам, не допуская никаких исключений. Если версия строится с учетом лишь части фактов, главным образом согласующихся с выдвинутым предположением, и противоречит другим, то она не может считаться надежной. Будучи односторонней, а значит, и необъективной, такая гипотеза обычно уводит следствие в сторону от истины. Во-вторых, всесторонность требует построения всех возможных в конкретных условиях версий. Это требование диктуется применением широкоизвестного в науке метода "множественных гипотез". Поскольку первичный материал в любом эмпирическом исследовании, дает представлении лишь об отдельных звеньях, отдельных зависимостях между явлениями. Чтобы выявить всю цепь взаимосвязей, необходимо предположить все возможные объяснения, т.е. построить ряд версий, по-разному объясняющих неизвестные обстоятельства. Гипотеза считается состоятельной, если удовлетворяет следующим логико-методологическим требованиям. 1. Гипотеза должна быть непротиворечивой, т.е. предположение не должно противоречить исходному эмпирическому базису. 2. Она должна быть принципиально проверяемой. Принципиальная непроверяемость гипотезы обрекает ее на вечную проблематичность и делает невозможным превращение ее в достоверное знание. 3. Гипотеза считается состоятельной, если она эмпирически и теоретически обоснованна. Вероятность гипотезы зависит от степени ее обоснованности и определяется с помощью количественных либо приблизительных оценочных стандартов. 4. Эвристическая функция гипотезы определяется ее информативностью. 4. Способы подтверждения гипотез. 1. Самым действенным способом подтверждения гипотезы является обнаружение предполагаемого объекта, явления или свойства, которое является причиной рассматриваемого явления. Примерами могут служить открытие планеты Нептун, обнаружение ряда островов в Северном Ледовитом океане, открытие явления искусственной радиоактивности и т.д. При расследовании уголовных дел о хищениях, а т.ж. о разбое, бандитизме, спекуляции важной задачей судебно-следственных органов является обнаружение приобретенных или накопленных преступным путем вещей, ценностей и денежных сумм. Эти ценности и вещи, как правило, прячутся или реализуются преступниками. В связи с этим и возникают частные версии о местонахождении таких вещей и ценностей. 2. Основной способ подтверждения гипотез - выведение следствий и их верификация. В процессе верификации большая роль принадлежит различным экспериментам. Эксперимент учитывает чаще всего влияние не одного фактора, а многих, поэтому надо планировать эксперимент так, чтобы результат был получен за более короткое время, более эффективно и по возможности не дорого. 3. Косвенный способ превращения гипотезы в достоверное знание состоит в опровержении всех ложных гипотез, после чего заключают об истинности одного оставшегося предположения. Для этого применяется разделительно-категорическое умозаключение, отрицающе-утверждающий модус. Структура его та же, что и при косвенном доказательстве. СХЕМА. Явление А могло быть вызвано либо В, либо С, либо Д. Явление А не вызвано ни В, ни С. _________________________________________________ Явление А вызвано Д. Необходимо выполнить два условия: во-первых, перечислить все возможные гипотезы, причем дизъюнкция может быть как строгой, так и нестрогой, во-вторых, следует опровергнуть все ложные гипотезы. 5. Опровержение гипотез. Опровержение гипотез осуществляется путем опровержения их следствий. При этом может обнаружиться, что многие или все необходимые следствия рассматриваемой гипотезы не имеют места в действительности. Кроме того, возможно, будут найдены факты, противоречащие выведенным следствиям. Опровержение гипотез происходит в форме отрицающего модуса условно-категорического умозаключения, имеющего форму: ((а ® б)(б()® а. Этот модус всегда дает достоверное заключение. Структура опровержения гипотезы такова: Если имела место причина (гипотеза) Н, то должны быть следствия: С1, и С2, и С3, и...., и С(. Следствия С1, или С2, или С3,...., или С(отсутствуют. ___________________________________________________________ Причина Н не имела места. В символической логике это умозаключение можно записать таким способом: (® (С1 ((С2 (С3 (... (С() _____________________________ С1 ((С2 (С3 (... (С(______________________ (Чем большее число следствий отсутствует, тем выше степень опровержение высказанной гипотезы. Гипотеза окончательно опровергнется, если обнаруживаются факты, обстоятельства, явления, противоречащие вытекающим из данной гипотезы следствиям.

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

Структура доказательства

Основу доказательства составляют следующие положения:

1. Тезис — утверждение, истинность которого надо доказать

2. Аргументы и факты — это те истинные суждения, которыми пользуются при доказательстве тезиса

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

Виды доказательства

Доказательства по форме делятся на прямые и (косвенные).

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

Непрямое (Косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:

1. если тезис обозначить буквой а, то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением;

2. антитезисом для тезиса а в суждении а...в...с служат суждения в и с.

В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида – апагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.