Силлогизм, в котором выражены все его части — обе посылки и заключение, называется полным. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются.
Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.
Энтимема в переводе с греческого буквально означает «в уме»/
Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необязательно.
Полный силлогизм строится по 1-й фигуре:
Лицо, совершившее преступление (М), подлежит уголовной
ответственности (р)Н. (s) совершил преступление (М)Н. (s) подлежит уголовной ответственности (р)В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением.Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.
Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места».Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».Большая посылка — разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.Разделительно-категорический силлогизм с опущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая».Заключение, отрицающее все другие альтернативы, обычно не формулируется.Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.
29.Чисто условное умозаключение
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Схема чисто условного умозаключения:(р -» q) ^ (q -> г) р->г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
30. Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.
Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.
31. Разделительно-категорическое умозаключение Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами.
1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. 2. В отрицающе-утверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утверждает другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения -— дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сделок: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание.
Заключение будет истинным, если в условной посылке учтены все возможные случаи.
Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий.
32. Условно-разделительное умозаключение
Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.
Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.
Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
Схема простой конструктивной дилеммы:
(р-»г)^(q->г),рvq
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
Схема сложной конструктивной дилеммы:
(p->q)^(r-»s), pvr
qvs
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
Схема простой деструктивной дилеммы:
(p->q)^(p-»r),1qv1r
1pВ сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.
Схема сложной деструктивной дилеммы:
(p-»q)^(r->s),1qv1s
1pv1r
33. Индукция — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.Различают полную индукцию — метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности, и неполную индукцию — наблюдения за отдельными частными случаями наводят на гипотезу, которая, конечно, нуждается в доказательстве. Также для доказательств используется метод математической индукции.
34 Метод сходства По методу сходства сравнивают несколько случаев, в каждом из
которых исследуемое явление наступает; при этом все случаи сходны лишь в одном и различны во всех других обстоятельствах.Метод сходства называют методом нахождения общего в различном, поскольку все случаи заметно отличаются друг от друга, кроме одного обстоятельства.Логический механизм индуктивного вывода по методу сходства предполагает ряд познавательных предпосылок. Требуется общее знание о возможных причинах исследуемого явления.Из предшествующих должны быть исключены (элиминированы) все обстоятельства, не являющиеся необходимыми для исследуемого действия и тем самым не удовлетворяющие основному свойству причинной связи
Среди множества предшествующих обстоятельств выделяют сходное и повторяющееся в каждом из рассмотренных случаев.Достоверное заключение может быть получено по методу сходства лишь в том случае, если исследователю точно известны все предшествующие обстоятельства, которые составляют закрытое множество возможных причин, а также известно, что каждое из обстоятельств не вступает во взаимодействие с другими. В этом случае индуктивное рассуждение приобретает доказательное значение.
2. Метод различия По методу различия сравнивают два случая, в одном из которых исследуемое явление наступает, а в другом не наступает; при этом второй случай отличается от первого лишь одним обстоятельством, а все другие являются сходными.
Метод различия называют методом нахождения различного в сходном, ибо сравниваемые случаи совпадают друг с другом по многим свойствам.
Применяется метод различия как в процессе наблюдения над явлениями в естественных условиях, так и в условиях лабораторного или производственного эксперимента. В истории химии методом различия были открыты многие вещества — ускорители реакций, которые впоследствии получили название катализаторов. В сельскохозяйственном производстве этим методом проверяют, к примеру, эффективность удобрений.
Рассуждение по методу различия также предполагает ряд предпосылок.
Требуется общее знание о предшествующих обстоятельствах, каждое из которых может быть причиной исследуемого явления.
Из членов дизъюнкции следует исключить обстоятельства, не удовлетворяющие условию достаточности для исследуемого действия. Среди множества возможных причин остается единственное обстоятельство, которое рассматривается в качестве действительной причины. Поскольку в условиях эмпирического познания трудно претендовать на исчерпывающую констатацию всех обстоятельств, выводы по методу различия в большинстве случаев дают лишь проблематичные заключения. По признанию многих исследователей, методом различия достигаются наиболее правдоподобные индуктивные вывод
35. Умозаключение по аналогии — это вывод о принадлежности определенного признака исследуемому единичному объекту (предмету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объектом.Умозаключению по аналогии всегда предшествует операция сравнения двух объектов, которая позволяет установить сходства и различия между ними. При этом для аналогии требуются не любые совпадения, а сходства в существенных признаках при несущественности различий. Именно такие сходства служат основой для уподобления двух материальных или идеальных объектов. Виды аналогии По характеру уподобляемых объектов различают два вида аналогии: (1) аналогию предметов и (2) аналогию отношений.(1) Аналогия предметов — умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком — свойства этих предметов.
(2) Аналогия отношений — умозаключение, в котором объек-том уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком — свойства этих отношений.
§ 3. Условия состоятельности выводов по аналогии
Заключения, полученные в выводах по аналогии, бывают неодинаковыми по своей обоснованности: в одних случаях они носят проблематичный характер, в других — могут претендовать на достоверность.
Эпистемическая ценность заключений определяется характером исходного знания о сравниваемых объектах: зависимости между признаками сходства и переносимым признаком.
(1) Сходство уподобляемых объектов. Вывод будет состоятельным лишь в том случае, если выявлено и зафиксировано действительное сходство, которое должно быть не приблизительным, в общих чертах и не случайным, а строго определенным и конкретным сходством в существенных признаках. Отсутствие такого сходства делает умозаключение по аналогии несостоятельным.(2) Учет различий между уподобляемыми объектами. В природе не бывает абсолютно сходных явлений: самая высокая степень сходства всегда предполагает различия. Значит, в любом случае уподобления имеют место и различия между сравниваемыми предметами. Различия эти по-разному влияют на процесс вывода по аналогии.Свойства, препятствующие переносу признака с одного предмета на другой, являются существенными различиями. Как правило, они несовместимы с переносимым свойством или отношением. (3) Знание о наличии связи между сходными и переносимым признаком. В зависимости от характера этой связи различают:
1) строгую аналогию, дающую достоверное заключение, и 2) аналогию нестрогую, заключение которой носит проблематичный характер.
36. Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления — его определенность — выражает закон тождества:всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а=а, где под а понимается любая мысль).
Закон тождества может быть выражен формулой р->р (если р, то р), где р — любое высказывание, —> — знак импликации.Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.
Например, два суждения: «Н. совершил кражу» и «Н. тайно похитил чужое имущество» — выражают одну и ту же мысль (если, разумеется, речь идет об одном и том же лице). Предикаты этих суждений — равнозначные понятия: кража и есть тайное хищение чужого имущества. Поэтому было бы ошибочным рассматривать эти мысли как нетождественные.С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Например, в уголовном праве словом «штраф» обозначают меру наказания, предусмотренную Уголовным кодексом, в гражданском праве этим словом обозначают меру административного воздействия. Очевидно, употреблять подобное слово в одном значении не следует.Отождествление различных мыслей нередко связано с различиями в профессии, образовании и т.д. Так бывает в следственной практике, когда обвиняемый или свидетель, не зная точного смысла некоторых понятий, понимает их иначе, чем следователь. Это нередко приводит к путанице, неясности, затрудняет выяснение существа дела
Отождествление различных понятий представляет собой логическую ошибку — подмену понятия, которая может быть как неосознанной, так и преднамеренной.
Соблюдение требований закона тождества имеет важное значение в работе юриста, требующей употребления понятий в их точном значении.При разбирательстве любого дела важно выяснить точный смысл понятий, которыми пользуются обвиняемый или свидетели, и употреблять эти понятия в строго определенном смысле. В противном случае предмет мысли будет упущен и вместо выяснения дела произойдет его запутывание.
37. ЛОГИЧЕСКИЕ ОСНОВЫАРГУМЕНТАЦИИ Аргументация. Цель познания в науке и практике — достижение достоверного, объективно истинного знания для активного воздействия на окружающий мир. Установление объективной истины — важная задача демократической системы правосудия. Результаты научного и практического познания признаются истинными, если они прошли тщательную и всестороннюю проверку.
На ступени абстрактного мышления результаты процесса познания проверяют главным образом сопоставлением полученных результатов с другими, ранее установленными суждениями. Истинность суждений устанавливается логическим способом — через посредство других суждений.Такая опосредованная проверка суждений называется операцией обоснования, или аргументацией. Обосновать какое-либо суждение означает привести другие, логически связанные с ним и подтверждающие его суждения.
Выдержавшие логическую проверку суждения выполняют функцию убеждения и принимаются лицом, которому адресована выраженная в них информация.
Убеждающее воздействие суждений в коммуникативном процессе зависит не только от логического фактора — правильно построенного обоснования. Важная роль в аргументации принадлежит и внелогическим факторам: лингвистическому, риторическому, психологическому и другим.
аргументация – это операция обоснования каких-либо суждений, в которой наряду с логическимиприменяются также речевые, эмоционально-психологические и другие внелогические методы и приемы убеждающего воздействия.Методы убеждающего воздействия анализируются в различных науках: логике, риторике, психологии, лингвистике. Совместное же их изучение является предметом особой отрасли знания — теории аргументации, представляющей собою комплексное учение о наиболее эффективных в коммуникативном процессе логических и внелогических методах и приемах убеждающего воздействия.
38. Доказательство'. Аргументация в различных областях науки и практики не всегда дает однозначные по логической ценности результаты. Так, при построении версий в судебном исследовании недостаточность исходного фактического материала позволяет получать лишь правдоподобные заключения. Такие же результаты получает исследователь, когда использует в рассуждении умозаключения по аналогии или умозаключения неполной индукции. В других случаях, когда исходный материал установлен с достоверностью и достаточен для применения в процессе обоснования демонстративных рассуждений, аргументативный процесс обеспечивает получение достоверного, объективно истинного знания. Такого рода аргументация приобретает характер строгого рассуждения и именуется доказательством. Г Доказательство — это логическая операция обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений. Таким образом, доказательство — это одна из разновидностей процесса аргументации, а именно аргументация, устанавливающая истинность суждения на основе других истинных суждений. Новые идеи в науке не принимаются на веру, какой бы авторитет-йой ни была личность ученого и его уверенность в правильности своих идей. Для этого надо убедить других в правильности новых идей не силой авторитета, психологическим влиянием или красноречием, а прежде всего силой логики — последовательным и строгим доказательством исходной идеи! Доказательное рассуждение—характерная черта научного стиля мышления Термин «доказательство» в процессуальном праве употребляется в двух смыслах: (1) для обозначения фактических обстоятельств, выступающих носителями информации о существенных сторонах уголовного или гражданского дела (например, угроза обвиняемого в адрес потерпевшего; оставленные на месте совершения преступления следы и т.д.); (2) для обозначения источников информации о фактических обстоятельствах, имеющих отношение к делу (например, показания свидетелей, письменные документы и т.д.).Требование доказанности предъявляется и к познанию в судопроизводстве: судебное решение по уголовному или гражданскому делу считается правосудным, если оно получило объективное и всестороннее обоснование в ходе судебного разбирательства.
39. Опровержение – это обоснование ложности определенного суждения. Опровержение высказывания есть доказательство его отрицания.
Суждение, которое пытаются опровергнуть, в логике называют тезисом опровержения.
Высказывания, с помощью которого опровергают данный тезис, называют аргументами опровержения.Существует три способа опровержения: 1) опровержение тезиса (прямое и косвенные); 2) критика аргументов; 3) выявление несостоятельности демонстрации.
При опровержении тезиса можно использовать следующие два способа: опровержение фактами и сведение к абсурду.Доказывается ложность или несостоятельность аргументов, выдвинутых оппонентом в процессе обоснования своей позиции.Демонстрируются ошибки в форме доказательства, например, когда между тезисом и приведенными аргументами нет логической связи. В этом случае тезис так и остается не доказанным оппонентом.
40. Понятие и виды гипотез. Версия Понятие гипотезы Гипотеза — это закономерная форма развития знаний, представляющая собою обоснованное предположение, выдвигаемое с целью выяснения свойств и причин исследуемых явлений. характерные черты гипотезы: Гипотеза — это всеобщая и необходимая для любого познавательного процесса форма развития знаний.
Построение гипотезы всегда сопровождается выдвижением предположения о природе исследуемых явлений, которое является логической сердцевиной гипотезы и формулируется в виде отдельного суждения или системы взаимосвязанных суждений. Возникающее при построении гипотезы предположение рождается в результате анализа фактического материала, на базе обобщения многочисленных наблюдений. Важную роль в возникновении плодотворной гипотезы играет интуиция, творческие способности и фантазия исследователя. Виды гипотез
В процессе развития знаний гипотезы различаются по своим познавательным функциям и по объекту исследования.
1. По функциям в познавательном процессе различают гипотезы: (1) описательные и (2) объяснительные.Описательная гипотеза — это предположение о присущих исследуемому объекту свойствах. Оно обычно отвечает на вопрос:
Описательные гипотезы могут выдвигаться с целью выявления состава или структуры объекта, раскрытия механизма или процедурных особенностей его деятельности, определения функциональных характеристик объекта. Объяснительная гипотеза — это предположение о причинах возникновения объекта исследований.
2. По объекту исследования различают гипотезы: общие и частные.
Oбщей гипотезой называют обоснованное предположение о закономерных связях и об эмпирических регулярностях. (2) Частная гипотеза — это обоснованное предположение о происхождении и свойствах единичных фактов, конкретных событий и явлений. Если единичное обстоятельство послужило причиной возникновения других фактов и если оно недоступно непосредственному восприятию, то познание его принимает форму гипотезы о существовании или о свойствах этого обстоятельства.
Наряду с терминами «общая» и «частная гипотеза» в науке используется термин «рабочая гипотеза».Рабочая гипотеза — это выдвигаемое на первых этапах исследования предположение, которое служит условным допущением, позволяющим сгруппировать результаты наблюдений и дать им первоначальное объяснение.
Способы доказательства гипотез Основными являются три способа: дедуктивное обоснование выраженного в гипотезе предположения; логическое доказательство гипотезы; непосредственное обнаружение предположенных в гипотезе предметов.
Непосредственное обнаружение искомых предметов. Наиболее убедительным способом превращения предположения в достоверное знание является непосредственное обнаружение в предположенное время или в предположенном месте искомых предметов либо непосредственное восприятие предположенных свойств.Логическое доказывание версий. Версии, объясняющие существенные обстоятельства расследуемых дел, превращаются в достоверное знание путем логического обоснования. Логическое доказывание гипотезы в зависимости от способа обоснования может протекать в форме косвенного или прямого доказывания.Косвенное доказывание протекает путем опровержения и исключения всех ложных версии, на основании чего утверждают достоверность единственного оставшегося предположения.
Вывод протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения.
Прямое доказывание гипотезы протекает путем выведения из предположения разнообразных, но вытекающих только из данной гипотезы следствий и подтверждения их вновь обнаруженными фактами.