Учебник по логике
Оглавление
(1) Предисловие . 4
Часть I. (3) Традиционная логика . 6
Глава I. (1) Основные законы логики . 6
§1. (1) Закон тождества 7
§2. (3) Закон противоречия . 9
§3. (3) Закон исключенного третьего 12
§4. (1) Закон достаточного основания . 15
Глава 2. (2) Понятие 16
§5. (3) Содержание и объем понятия . 18
§6. (2) Виды понятий . 19
§7. (2) Типы отношений между понятиями 21
§8. (1) Определение понятий . 23
§9. (1) Правила определения понятий 26
§10. (1) Деление понятий. Классификация . 28
Глава 3. (3) Суждение 31
§11. (1) Суждение и его типы 31
§12. (2) Структура суждения . 32
§13. (3) Объединенная классификация суждений 35
§14. (3) Распределенность терминов в суждении 38
§15. (3) Логический квадрат . 39
§16. (1) Модальные суждения . 42
Глава 4. Умозаключение . 43
§17. (1) Непосредственные умозаключения 44
§18. (3) Простой категорический силлогизм . 46
§19. (3) Энтимема . 51
§20. (1) Сложные и сложносокращенные виды силлогизма . 55
§21. (2) Условные и условно-категорические силлогизмы 57
§22. (2) Виды разделительных силлогизмов 58
§23. (1) Индукция и ее виды 62
§24. (2) Научная индукция 63
§25. (1) Аналогия 66
Глава 5. (2) Доказательство 70
§26. (2) Структура доказательства . 71
§27. (2) Виды доказательства . 72
§28. (2) Правила по отношению к тезису и их возможные нарушения . 74
§29. (2) Правила по отношению к аргументам и их возможные нарушения 76
§30. (2) Правила по отношению к демонстрации и их возможные нарушения . 80
§31. (2) Опровержение и его виды . 82
Часть 2. (3) Символическая логика 86
Глава 6. (3) Логика высказываний . 86
§32. (3) Образование сложных высказываний . 86
§33. (3) Нуль-единичная проверка истинности высказываний . 89
§34. (3) Основные эквивалентности 91
Глоссарий . 94
О данном пособии
Данное пособие представляет собой обычный учебник логики, который был сначала выпущен Издательством ДВГУ, и теперь сокращен и переработан в соответствии со спецификой дистанционного обучения. Каждый раздел в этом варианте учебника и каждый вопрос из учебного тренажера помечены коэффициентами важности, помещенными перед заголовком в скобках или перед вопросом (без скобок). 1 означает минимальную важность, 3 - максимальную.
В конце каждого параграфа имеется учебный тренажер: приводятся контрольные вопросы, упражнения и задачи. После наиболее трудных разделов помещаются упражнения и задачи, выполнение и решение которых - условие основательного ознакомления с правилами и законами логики, поможет выработать навыки их практического использования.
Курс рассчитан на один семестр, как это принято в подавляющем большинстве учебных программ по логике. Но данное руководство разработано с некоторым избытком, чтобы факультеты могли варьировать содержание дисциплины с учетом своего профиля. Скажем, на языковых специальностях можно больше внимания уделить первым разделам курса, где рассматриваются понятия и суждения, для юридических профессий более полезно сконцентрироваться на умозаключениях и на теории доказательства. Вторая часть учебника, посвященная символической логике (которая еще только начинает входить в преподавание), изложена настолько независимо от предыдущей, что ее можно изучать даже раньше первой и при желании ограничиться только одной. Коэффициенты важности в данном пособии определены в расчете на юридические специальности, где в настоящее время логика изучается наиболее серьезно.
(1) Предисловие
Логика изучает мышление. Есть и другие науки, которые имеют его своим предметом исследования, например психология и физиология. Однако в логической науке мышлением интересуются лишь постольку, поскольку оно занимается рассуждением, доказательством, обоснованием своих утверждений и выводов. Она, таким образом, является наукой о законах мышления, занятого поиском истины. Ее называют также наукой о выводном знании, наукой о доказательствах. Логика исследует сцепление мыслей между собой, их необходимые связи: обязательность, непреложность следования выводов из каких-либо суждений или, наоборот, несовместимость тех или иных высказываний.
Важную роль в логике играет понятие формы мышления. Логику можно даже называть наукой о формах мысли. Нельзя объяснить в нескольких словах, что они собой представляют. На этой начальной стадии ознакомления с данной наукой представляется возможным продемонстрировать их лишь с помощью примеров. Возьмем две пары таких суждений (1 и 2):
Некоторые розы красные. Все розы - цветы. |
Некоторые озера соленые. Все озера - водоемы. |
Можно ли сделать из них какие-либо выводы? Вдумавшись в их смысл, каждый согласится, что из пары (1) можно заключить: "Некоторые цветы красные", а из пары (2) - "Некоторые водоемы соленые". В целом получается два рассуждения; их называют умозаключениями, причем данная, взятая нами для примера разновидность их, называется в логике силлогизмом. В полном виде эти умозаключения записываются следующим образом:
Некоторые розы красные. Все розы - цветы. Некоторые цветы красные. |
Некоторые озера соленые. Все озера – водоемы. Некоторые водоемы соленые. |
Читатель легко почувствует определенное сходство между обоими силлогизмами, несмотря на различие в содержании. Действительно, в каждом из них сначала какой-то части предметов (некоторые розы, некоторые озера) приписывается одно свойство, потом им же (но уже не части, а всем) приписывается еще одно свойство. Это позволяет делать выводы о наличии связи между самими этими свойствами.
В дальнейшем, когда изучим составные компоненты умозаключений, мы научимся задавать и описывать свойства мыслей точнее. Сейчас достаточно указать, что сформулированные нами рассуждения по некоторым чертам сходны между собой, а это и означает, что у них одинаковая форма в логическом смысле этого слова. Благодаря ней мы сможем даже уже сейчас, опираясь на одну лишь интуитивно ощущаемую аналогию с предыдущими примерами, делать заключения и из других, подобных по форме высказываний. Более того, даже если бы речь шла о предметах совершенно незнакомых, то и тут выявленная нами логическая форма поможет правильно сделать вывод или проверить правильность уже произведенных рассуждений. Например, вряд ли кто знает, что такое эклогиты и что такое гроспидиты. Но если нам будет известно, что некоторые эклогиты - гроспидиты и что все эклогиты - горные породы, то тогда, повторяя проделанные выше операции, мы придем к выводу, что из соединения этих высказываний с необходимостью вытекает: некоторые горные породы - гроспидиты.