Шпаргалка по "Логике"

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

- Нестрогая дизъюнкция  — суждение, в котором связка  или употребляется в соединительно-разделительном  значении символ v

- Строгая дизъюнкция  — суждение, в котором связка  или употребляется в разделительном  значении. Члены строгой дизъюнкции называются альтернативами и не могут быть одновременно истинными. Если деяние совершено умышленно, то его нельзя считать неосторожным, и наоборот. 
а Полная дизъюнкция закрытая — дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода Листья бывают желтые, зеленые или оранжевые

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

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

Эквивалентным называют суждение, включающее в качестве составных  два суждения, связанных двойной  прямой и обратной условной зависимостью, выражаемой логической связкой если и только если-, то…. Например: Если и только если человек награжден орденами и медалями р, то он имеет право на ношение соответствующих орденских планок q. Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении р рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок q. Точно так же истинность утверждения о наличии права на ношение орденских планок q является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью р. Такую обоюдную зависимость символически можно выразить двойной импликацией pСтрелочка влево и стрелочка вправоq, которая читается: Если и только если р, то q. Для выражения эквивалентности суждения используют также такие союзы, как лишь при условии, что…, то…, в том, и только в том случае, когда…, тогда…. Эквивалентность выражают и другим знаком: р = qВместо 2х линий 3.

39. Способы доказательства. 
Процедура аргументации объединяет 2 различные по своей направленности операции — обоснование и критику.

Различают 2 вида обоснования  тезиса: прямое и косвенное.

Прямое обоснование  тезиса — это обоснование тезиса без обращения к конкурирующим с тезисом допущения. Прямое обоснование тезиса может принимать форму дедукции, индукции и аналогии. Дедуктивное обоснование выражается в подведение частного случая под общее правило. Пример: выстрел в Н. был произведен с близкого расстояния Т. Если вокруг огнестрельной раны обнаруживают внедрения пороха, то выстрел был близкий а1, вокруг огнестрельной раны на теле Н. обнаружены внедрения пороха а2. 
Индуктивное обоснование — это логический переход от аргументов, в которых содержится информация о отдельных случаях определенного рода, к тезису, обобщающему эти случаи. Пример: для всех видов преступлений против собственности УК РФ предусматривает в качестве одного из видов санкций — лишение свободы Т. Преступления против собственности предусмотрено в одиннадцати статьях 21ой главы УК РФ а1, для каждого из одиннадцати преступлений в качестве одного из видов санкций предусматривают лишение свободы а2.

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

Косвенным называют обоснование  тезиса путем установления ложности антитезиса или других конкурирующих  с тезисом допущений T v A v B. Различают 2 вида косвенного обоснования тезиса: апагогическое обоснование и  разделительное. Апагогическое обоснованием- это обоснование тезиса путем установления ложности антитезиса. Схему см. в тетр.

Разделительным называют косвенное обоснование путем  установления ложности и исключения всех других членов дизъюнкции. В отличие  от апагогического, в разделительном обосновании фигурируют не два тезис и антитезис, а несколько положений — T, A, B, каждое из которых претендует на роль тезиса. Обоснование тезиса в этом случае строится методом исключения, когда доказывается несостоятельность всех членов дизъюнкции, кроме одного. Схема:

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

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

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

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

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

40. Суждение как форма мышления. Суждение и предложение

Суждение — форма мышления, в которой утверждается или  отрицается связь между предметом (S — субъект) и его признаком (Р — предикат), отношение между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

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

Состав суждения: S - субъект (отражает предмет суждения); Р— предикат (отражает признак предмета); Связка — соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака (есть — не есть; является — не является; часто связка грамматически не выражена — просто тире). В распространенном предложении кроме главным членов подлежащего и сказуемого имеются дополнительные члены (дополнение, определение, обстоятельство). В таком случае субъект и предикат выражаются «группой подлежащего» и «группой сказуемого», включающими, кроме главных членов, и второстепенные члены предложения.

Логическое ударение — Степанов (а не кто-то другой) имеет высшее (а не среднее) юридическое образование (а не какое-либо другое).

Термин «суждение» может быть заменен равнозначным термином «высказывание».

41. Умозаключения по аналогии, их структура и виды. Аналогия и моделирование. 
Умозаключение по аналогии — это вывод о сходстве двух объектов предметов или отношений между предметами на основании их сходства в одних признаках и переносе признаков, обнаруженных у одного объекта на другой объект, у которого эти признаки не обнаружены. Умозаключению по аналогии предшествует операция сравнения двух объектов, которая позволяет установить сходства и различия между ними. 
Аналогия не является произвольным логическим построением, в ее основе лежат объективные свойства и отношения предметов реальной действительности. Логический переход от известного к новому знанию регулируется в выводах по аналогии правилом: если 2 единичных предмета сходны в определенных признаках, то они могут быть сходны и в других признаках, обнаруженных в одном из сравниваемых предметов.

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

По характеру уподобляемых объектов различают 2 вида аналогии — аналогию предметов и аналогию отношений.

Аналогия предметов  — это умозаключение, в котором  объектом уподобления выступают 2 сходных  предмета, а переносимым признаком  — признак одного из них.

А,В,С,Д — признаки предметов 
а, б — предметы

а присущи АБСД 
б присущи АБС 
заключение: вероятно, б присущ признак Д

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

Н. является отцом несовершеннолетнего ребенка 
Д. является дедом несовершенного ребенка

Н. обязан содержать своего несовершеннолетнего ребенка, кормить  и учить его 
Д. обязан содержать своего несовершеннолетнего ребенка, кормить его

Заключение: вероятно, Д. обязан учить несовершеннолетнего ребенка.

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

Это умозаключение имеет  два правильных модуса: 1 утверждающий и 2 отрицающий.

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

Например: Если иск предъявлен недееспособным лицом А, то суд оставляет  иск без рассмотрения В 
Иск предъявлен недееспособным лицом А Суд оставляет иск без рассмотрения В. Схема модуса:

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

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

Например: Если иск предъявлен недееспособным лицом А, то суд оставляет  иск без рассмотрения В 
Суд не оставил иск без рассмотрения не-В Неверно, что иск предъявлен недееспособным лицом не-А.

Схема отрицающего модуса:

Нетрудно установить, что возможны еще две разновидности  условно-категорического силлогизма: от отрицания истинности основания  к отрицанию истинности следствия 3 и от утверждения истинности следствия  к утверждению истинности основания4,

Однако заключение по этим модусам не будет достоверными.

43. Фигуры силлогизма и  их познавательные функции. Правила  фигур.

Фигуры простого категорического  силлогизма. Модусы простого категорического  силлогизма. 
 
а) Первая фигура 
 
В посылках простого категорического силлогизма сред- 
 
ний термин может занимать место субъекта или предиката. В за- 
 
висимости от этого различают четыре разновидности силлогизма которые называют фигурами. Фигуры силлогизма — это его разновидности, различающиеся положением среднего тер- 
 
мина в посылках. 
 
В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылках. 
Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицатель- 
 
ные (Е), частноутвердительные (I) и частноотрицательные (О). 
 
Разновидности силлогизма, различающиеся количе- 
 
ственными и качественными характеристиками посылок, на- 
 
зываются модусами простого категорического силлогизма. Общее количество вариантов в четырех фигурах 64 модуса, но правильными, т.е. соответствующими всем правилам, являются только 19 из них. По первой фигуре это модусы: ААА, ЕАЕ, АН, ЕЮ. 
 
Помимо общих правил существуют специальные правила фигур. 
 
Правила 1 -й фигуры: 
 
1. Большая посылка — общее суждение. 
 
2. Меньшая посылка — утвердительное суждение. 
 
Первая фигура — наиболее типичная форма дедуктивного умозаключения. Из общего положения, выражающего нередко закон науки, правовую норму, делается вывод об отдельном факте, единичном случае, конкретном лице. Широко применяется эта фигура в судебной практике. Юридическая оценка (квалификация) правовых явлений, применение нормы права к отдельному случаю, назначение наказания за преступление, совершенное конкретным лицом, и другие судебные решения принимают логическую фор- 
 
му 1-й фигуры силлогизма. 
 
б) Вторая фигура. 
 
Во второй фигуре — место предиката в обеих посылках. 
Разновидности силлогизма, различающиеся количественными и качественными характеристиками посылок, называются модусами простого категорического силлогизма. 
 
Общее количество вариантов в четырех фигурах 64 модуса, но г правильными, т.е. соответствующими всем правилам, являются г только 19 из них по второй фигуре: ЕАЕ, АЕЕ, ЕЮ, АОО. 
 
Помимо общих правил существуют специальные правила фигур. 
 
Правила 2-й фигуры: г 1. Большая посылка — общее суждение. Ь 2. Одна из посылок — отрицательное суждение. 
 
2-я фигура применяется, когда необходимо показать, что I отдельный случай (конкретное лицо, факт, явление) не может быть I подведен под общее положение. Этот случай исключается из чис- 
 
ла предметов, о которых сказано в большей посылке. В судебной I практике 2-я фигура используется для заключений об отсутствии I состава преступления в данном конкретном случае, для опровержения положений, противоречащих тому, о чем говорится в посылке, выражающей общее положение. 
 
в) Третья фигура. 
 
В третьей фигуре — место субъекта в обеих посылках. 
 
Посылками силлогизма могут быть суждения, различные по •качеству и количеству: общеугвердительные (А), общеотрицатель- 
 
ные (Е), частноутвердительные (I) и частноотрицательные (О). 
 
- 
Разновидности силлогизма, различающиеся количе- 
 
ственными и качественными характеристиками посылок, на- 
 
зываются модусами простого категорического силлогизма. 
 
Общее количество вариантов в четырех фигурах 64 модуса, но правильными, т.е. соответсвующими всем правилам, являются только 19, из них по третьей фигуре: AAI, IAI, All, EAO, ОАО, ЕЮ. 
 
Помимо общих правил существуют специальные правила фигур. 
 
Правила 3-й фигуры: 
 
1. Меньшая посылка — утвердительное суждение. 
 
2. Заключение — частное суждение. 
 
Давая только частные заключения, 3-я фигура применяется чаще всего для установления частичной совместимости призна- 
 
ков, относящихся к одному предмету. В практике рассуждения 3-я фигура применяется сравнительно редко.