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

8. Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.

●Суждение — это форма мысли, посредством которой раскрывается наличие или отсутствие каких-либо связей и отношений между предметами.Отличительный признак суждения — утверждение или отрицание чего-либо о чем-либо. Суждение может быть истинным или ложным. Истинность суждения определяется его соответствием действительности, оно не зависит от нашего отношения к нему и носит объективный характер. Истинность суждений о простейших житейских ситуациях очевидна и не требует специального исследования. Ложные суждения - это такие суждения, в которых связь понятий искажает объективные свойства и отношения предмета мысли В науке же на подтверждение или отрицание какого-либо суждения требовались годы напряженного труда. ●В виде суждений формулируются все научные истины. Они служат также универсальной формой духовного общения между людьми, взаимообмена информацией. Форму суждения обычно принимают статьи юридических законов и других нормативных актов, регулирующих поведение людей в обществе.Всякое суждение выражается в предложении, но не всякое предложение является суждением. Суждением может быть предложение, сообщающее какую-либо информацию, характеризуемую как истинная или ложная, т.е. это может быть только повествовательное предложение.  Одно и то же суждение может быть выражено в разных предложениях. Например, «Аристотель является основателем науки логики» и «Воспитатель Александра Македонского является основателем науки логики». В свою очередь одно и то же предложение может выражать разные суждения. Например, предложение «Аристотель — основатель науки логики» может выражать следующие суждения: «Аристотель (а не кто-либо другой) является основателем науки логики»; «Аристотель является основателем (а не продолжателем) науки логики»; «Аристотель является основателем науки логики (а не физики или математики)». ●Структура суждения в разных языках одинакова, а структура предложений различна.В суждении можно выделить следующие элементы: субъект, предикат, связка и квантор. Субъектом (S) суждения является понятие о предмете суждения, то, о чем мы судим; он содержит исходное знание. Предикатом (P) называется понятие о признаке предмета, то, что говорится о предмете суждения. Предикат содержит новое знание о предмете. Субъект и предикат называются терминами суждения. Связка выражает отношение между субъектом и предикатом. Связка объединяет термины суждения в единое целое, устанавливая принадлежность или не принадлежность признака предмету. Связка может быть выражена одним словом (есть, суть, является) или группой слов, или тире, или простым согласованием свойств («Собака лает», «Идет дождь»). Квантор, или кванторное слово («все», «ни один», «некоторые»), характеризует суждение со стороны его количества, указывает на отношение суждения ко всему объему понятия, выражающего субъект, или к его части. ●Чтобы выявить логический смысл предложения, надо найти в нем субъект и предикат. В простых случаях они соответствуют подлежащему и сказуемому. В сложных предложениях субъект может быть выражен группой подлежащего, а предикат — группой сказуемого. Например, в предложении «Любой, кто получил выгоду от преступления, виновен в его совершении» субъектом является группа подлежащего: «любой, кто получил выгоду от преступления» так как это — исходная информация, а предикатом — группа сказуемого: «виновен в его совершении», так как это — новая информация. Но не всегда наблюдается соответствие субъекта с подлежащим, предиката со сказуемым. В предложении «Выдающимся русским писателем является Шолохов» субъект — «выдающийся русский писатель», а предикат — «Шолохов». Субъект и предикат могут быть выражены и другими членами предложения.

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

Простые суждения - выражают связь  двух понятий, не включают других суждений. Простое суждение состоит из субъекта, предиката и связки.● В зависимости  от того, что отрицается или утверждается суждения делятся на: 
1) Атрибутивные (связь между предметом и его признаком) S - Р 
2) Реляционные (отношения между предметами) xRy 
3) Экзистенциальные (факт существования предмета) Эх

10. Классификация простых категорических (атрибутивных) суждений.

Простым называется суждение, не включающее других суждений. Атрибутивные (от лат. «свойство», «признак») — суждения о признаке предмета. В них отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Атрибутивные суждения называются также категорическими, т.е. ясными, безусловными. Логическая схема атрибутивного суждения S — Р, где S — субъект суждения, Р — предикат,«-» — связка. Например, «Адвокат встретился с обвиняемым».  Категорические суждения делятся по качеству и количеству.    ○По качеству выделяют утвердительные и отрицательные суждения. Утвердительное выражает принадлежность предмету какого-либо свойства, отрицательное — отсутствие какого-либо свойства, они различаются качеством связки. Суждение с отрицательным предикатом, но с утвердительной связкой рассматривается как утвердительное, например, «Данное решение суда является необоснованным».  
 ○По количеству выделяют единичные, частные и общие суждения. Количественная характеристика выражается квантором общности. Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например, «Это здание — памятник архитектуры». Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса с помощью слов некоторые, многие, немногие, большинство, меньшинство, часть. Например, «Часть преступлений Относится к экономическим». Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса с помощью слов все, никто, любой, каждый. Например: «Все свидетели дали показания», «Никто не пришел на заседание». Иногда квантор не указывается, и тогда он определяется по смыслу, например, «Равнодушие унижает».

11. Распределённость терминов в атрибутивных суждениях и способы её определения.

В логических операциях с суждениями возникает необходимость установить, распределены или не распределены его термины — субъект и предикат. Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.  
Рассмотрим, как распределены термины в суждениях А, Е, I, О.  
 Суждение А (Все S суть Р). «Все студенты нашей группы (S) сдали экзамены (Р)». Субъект этого суждения («студенты нашей группы») распределен, он взят в полном объеме: речь идет обо всех студентах нашей группы. Предикат этого суждения не распределен, так как в нем мыслится только часть лиц, сдавших экзамены, совпадающая со студентами нашей группы.  
Таким образом в общеутвердительных суждениях S распределён, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности. 
Суждение Е (Ни одно S не есть Р). «Ни один студент нашей группы (S) не является неуспевающим (Р)». И субъект, и предикат взяты в полном объеме. Объем одного термина полностью исключается из объема другого: ни один студент нашей группы не входит в число неуспевающих, и ни один неуспевающий не является студентом нашей группы. Следовательно, в общеотрицательных суждениях и S, и Р распределены. 

 Суждение  
I (Некоторые S суть Р). «Некоторые студенты на-n группы (S) — отличники (Р)». Субъект этого суждения не распределён, так как в нем мыслится только часть студентов налей группы, объем субъекта лишь частично включается в объем 1редиката: только некоторые студенты нашей группы относятся к числу отличников. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники — студенты нашей группы.  
  Исключение из этого правила составляют частновыделяющие суждения, предикат которых полностью входит в объем субъекта. Например, «Некоторые родители, и только они (S), являются многодетными (Р)». Здесь понятие «многодетные» полностью входит в объем понятия «родители». Субъект такого суждения не распределен, предикат распределен.  
Суждение О (некоторые S не суть Р). «Некоторые студенты нашей группы (S) — не отличники (Р)». Субъект этого суждения не распределен (мыслится лишь часть студентов нашей группы), предикат распределен, в нем мыслятся все отличники, ни один из которых не включается в ту часть студентов нашей группы, которая мыслится в субъекте. Следовательно, в частноотрицательном суждении S не распределен, а Р распределен. 
 
Приведем схему распределенности терминов:  
В общеутвердительном — S — распределен, а Р — не распределен. В общеотрицательном — S — распределен и Р — распределен.  
В частноутвердительном — S — не распределен и Р — не распределен.  
В частноотрицательном — S — не распределен, а Р — распределен.

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

   Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2) разделительные, 3) условные, 4) эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых. 
 ●Соединительные (конъюнктивные) суждения .  Соединительным, или конъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «и». Например, суждение «Кража и мошенничество относятся к умышленным преступлениям» является соединительным суждением, состоящим из двух простых: «Кража относится к умышленным преступлениям», «Мошенничество относится к умышленным преступлениям». Если первое обозначать р, а второе — q, то соединительное суждение символически можно выразить как р /\ q, где р и q — члены конъюнкции (или конъюнкты), /\  — символ конъюнкции.   В естественном языке конъюнктивная связка может быть представлена и такими выражениями, как «а», «но», «а также», «как и», «хотя», «однако», «несмотря на», «одновременно» и др. Например, «При установлении судом размеров подлежащего возмещению ущерба должны учитываться не только причиненные убытки (р), но и та конкретная обстановка, при которой убытки были причинены (q), а также материальное положение работника (г)». Символически это суждение можно выразить так: р /\q лг. соединительное суждение может быть выражено одной из трех структур.  
Два субъекта и один предикат (S' и S" есть Р). Например, «Конфискация имущества и лишение звания являются дополнительными уголовно-правовыми санкциями».  
Один субъект и два предиката (S есть Р' и Р"). Например, «Преступление — это общественно опасное и противоправное деяние».  
Два субъекта и два предиката (S' и S" есть Р' и Р"). Например, «Основные права и свободы человека неотчуждаемы и принадлежат каждому от рождения». Истинность соединительного суждения определяется истинностью входящих в него простых суждений. Соединительное суждение истинно только в том случае, если истинны простые его составляющие. Если хотя бы одно простое суждение ложно, то ложным является и конъюнкция в целом. ●Разделительные суждения-Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или». Например, суждение «Договор купли-продажи может быть заключен в устной или письменной форме» является разделительным суждением, состоящим из двух простых: «Договор купли-продажи может быть заключен в устной форме»; «Договор купли-продажи может быть заключен в письменной форме». Если первое обозначить р, а второе — q, то разделительное суждение символически можно выразить как р v g, где р и q — члены дизъюнкции (дизъюнкты), v — символ дизъюнкции. Разделительное суждение может быть как двух-, так и многосоставным: р v q ... v n.  
В языке разделительное суждение может быть выражено одной из трех логико-грамматических структур.   Два субъекта и один предикат (S' или S" есть Р). Например, «Хищение в крупных размерах или совершенное группой лиц имеет повышенную общественную опасность».  Один субъект и два предиката (S есть Р' или Р"). Например, «Хищение наказывается исправительными работами или тюремным заключением». Два субъекта и два предиката (S^f или S" есть Р' или Р"). Например, «Ссылка или высылка могут применяться в качестве основной или дополнительной санкции». Различают следующие виды дизъюнкции: нестрогая и строгая дизъюнкция. Поскольку связка «или» употребляется в естественном языке в двух значениях — соединительно-разделительном и исключающе-разделительном, то следует различать два типа разделительных суждений: 1) нестрогую (слабую) дизъюнкцию и 2) строгую (сильную) дизъюнкцию.Нестрогая дизъюнкция — суждение, в котором связка «или» употребляется в соединительно-разделительном значении (символ v). Например: «Холодное оружие может быть колющим или режущим» — символически р v g. Связка «или» в данном случае разделяет, поскольку отдельно существуют такие виды оружия, и соединяет, ибо есть оружие, одновременно и колющее, и режущее. Нестрогая дизъюнкция будет истинна при истинности хотя бы одного члена дизъюнкции и ложна, если оба ее члена будут ложны.  
Строгая дизъюнкция — суждение, в котором связка «или» употребляется в разделительном значении (символ — двойная дизъюнкция). Например: «Деяние может быть умышленным или неосторожным», символически pVq. Полная и неполная дизъюнкция:Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода. Символически это суждение можно записать следующим образом: < р v g v r >. Например: «Леса бывают лиственные, хвойные или смешанные». Полнота этого разделения (в символической записи обозначается знаком <...>) определяется тем, что не существует, помимо указанных, других видов лесов. Неполным, или открытым, называют дизъюнктивное суждение, в котором перечислены не все признаки или не все виды определенного рода. В символической записи неполнота дизъюнкции может быть выражена многоточием: р v q v г v... В естественном языке неполнота дизъюнкции выражается словами: «и т.д.», «и др.», «и тому подобное», «иные» и др. ●Условные сужденияУсловным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение — «Предохранитель плавится» называют антецедентом (предшествующим), второе — «Электролампа гаснет» — консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком « ->», то импликативное суждение символически можно выразить как ( р -> q ). Импликация истинна во всех случаях, кроме одного: при истинности антецедента и ложности консеквента импликация всегда будет ложной. Сочетание истинного антецедента, например «Предохранитель плавится», и ложного консеквента — «Электролампа не гаснет» — является показателем ложности импликации.В естественном языке для выражения условных суждений используется не только союз «если,., то...», но и другие союзы: «там.., где», «тогда.., когда...», «постольку.., поскольку...» и т.п.●Эквивалентные суждения Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если.., то...». Например: «Если и только если человек награжден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)».  Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q). Точно так же истинность утверждения о наличии права на ношение орденских планок (q) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р). Такую обоюдную зависимость символически можно выразить двойной импликацией р *-> q, которая читается: «Если и только если р, то q». Эквивалентность выражают и другим знаком: р = q.  В естественном языке, в том числе и в юридических текстах, для выражения эквивалентных суждений используют союзы: «лишь при условии что.., то...», «в том и только в том случае когда.., тогда...», «только тогда когда.., то...» и др. уждение р н q истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными, либо ложными. Это значит, что истинность р достаточна для признания истинным q, и наоборот. Отношение между ними характеризуется и как необходимое, ложность р служит показателем ложности q, а ложность q указывает на ложность р.

13. Логические отношения между простыми категорическими суждениями по «логическому квадрату».

Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, 0; стороны и диагонали — отношения между суждениями. 
 
Среди сравнимых различают совместимые и несовместимые суждения.   Совместимыми являются суждения, которые одновременно могут быть истинными. Различают три вида совместимости: эквивалентность (полная совместимость), частичная совместимость (субконтрарность) и подчинение.  
●Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и туже выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются. 
●Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными. При ложности одного из них другое будет истинным: 11 -» О, 10 -»I. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми». В то же время при истинности одного из частных суждений другое может быть как истинным, так я ложным: I -> (О v 1 О); 0"»(<lvll).  
 ●Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.При истинности общего суждения частное всегда будет истинным: А —> I, E -» О. Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права». При истинности суждения «Ни один кооператив не относится к государственным организациям» будет истинным и суждение «Некоторые кооперативы не относятся к государственным организациям». - При ложности частного суждения общее суждение также будет ложным: 11 -> ] А; 10 ->] Е.При подчинении остаются неопределенными следующие зависимости, при ложности общего суждения подчиненное частное может быть как истинным, так и ложным: ! А -> (I v ] I); 1Е ~»(О v ] О); при истинности подчиненного частного общее может быть как истинным, так и ложным. I -> (A v 1 А); О -»(Е v IE). Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие. ● Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. Истинность одного из противоположных суждений определяет ложность другого: А —> 1 Е; Е -> I А. Например, истинность суждения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим». При ложности же одного из противоположных суждений другое остается неопределенным — оно может быть как истинным, так и ложным: ] А -> (Е v 1 Е); 1 Е -> (A v I A).  
● Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными. Для противоречия характерна строгая, или альтернативная, несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключенного третьего. Если А признается истинным, то О будет ложным (А -> 10); при истинности Е будет ложным I: (Е -> 1 I). И наоборот: при ложности А будет истинным О (1А -> О); а при ложности Е будет истинным I (| Е -> I).

14. Отрицание категорических и сложных суждений.

Это логическая операция, в результате которой образуется новое суждение, противоречащее исходному суждению. Обозначение («неверно, что…», «не ..», -А) 
●Законы отрицания (образования противоречащих суждений): 
1) Просты категорических суждений 
-А =О 
-Е= l 
- l =Е 
-О=А 
2)Сложных суждений: 
1) - (a ^ b) = -a или -b; 
2) - (a ^ b) = - a  ^  - b; 
3) - (a или b) = (а ^ b) или (a ^ b); 
4) - (a -> b) = a ^- b  
5)-(а= b)=(-а^ b) или (а^ -b)

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

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