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

21. Виды и структура сложных суждений.

1.Соединительные (конъюнктивные) суждения.

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

2. Разделительные (дизъюнктивные) суждения.

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

Логич. связка «или..или,либо..либо» 

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

Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: р ^ q ^ г ^... ^ n.

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

1. Соединительная связка представлена в сложном субъекте по схеме: S1 и S2 есть Р. Например: «Конфискация имущества и лишение звания являются дополнительными уголовно-правовыми санкциями».

2) Связка представлена в сложном предикате по схеме: S есть P1 и P2. Например: «Преступление -- это общественно опасное и противоправное деяние».

3) Связка представлена сочетанием первых двух способов по схеме: S1 и S2 есть P1 и Р2. Например: «С полицмейстером и прокурором Ноздрев тоже был на «ты» и обращался по-дружески»

Соединительное суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р ^ q показаны в таблице (рис. 31), где истинность обозначена И, а ложность -- Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэтому все возможные сочетания значений И и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение р л q. Из четырех построчных вариантов истинным оно является лишь в 1-й строке, когда истинны оба конъюнкта: и р, и q. Во всех остальных случаях оно ложно: во 2-й и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов 

23. Разделительные (дизъюнктивные) суждения. Строение и виды.

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

Логич. связка «или..или,либо..либо»

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

Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция , как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.  

24. Условное суждение(импликация).

Условные (импликативные) суждения.

Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение -- «Предохранитель плавится» называют антецедентом, второе -- «Электролампа гаснет» -- консеквентом (последующим).

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

25. Логич отнош между совместим суждениями.

Отношение совместимости.

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

эквивалентность, частичная совместимость и подчинение.

1. Эквивалентные -- это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

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

26. Логич отнош между несовмест суждениями.

Отношение несовместимости.

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

Противоположность -- отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

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

27. Логический квадрат как модель отношений между простыми категорическими суждениями.

Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения -- А, Е, I, О; стороны и диагонали -- отношения между суждениями.

Среди сравнимых различают совместимые и несовместимые суждения.

К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.

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

  2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

   3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истинным

При ложности частного суждения общее суждение также будет ложным

Отношение несовместимости.

Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.

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

28. Понятие о модальности суждения. Виды модальности.

Модальность суждения - это выраженная в суждении явно или неявно дополнительная информация. В логике различают три группы модальных суждений.

Первая группа - истинная (алетическая) модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границах истинной или алетической модальности принято выделять, во-первых, логическую обусловленность, или детерминированность.

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

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

29. Сущность и логич структура вопроса.

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

Вопрос предполагает некоторое суждение, истинность или ложность которого определяет логическую правильность или неправильность самого вопроса. Так, например, вопрос: "Кто водрузил Знамя Победы над рейхстагом в мае 1945 года?" - правильно поставлен. Он предполагает истинное суждение: "Кто-то водрузил Знамя Победы над рейхстагом". 

30. Виды вопросов

Простые

Риторические

Уточняющие-ли-вопросы

Восполняющие 

31. Правила постановки вопросов.

Надо точно ставить(формулировать) вопрос, т.е. очертить ту область,в которой следует искать ответ. 

32. Логич сущность и виды ответов.

Виды - по способу выражения - прямой и косвенный. По отнош. к действит - истинный и ложный. 

33. Умозаключение как форма мышления: сущность, логич. структура и виды.

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

Логической формой получения выводных знаний является умозаключение.

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

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

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

Умозаключения делятся на следующие виды.

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