- •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. Логика и риторика. Допустимые и недопустимые уловки в процессе аргументации. Софизмы и паралогизмы. Понятие логического парадокса.
18. Простой категорический силлогизм: состав, фигуры и модусы.
Простой категорический силлогизм есть вид умозаключения, в котором из двух исходных истинных простых категорических суждений (называемых посылками), связанных между собой определенным образом (по среднему термину), выводится новое по содержанию суждение (называемое выводом, следствием, заключением). В целом, данное умозаключение состоит из трех простых категорических суждений, два из которых — посылки, третье — вывод. Однако, выделяя в качестве элементов умозаключения лишь суждения (посылки и вывод), закономерную связь между ними уловить трудно. Эту связь значительно легче обнаружить, выделяя в категорическом умозаключении и входящие в посылки термины (понятия). Так как субъектно-предикатная запись суждений одинакова для всех видов суждений, то, чтобы отличить субъект или предикат вывода от субъектов и предикатов посылок, следует уточнить нашу символику.
Видами простого категорического силлогизма являются фигуры и модусы. Основанием для выделения фигур простого категорического силлогизма является место среднего термина в посылках, а для выделения модусов — количество и качество суждений, выступающих в роли большей и меньшей посылок.
Фигурой называется вид структуры простого категорического силлогизма, определяющийся функцией среднего термина в суждениях-посылках.
Существуют четыре фигуры простого категорического силлогизма. Они различаются тем, является ли средний термин субъектом или предикатом в одной или в двух посылках.
В первой фигуре средний термин является субъектом в большей посылке и предикатом в меньшей.
Во второй фигуре средний термин является предикатом в обеих посылках.
В третьей фигуре средний термин является субъектом в обеих посылках.
В четвертой фигуре средний термин является предикатом в большей посылке и субъектом в меньшей.
Фигуры принято графически изображать с помощью линий, выражающих связь между терминами и посылками, указывая порядковый номер. Вертикальные линии обозначают связь между посылками по среднему термину, горизонтальные — связь между терминами в посылках и заключении.
Каждая фигура имеет свои правила, соблюдение которых является необходимым (но не достаточным) условием для получения истинного заключения из истинных посылок.
Правила первой фигуры:
Большая посылка должна быть общей.
Меньшая посылка должна быть утвердительной.
Правила второй фигуры:
Большая посылка должна быть общей.
Одна (и только одна) из посылок должна быть отрицательной.
Правила третьей фигуры:
Меньшая посылка должна быть утвердительной.
Заключение должно быть частным.
Эти правила являются следствиями общих правил силлогизма.
Отношения между видами, то есть фигурами и модусами простого категорического силлогизма определяются сходством и различием их структуры.
Отношение фигур можно наглядно представить, сравнивая их структуру, в частности, положение терминов в посылках и направленность связи между посылками по среднему термину.
Очевидно, что первая и четвертая фигуры, так же, как вторая и третья, связаны отношением противоположности. Четвертая фигура является зеркальным отражением посылок первой, и наоборот. В большей посылке первой фигуры средний термин - выступает субъектом, а в большей посылке четвертой — предикатом. В большей посылке первой фигуры больший термин является предикатом, а в соответствующей посылке четвертой — субъектом. То же наблюдается и в меньшей посылке. В меньшей посылке первой фигуры средний термин выступает предикатом, а в меньшей посылке четвертой — субъектом. В меньшей посылке первой фигуры меньший термин является субъектом, а в соответствующей посылке четвертой — предикатом.
Вторая фигура также является зеркальным отображением третьей, а третья — второй. Действительно, во второй фигуре средний термин является предикатом в двух посылках, а в третьей — субъектом в двух посылках. Больший термин в большей посылке и меньший термин в меньшей посылке второй фигуры являются субъектами, а в соответствующих посылках третьей фигуры — предикатами.
Универсальный характер имеет только первая фигура, поскольку в ней в качестве заключения выступают суждения всех типов — и общие, и частные, и утвердительные, и отрицательные (А, Е, I, О). Заключения второй фигуры, как правило, являются отрицательными суждениями (Е, О), и лишь в исключительных случаях заключением может быть частноутвердительное суждение. Заключениями третьей фигуры, как правило, являются частные суждения (I, О), а общие встречаются как исключение. Заключениями четвертой фигуры в большинстве случаев являются частные и отрицательные суждения, и лишь в двух — частноутвердительное суждение. Универсализм первой фигуры обусловливает отношение подчинения между фигурами: вторая, третья и четвертая фигуры подчинены первой.
Кроме того, во всех фигурах простого категорического силлогизма должны соблюдаться общие правила. Всего их семь.
1. В простом категорическом силлогизме должно быть только три термина. Наиболее распространенная ошибка, связанная с нарушением этого правила, носит наименование «учетверение терминов». Вот пример этой ошибки:
Древние греки изобрели «греческий огонь»
Спартанцы - древние греки.
Спартанцы изобрели «греческий огонь».
Ложное заключение здесь получилось в силу того, что имя «древние греки», выступающее в роли среднего термина в посылках, употребляется неоднозначно: в большей оно используется в собирательном смысле, а в меньшей - в несобирательном. Средний термин, таким образом, как бы раздваивается, и получается уже не три, а четыре термина, и связь между крайними терминами пропадает.
Средний термин должен быть распределен хотя бы в одной из посылок. При его нераспределенности отношение между терминами в посылках не обусловливает определенного, одного единственного, отношения между S и Р в заключении.
Термин (крайний), не распределенный в посылках, не может быть распределен в заключении. Это правило фиксирует тот очевидный факт, что неправомерно в заключении говорить о всех предметах некоторого класса, если в посылках речь идет об их части. Связанная с нарушением этого правила ошибка называется «незаконное расширение крайнего термина».
В этом рассуждении предикат Р, который выражен словосочетанием «светят отраженным светом», будучи нераспределенным в большей посылке, оказался распределенным в заключении, и мы получили ложное высказывание.
Три названных правила называются правилами терминов. Остальные называются правилами посылок. Приведем их формулировки без комментариев в надежде, что в их справедливости читатель убедится по результатам выполнения упражнений.
Из двух частных посылок не делается заключения.
Если одна из посылок частная, то и заключение должно быть частным.
Из двух отрицательных посылок не делается заключения.
+Если одна из посылок отрицательная, то и заключение должно быть отрицательным.