- •Ответы Логика
- •1. Логика как наука. Предмет логики.
- •Сущность логики
- •Значение слова
- •Неформальная, формальная, символическая и диалектическая логика
- •Отношение к другим наукам
- •Металогика Метатеоретические проблемы логики
- •Проблемы аксиоматизации теории множеств
- •История логики
- •Логика в Древнем Китае
- •Индийская логика
- •Европейская и ближневосточная логика
- •Логика античности
- •Логика в Средневековье
- •Логика в эпоху Возрождения и в Новое время
- •Современная логика
- •Основные понятия науки логики
- •3. Законы классической логики: закон тождества, закон исключенного третьего, закон противоречия, закон достаточного основания как определение основных принципов правильного мышления.
- •Определение простого суждения. Суждение и предложение.
- •Состав простого суждения
- •Логический квадрат. Умозаключение. Традиционная теория логического квадрата
- •Определение сложного суждения. Виды сложных суждений. Силлогизм.
- •8. Логическая структура доказательства: тезис, аргументы, демонстрация. Виды доказательства. Правила и ошибки доказательства.
- •9. Искусство спора.
Определение сложного суждения. Виды сложных суждений. Силлогизм.
СЖ- это суждение, которое состоит из ПС связанных связками.
Различают следующие виды сложных суждений: соединительные, разделительные, условные, эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых суждений.
1) Соединительные (конъюнктивные) – это суждения, состоящие из нескольких простых суждений, которые связаны между собой логической связкой «и». например, суждение «Кража и мошенничество относятся к группе умышленных преступлений против собственности» является соединительным суждением, состоящим из двух простых:
«Кража относится к группе умышленных преступлений», «Мошенничество относится к группе умышленных преступлений». Если первое обозначить р, а второе – q, то соединительное суждение символически можно выразить как р q, где р и q – члены конъюнкции (или конъюнкты), ^ – символ конъюнкции.
В естественном языке конъюнктивная связка может быть представлена и такими выражениями, как: «а», «но», «а также», «хотя», «однако» и др. Например: «При установлении судом размеров подлежащего возмещению ущерба должны учитываться не только причиненные убытки (р), но и та конкретная обстановка, при которой убытки были причинены (q), а также материальное положение работника (r)».
2) Разделительные (дизъюнктивные) суждения – это суждения, состоящие из нескольких простых суждений, связанной между собой логической связкой «или». Например: «Договор купли–продажи может быть заключен в письменной или устной форме» – разделительное суждение, состоящее из двух простых.
– Нестрогая дизъюнкция – суждение, в котором связка «или» употребляется в соединительно–разделительном значении (символ v);
– Строгая дизъюнкция – суждение, в котором связка «или» употребляется в разделительном значении. Члены строгой дизъюнкции называются альтернативами и не могут быть одновременно истинными. Если деяние совершено умышленно, то его нельзя считать неосторожным, и наоборот.
а) Полная дизъюнкция (закрытая) – дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода (Листья бывают желтые, зеленые или оранжевые);
б) Неполная дизъюнкция (открытая) – дизъюнктивное суждение, в котором перечислены не все признаки или не все виды определенного рода.
3) Условные (импликативные) – это суждения, состоящие из двух простых суждений, связанных логической связкой «если.., то…». Например: «Если бензин заканчивается, то машина дальше не поедет». Импликация истинна во всех случаях, кроме одного: при истинности антецедента и ложности консеквента импликация всегда будет ложной.
В естественном языке для выражения условных суждений используется не только союз «если.., то…», но и другие союзы:
«там.., где…», «тогда.., когда..», «постольку.., поскольку…». В форме условных суждений в языке могут быть представлены такие виды объективных связей, как причинные, функциональные, пространственные, правовые, временные, семантические, логические и другие зависимости.
4) Эквивалентные суждения (двойная импликация) – это суждения, включающие в качестве составных частей два суждения, связанных двойной (прямой и обратной) условной зависимость, выражаемой логической связкой «если и только если, то…». Например: «Если и только если человек является военнослужащим, то он имеет право ношения военной формы».
Логическая характеристика данного суждения состоит в том, что истинность утверждения о принадлежности к военнослужащим рассматривается как необходимое и достаточное условие истинности утверждения о том, данное лицо носит военную форму.
В естественном языке для выражения эквивалентных суждений используют: «лишь при условии..., что…» и др.
Силлогизм - логическое заключение, сделанное из двух посылок . Возьмём два факта: «Сократ — человек» и «Все люди смертны». Силлогизмом этих двух фактов будет «Сократ смертен».