- •7. Обобщение и ограничение понятий
- •8. Определение
- •9. Правила определения
- •12. Общая характеристика суждения.
- •16.Распределенность терминов в категорических суждениях.
- •18 Модальность суждений. Виды модальности.
- •19. Виды сложных суждений. Логическая форма сложных суждений.
- •20. Соединительное и разделительное суждение, их виды и условия истинности.
- •(Символично: р q)
- •21.Условное (импликативное) и эквивалентные суждения, их строение и условия истинности.
- •Строение: основание (p) следствие (q).
- •22.Основные законы логики.
- •Закон тождества, его роль в процессе рассуждения.
- •23. Дедуктивные умозаключения и их роль в познании.
- •24. Непосредственные умозаключения. Обращение.
- •25. Непосредственные умозаключения. Превращение.
- •Правила посылок:
- •2. В отрицающе-утверждающем модусе (modus tollendo ponens)
- •32.Недедуктиные умозаключения, их виды и роль.
- •Посылками индуктивного умозаключения являются суждения,в которых фиксируется полученная информация о повторяемости признака р у ряда явлений — s1 s2 , ... Sn принадлежащих одному и тому же классу к.
- •33.Индукция как метод познания. Полная индукция.
- •34.Понятие о недедуктивных (вероятностных) умозаключениях
- •36.Неполная индукция.
- •42(Виды опровержения)
- •43. Правила по отношению к тезису: возможные ошибки и уловки.
- •46.Гипотеза и ее виды. Роль гипотезы в познании.
- •47.Версия в судебном исследовании. Виды версий.
- •48.Вопрос как форма познания. Виды вопросов и ответов.
20. Соединительное и разделительное суждение, их виды и условия истинности.
Соединительным называется такое составное суждение, в котором соединено несколько простых суждений. Соединительные суждения связываются логическими союзами: «и», «а», «да», «а также», «несмотря на», «хотя и...», «однако» и т.д. Например, «П. совершил преступление и был задержан спустя трое суток». В этом сложном суждении два простых, связанных логическим соединительным союзом «и». Соединительное суждение будет истинным при истинности каждого простого суждения и ложным – при ложности хотя бы одного простого суждения.
Схема: «pΛq»
Составное суждение именуется разделительным, если оно включает в себя несколько альтернативных простых суждений. Логические союзы такого суждения: «или ...или», «либо ...либо» и им подобные. Пример: «Договор о купли продажи может быть заключен в устной или письменной форме». Разделительное суждение будет ложным при ложности всех простых суждений. Что касается условий его истинности, то они различаются в зависимости от формы суждения.
Виды:
-
В зависимости от смысла связки «или»:
-
Слабо-разделительное суждение, или суждение со слабой дизъюнкцией - суждение, в котором союз «или» имеет соединительно-разделительное значение. Оно может быть истинным в трех случаях: когда истинны оба суждения; когда р - истинно, a q - ложно; когда р - ложно, a q - истинно. Дизъюнкция считается ложной при ложности всех ее членов.
-
Строго-разделительное суждение, или суждение с сильной дизъюнкцией - суждение, в котором союз «или» имеет исключающе-разделительное значение (т.е. простые суждения исключают друг друга, вместе не могут быть). Например: «Либо Н. - убийца, либо М. -убийца», «Вина может быть умышленной или неосторожной».
(Символично: р q)
Члены сильной дизъюнкции не могут быть одновременно истинными и ложными.
Суждение с сильной дизъюнкцией может быть истинным только в двух случаях: когда первое суждение истинно (Н. - убийца), а второе - ложно (М. - не убийца) или когда первое ложно, а второе истинно. Оно будет ложным, если входящие в него простые суждения одновременно истинны или одновременно ложны.
В зависимости от полноты:
-
Полное (закрытое) суждение – перечислены все возможные члены дизъюнкции
Схема: pVq
-
Неполное (открытое) – перечисляются не все члены…
Схема: pVq… Истинность:
21.Условное (импликативное) и эквивалентные суждения, их строение и условия истинности.
Импликативное (условное) суждение - это сложное суждение, образованное из простых суждений с помощью логического союза «если.., то». Например: «Если человек совершил преступление, то он должен быть наказан». При этом первое суждение (начинающееся словом «если») называется основанием, а второе (начинающееся словом «то») - следствием (заключением). Символически: р → q.
Строение: основание (p) следствие (q).
Эквивалентность - суждение, образованное из простых суждений с помощью союза «тогда, и только тогда, когда». В этих суждениях выражается взаимная обусловленность явлений, событий. Например: «Если человек награжден орденами и медалями, то лишь в этом случае он имеет право на ношение соответствующих орденских планок». При истинно-функциональном подходе аналогом этих суждений выступают выражения, содержащие прямую и обратную импликацию (двойная импликация). В естественном языке такие суждения выражаются также с помощью союзов «если, и только если.., то», «лишь при условии.., что».
Для определения истинности эквивалентности рассмотрим суждение: «Любое деяние следует рассматривать как преступное в том, и только в том, случае, если оно общественно опасно и противоправно» (схематично «р ↔ q»). Истинность р достаточна для признания истинным q и, наоборот, истинность q достаточна для признания истинным p. Эквивалентность истинна только тогда, когда составляющие его простые суждения либо одновременно истинны, либо одновременно ложны.