- •1. Мышление как предмет логики. Логика и психология мышления.
- •2. Возникновение и основные этапы развития логики.
- •3. Понятие логической формы. Основные формы логического мышления в их взаимосвязи.
- •4. Понятие логического закона. Основные формально-логические законы как законы правильного мышления.
- •1. Закон тождества
- •2. Закон непротиворечия
- •3. Закон исключённого третьего
- •4. Закон достаточного основания
- •5. Понятие как форма логического мышления. Содержание и объем понятий.
- •6. Отношение между понятиями. Сравнимые и несравнимые понятия. Виды совместимости и несовместимости понятий.
- •7. Определение понятий как логическая операция. Виды и правила определений.
- •8. Деление и классификация понятий. Виды и правила деления.
- •9. Обобщение и ограничение понятий. Закон, определяющий соответствие содержания и объема понятий.
- •10. Суждение как форма логического мышления: общая характеристика. Простые и сложные суждения.
- •11. Виды простых суждений. Их качественные, количественные и модальные характеристики. Формулы суждений.
- •12. Объединенная классификация простых категорических суждений по качеству и количеству. Распределенность терминов в суждениях.
- •Распределенность терминов в категорических суждениях
- •13. Отношения между суждениями по логическому квадрату. Совместимые и несовместимые суждения. Отрицание суждений.
- •14. Виды сложных суждений, условия их истинности.
- •15. Логика вопросов и ответов.
- •16. Умозаключение как форма логического мышления: общая характеристика.
- •17. Дедуктивные непосредственные умозаключения.
- •18. Простой категорический силлогизм: состав, фигуры и модусы.
- •19. Правила категорического силлогизма. Спросы проверки логической состоятельности силлогизмов.
- •20. Сокращенный категорический силлогизм (энтимема). Восстановление энтимемы до полного силлогизма и проверка ее логической состоятельности.
- •21. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сириты, эпихейрема).
- •22. Условные умозаключения: виды и модусы.
- •23. Разделительные умозаключения: виды и модусы.
- •24. Условно-разделительные умозаключения. Конструктивные и деструктивные дилеммы.
- •25. Логическая природа индукции. Виды индуктивных умозаключений.
- •26. Методы индуктивных исследований.
- •27. Традуктивные умозаключения (умозаключения по аналогии). Виды аналогии.
- •28. Место гипотезы в научном познании. Гипотетико-дедуктивный метод.
- •29. Гипотеза: виды, этапы формирования. Подтверждение и опровержение гипотез.
- •30. Логические основы аргументации: структура, виды, правила
- •Правила доказательного рассуждения
- •31. Логика доказательства. Прямое и косвенное доказательство.
- •32. Логика опровержения (критики). Прямое и косвенное опровержение.
- •33. Логика и риторика. Допустимые и недопустимые уловки в процессе аргументации. Софизмы и паралогизмы. Понятие логического парадокса.
21. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сириты, эпихейрема).
Полисиллогизм (сложный силлогизм) — это соединение простых категорических силлогизмов, в котором заключение предшествующего силлогизма становится посылкой последующего.
Различают прогрессивный и регрессивный полисиллогизмы. В прогрессивном полисиллогизме заключение предшествующего силлогизма становится большей посылкой последующего. В регрессивном полисиллогизме заключение предшествующего силлогизма становится меньшей посылкой последующего.
Прогрессивный и регрессивный полисиллогизмы мышления обычно применяются в сокращенной форме (некоторые из его посылок опускаются) — в виде соритов.
Различают два вида соритов: гоклениевский (прогрессивный) и аристотелевский (регрессивный).
Гоклениевский (прогрессивный) сорит представляет собой прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов. Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.
В аристотелевском (регрессивном) сорите пропущены меньшие посылки регрессивного полисиллогизма. Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения.
К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется такой сложносокращенный силлогизм, обе посылки которого являются сокращенными простыми категорическими силлогизмами (эн-тимемы). Например: «Благородный труд заслуживает уважения, так как благородный труд способствует прогрессу общества». Данная посылка эпихейремы представляет собой энтимему, у которой одна из посылок опущена.
Развертывание эпихейремы в полисиллогизме позволяет проверить правильность рассуждения, что поможет избежать логических ошибок, если они остались незамеченными в эпихейреме.
Если в логике предикатов простые суждения расчленялись на субъект и предикат, то в логике высказываний суждения не расчленяются, а рассматриваются как простые суждения.
22. Условные умозаключения: виды и модусы.
Условным называется умозаключение, в котором, по крайней мере, одна из посылок представляет собой условное суждение. В зависимости от того, одна или обе посылки являются условными, различают две разновидности условных умозаключений — условно-категорические и чисто условные.
Условно-категорическое умозаключение. Оно состоит из одной условной и одной категорической посылки. Заключение в этом случае — категорическое суждение. Логическим основанием для такого умозаключения служит определенная связь между основанием и следствием (антецедентом и консеквентом).
В условно-категорическом умозаключении мысль, вообще говоря, может протекать по следующим четырем направлениям:
1) от утверждения основания к утверждению следствия;
2) от отрицания основания к отрицанию следствия;
3) от утверждения следствия к утверждению основания;
4) от отрицания следствия к отрицанию основания.
Поэтому в зависимости от хода мысли теоретически возможны четыре разновидности, или модуса, условно-категорического умозаключения, но из 4 правильны лишь 2 модуса.
Первый — это modus ponens — утверждающий модус, когда мысль движется от утверждения основания к утверждению следствия. Пример:
Если день солнечный, то сосновый лес пахнет смолой.
День — солнечный.
Следовательно, сосновый лес пахнет смолой.
Второй — modus tollens — отрицающий модус, когда мысль протекает от отрицания следствия к отрицанию основания. Пример:
Если день солнечный, то сосновый лес пахнет смолой.
Сосновый лес не пахнет смолой.
Следовательно, день не солнечный.
Почему правильными являются только эти два модуса? В конечном счете их правильность определяется объективными взаимоотношениями между причиной и следствием в действительности, отражением которых прежде всего и выступают условные суждения. Если есть причина, то есть и следствие, а если нет следствия, то нет и причины.
Почему же два других возможных модуса неправильны? Потому что взаимоотношения причины и следствия неоднозначны. Одно и то же следствие может быть результатом действия многих причин (это так называемая «множественность причин»), А одна и та же причина может вызывать много следствий (так называемая «множественность следствий»).
Вот почему если нет данной причины, то это еще не значит, что не может быть и данного следствия: оно может оказаться следствием совсем другой причины. Например:
Если я простужусь, то заболею.
Я не простудился.
Следовательно, я не заболею.
Нет, такой вывод из посылок не следует с логической необходимостью. Я могу заболеть, если заражусь, отравлюсь и т. д. С другой стороны, если есть данное следствие, то это еще не означает, что оно вызвано именно данной причиной. Например:
Если я простужусь, то заболею.
Я заболел.
Следовательно, я простудился.
Но подобный вывод тоже не обязателен. Я мог заболеть потому, что заразился, отравился и т. п.
Отсюда вытекают следующие четыре правила условно-категорического умозаключения, соблюдение которых при истинности посылок обеспечивает истинность вывода.
1. Можно идти от утверждения основания к утверждению следствия.
2. Можно идти от отрицания следствия к отрицанию основания.
3. Нельзя идти от отрицания основания к отрицанию следствия.
4. Нельзя идти от утверждения следствия к утверждению основания.
В двух последних случаях можно получить лишь вероятные выводы. Если, однако, речь идет о выделяющем условном суждении, то вывод будет достоверным. Все дело в том, что в таком суждении связь основания и следствия взаимнооднозначна. Так, «Если лицо совершило правонарушение, то оно несет юридическую ответственность». Это означает, что «Оно несет юридическую ответственность только в том случае, если совершило правонарушение».
Символическая логика подводит более прочную, чем традиционная логика, базу под объяснение выводов в условно-категорических умозаключениях, а главное, под проверку их истинности или ложности. С помощью таблиц (матриц) импликации и конъюнкции можно показать, почему, например, утверждающий и отрицающий модусы являются правильными.
Чисто-условное умозаключение. Оно отличается от условно-категорического умозаключения тем, что обе его посылки — условные суждения. Поэтому и заключение — тоже условное суждение. Например:
Если данное деяние — мошенничество, то оно — преступление.
Если оно — преступление, то карается по закону.
Следовательно, если данное деяние — мошенничество, то оно карается по закону.
Здесь действует правило: следствие следствия есть следствие основания.