- •Предмет и значение логики. Абстрактное мышление и его формы. Понятие о логической форме и логическом законе.
- •Содержание и объем понятий. Закон обратного отношения между объемами и содержанием понятий. Класс, подкласс.
- •Виды понятий по объему и содержанию.
- •Отношения между понятиями.
- •Обобщение и ограничение понятий.
- •Определение понятий. Правила и ошибки определения.
- •Деление понятий. Правила деления. Ошибки в делении.
- •Классификация и ее виды.
- •Суждение – как форма мышления. Суждение и предложение. Структура простого суждения.
- •Простое суждение и его виды.
- •Классификация простых категорических суждений по количеству и качеству.
- •Логические отношения между простыми категорическими суждениями. Логический квадрат
- •Сложное суждение и его виды.
- •1. Соединительное суждение а щ b (конъюнкция)
- •Закон тождества как выражение определенности мысли.
- •Закон непротиворечия. Понятие диалектического и формально-логического противоречия.
- •Закон исключенного третьего как выражение последовательности и непротиворечивости мышления.
- •Закон достаточного основания как выражение обоснованности вывода.
- •Общая характеристика умозаключения. Виды умозаключений. Непосредственные дедуктивные умозаключения. Способы их преобразования.
- •2. Дедуктивные умозаключения
- •Простой категорический силлогизм. Состав силлогизма.
- •Фигуры категорического силлогизма. Правила фигур, правила посылок, правила терминов.
- •Сложные и сложносокращенные силлогизмы.
- •Разделительные и разделительно-категорические умозаключения.
- •Индуктивного умозаключения. Виды индукции.
- •Умозаключение по аналогии и его виды.
- •2. Виды и правила аналогии
- •Структура доказательства и его виды.
- •Правила доказательства. Ошибки в доказательствах.
- •Гипотеза как форма развития знаний. Виды гипотез. Построение гипотезы и ее проверка.
- •Опровержение. Правила опровержения.
- •Логические парадоксы и софизмы.
- •Логика как искусство полемики. Спор и его виды.
Разделительные и разделительно-категорические умозаключения.
Условные умозаключения называются так потому, что в качестве посылок в них используются условные суждения (если а, то b). Условные умозаключения можно отразить в виде следующей схемы
Если а, то b
Если b, то с
Если а, то с
Выше указана схема умозаключений, являющихся видом условных. Для таких умозаключений характерно, что все их посылки являются условными
Разделительные умозаключения делятся на простые разделительные и разделительно- категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительнокатегорические суждения имеют в качестве одной из посылок простое категорическое суждение.
Таким образом, разделительным считается умозаключение, все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом.
S есть А или В, или С.
А есть А1 или А2.
S есть А1 или А2, или В, или С
Примером такого умозаключения является следующее.
Путь бывает прямым или окружным.
Окружный путь бывает с одной пересадкой или с несколькими пересадками.
Путь бывает прямым или с одной пересадкой, или с несколькими пересадками.
Разделительно- категорические умозаключения можно представить в виде схемы
S есть А или В.
S есть А (В)
S не есть В (А).
Например: Выстрел бывает точным и неточным.
Этот выстрел является точным.
Этот выстрел не является неточным.
Здесь необходимо упомянуть об условно- разделительных умозаключениях. От указанных выше умозаключений они отличаются посылками. Одна из них — это разделительное суждение, что не является особенным, однако вторая посылка таких суждений состоит из двух или нескольких условных суждений. Условно- разделительное суждение может быть или дилеммой, или трилеммой. Дилемма — это выбор одного из двух вариантов
Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.
Условно-разделительные умозаключения.
Умозаключение, в котором одна посылка - условное суждение, а другая - разделительное, называется условно-разделительным или лемматическим умозаключением. По количеству следствий условной посылки различают дилеммы, трилеммы и полилеммы.
Дилемма - это условно-разделительный силлогизм с двумя альтернативами, ибо третьего решения вопроса не существует. В практике рассуждений встречаются два вида дилемм - конструктивная и деструктивная.
В конструктивной (созидающей) дилемме из двух оснований вытекают два следствия. Вторая посылка ограничивает возможность выбора только этими двумя основаниями (альтернативами). Заключение признает оба вытекающих следствия. Таким образом, в конструктивной дилемме заключение идет от утверждения оснований к утверждению следствий. Общая схема конструктивной дилеммы:
Если А есть В, то А есть К;
если А есть С, то А есть М;
А есть либо В, либо С;
Следовательно, А есть либо К, либо М.
Пример: Если политические теории прогрессивны, то они способствуют развитию общества; Если же политические теории реакционны, то они препятствуют развитию общества. Но политические теории могут быть либо прогрессивными, либо реакционными. Политические теории либо способствуют развитию общества, либо препятствуют ему.
В деструктивной (разрушающей) дилемме из одного основания вытекают два следствия: вторая посылка отрицает оба следствия, а вывод разрушает само основание. Следовательно, в деструктивной дилемме заключение идет от отрицания следствий к отрицанию оснований. Общая схема деструктивной дилеммы:
Если А есть В, то А есть либо С, либо Д;
А не есть ни С, ни Д;
Следовательно, В не есть В.
Пример: Если философ признает первичность материи по отношению к сознанию, то он является материалистом. Если же философ признает первичность сознания по отношению к материи, то он является идеалистом. Но философ либо не является материалистом, либо не является идеалистом. Философ не признает либо первичность материи по отношению к сознанию, либо первичность сознания по отношению к материи.
При определении правомерности выводов лемматических силлогизмов нужно руководствоваться следующим: вывод правомерен, если ход рассуждений направлен от утверждения оснований к утверждению следствий или от отрицания следствий к отрицанию оснований, и неправомерен, если ход рассуждений направлен обратно указанному.