- •Д. А. Гусев
- •Избранные научные публикации:
- •Учебные пособия по логике:
- •Аннотация
- •Оглавление
- •Глава 1. Понятие
- •Глава 2. Суждение
- •Глава 3. Умозаключение
- •Глава 4. Основные законы логики
- •Глава 5. Доказательство
- •Введение, или Что такое логика и зачем она нужна?
- •Глава 1. Понятие
- •1.1. Что такое понятие?
- •1.2. Виды понятий
- •1.3. Определенные и неопределенные понятия
- •1.4. Роль неопределенных понятий в мышлении
- •1.5. В каких отношениях могут быть понятия?
- •1.6. Круговые схемы Эйлера
- •1.7. Как ограничивать и обобщать понятия?
- •Родовое видовое
- •Родовое видовое
- •Родовое
- •1.9. Определение понятия
- •1.10. Правила определения
- •1.11. Деление понятия
- •1. 12. Правила деления
- •1.13. Как складываются и умножаются понятия?
- •Вопросы и задания к главе 1
- •Глава 2. Суждение
- •2.1. Что такое суждение?
- •2. 2. Структура суждения
- •2. 3. Виды суждений
- •2. 4. Простые суждения
- •2. 5. Распределенные и нераспределенные термины в простых суждениях
- •2. 6. Как устанавливать распределенность терминов в простых суждениях
- •2. 7. Преобразование простых суждений
- •2. 8. Отношения между суждениями
- •2. 9. Логический квадрат
- •Противоположность
- •Частичное совпадение
- •2. 10. Сложные суждения
- •2. 11. Истинность сложных суждений
- •2. 12. Формализация рассуждений
- •2. 13. Логические формулы и таблицы истинности
- •2. 14. Виды вопросов
- •2. 15. Корректные и некорректные вопросы
- •Вопросы и задания к главе 2
- •Глава 3. Умозаключение
- •3.1. Что такое умозаключение?
- •Все растения – это живые организмы.
- •3.2. Виды умозаключений
- •3.3. Простой, или категорический силлогизм
- •3.4. Правила терминов простого силлогизма
- •3.5. Правила посылок простого силлогизма
- •3.6. Энтимемы и эпихейремы
- •3.7. Полисиллогизмы и сориты
- •3.8. Умозаключения с союзом “или”
- •3.9. Правила умозаключений с союзом “или”
- •3.10. Умозаключения с союзом “если...То”
- •3.11. Правила умозаключений с союзом “если...То”
- •3.12. Дилеммы
- •3.13. Что такое индукция?
- •3.14. Правила индукции
- •3.15. Ошибки индукции
- •3.16. Установление причинных связей
- •3.17. Что такое аналогия?
- •3.18. Правила аналогии
- •Вопросы и задания к главе 3
- •Глава 4. Основные законы логики
- •4.1. Что такое закон тождества?
- •4.2. Нарушения закона тождества
- •4.3. Что запрещает закон противоречия?
- •4.4. Виды противоречий
- •4.5. Закон исключенного третьего
- •4.6. Закон достаточного основания
- •4.7. Чем отличается наука от псевдонауки?
- •4.8. Спор между софистами и Сократом
- •4.9. Софизмы
- •4.10. Парадоксы-антиномии
- •4.11. Парадокс “Протагор и Эватл”
- •4.12. Парадоксы-апории
- •Вопросы и задания к главе 4
- •Всех гостей «среда заела!»
- •Я онемел от удивления, услышав столь простую истину…»
- •Глава 5. Доказательство
- •5.1. Что такое доказательство?
- •5.2. Структура доказательства
- •5.3. Прямые и косвенные доказательства?
- •5.4. Виды и методы подтверждения
- •5.5. Виды и методы опровержения
- •5.6. Всегда ли доказательство необходимо?
- •5.7. Определенность тезиса в доказательстве
- •5.8. Неизменность тезиса в процессе доказательства
- •5.9. Истинность и достаточность аргументов в доказательстве
- •5.10. Ошибки в демонстрации
- •5.11. Условия успешной дискуссии
- •5.12. Корректные и некорректные приемы спора
- •5.13. Разновидности недопустимых приемов спора
- •5.14. Что такое гипотеза?
- •5.15. Как соотносятся теории и факты?
- •5.16. Рабочие и научные гипотезы
- •Вопросы и задания к главе 5
- •Заключение
- •Литература
2. 12. Формализация рассуждений
Как мы помним, логика анализирует правильное мышление с точки зрения его формы, а не содержания. Поэтому одной из основных логических процедур является установление формы того или иного содержательного высказывания или рассуждения. Установление логической формы высказывания или рассуждения обычно называется формализацией. Совершить формализацию (иначе говоря, формализовать) высказывание или целое рассуждение - это значит отбросить его содержание и оставить только его логическую форму, выразив ее с помощью уже известных нам условных обозначений конъюнкции, нестрогой и строгой дизъюнкции, импликации, эквиваленции и отрицания.
Например, чтобы формализовать следующее высказывание: Он занимается живописью или музыкой, или литературой надо сначала выделить входящие в него простые суждения и установить вид логической связи между ними. В приведенное высказывание входят три простых суждения: 1. Он занимается живописью; 2. Он занимается музыкой; 3. Он занимается литературой. Эти три суждения объединены разделительной связью, однако они друг друга не исключают (возможно заниматься и живописью, и музыкой, и литературой), следовательно перед нами – нестрогая дизъюнкция, форму которой можно представить следующей условной записью: а \/ в \/ с, где а, в, с – указанные выше простые суждения. Понятно, что форму а \/ в \/ с можно наполнить каким угодно содержанием, например: Цицерон был политиком или оратором, или писателем; Он изучает английский или немецкий, или французский; Люди передвигаются наземным или воздушным, или водным транспортом и т.д. и т.п.
Формализуем рассуждение: Он учится в 9 классе или в 10 классе, или в 11 классе; Однако, известно, что он не учится ни в 10, ни в 11 классе; Следовательно он учится в 9 классе. Выделим простые высказывания, входящие в это рассуждение и обозначим их маленькими буквами латинского алфавита: 1. Он учится в 9 классе (а); 2. Он учится в 10 классе (в); 3. Он учится в 11 классе (с). Первая часть рассуждения представляет собой строгую дизъюнкцию этих трех высказываний (а \/ в \/ с). Вторая часть рассуждения является отрицанием второго (¬в) и третьего (¬с) высказываний, причем эти два отрицания соединяются, т.е. связаны конъюнктивно (¬ в /\ ¬ с). Эта конъюнкция отрицаний присоединяется к упомянутой выше строгой дизъюнкции трех простых суждений ((а \/ в \/ с) /\ (¬ в/\ ¬ с)), и уже из этой новой конъюнкции в качестве следствия вытекает утверждение первого простого суждения (Он учится в 9 классе). Логическое следование, как мы уже знаем, представляет собой импликацию. Таким образом, результат формализации нашего рассуждения в итоге выражается формулой: ((а \/ в \/ с) /\ (¬ в /\¬ с)) а. Понятно, что перед нами логическая форма, которую можно наполнить любым содержанием. Например: Впервые человек полетел в космос в 1957 году или в 1959 году, или в 1961 году; Однако, известно, что впервые человек полетел в космос не в 1957 году и не в 1959 году; Следовательно впервые человек полетел в космос в 1961 году. Еще один вариант: Философский трактат «Критика чистого разума» написал то ли Иммануил Кант, то ли Георг Гегель, то ли Карл Маркс; Однако, ни Гегель, ни Маркс не являются авторами этого трактата; Следовательно, его написал Кант.