2. В отрицающе-утверждающем модусе (modus tollendo ponens)

меньшая посылка отрицает один дизъюнкт, заключение утверждает

другой. Например: Трудовой договор заключается на определённый (p) или на неопределённый срок (q).

Трудовой договор не заключён на определённый срок (¬q)

Следовательно, данный трудовой договор заключён на определённый срок.(q) Схема отрицающе-утверждающего модуса:

То есть: первая посылка: A или B или C …, вторая посылка: не A, не C …; заключение (вывод): следовательно, B.

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

32.Недедуктиные умозаключения, их виды и роль.

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

Индуктивные умозаключения

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

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

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

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

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

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

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

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

Умозаключению по аналогии предшествует операция сравнения двух объектов, которая позволяет установить сходства и различия между ними. При этом для аналогии требуются не любые совпадения, а сходства в существенных признаках при несущественности различий.Именно такие сходства служат основой для уподобления двух материальныхили идеальных объектов. Например, у Земли имеется атмосфера ,вода, на Земле существует жизнь. На планете Х обнаружена атмосфера ,вода, следовательно ,там, возможно есть жизнь. Схема: А обладает признаками a,b,c,d. B обладает признаками a,b,c _______________________________ Вероятно,B обладает признаком D Аналогия не является произвольным логическим построением, в ее основе лежат объективные свойства и отношения предметов реальной действительности. Каждый конкретный предмет, обладая множеством признаков, представляет не случайную их комбинацию,а определенное единство. Каким бы малозначительным ни был тот

или иной признак, его существование и изменение всегда обусловлено

состоянием других сторон предмета или внешних условий.

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

объем тела, что, в свою очередь, влияет на ею плотность, теплопроводность

и т. д.

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

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

(1) аналогию предметов и (2) аналогию отношений