- •Введение
- •Глава I предмет и значение логики
- •§ 1. Формы познания Формы чувственного познания
- •§ 2. Понятие логической формы и логического закона
- •§ 3. Логика и язык
- •Глава II понятие
- •§ 1. Понятие как форма мышления
- •§ 2. Отношения между понятиями
- •§ 3. Определение понятий
- •§ 4. Деление понятий. Классификация
- •§ 5. Ограничение и обобщение понятий
- •Глава III суждение
- •§ 1. Общая характеристика суждения
- •§ 2. Простое суждение
- •§ 3. Сложное суждение и его виды. Исчисление высказываний
- •§ 4. Выражение логических связок (логических постоянных) в естественном языке
- •§ 5. Отношения между суждениями по значениям истинности
- •§ 6. Деление суждений по модальности
- •Глава IV
- •§ 1. Понятие логического закона
- •§ 2. Законы логики и их роль в познании
- •§ 3. Использование формально-логических законов в процессе обучения
- •Глава V умозаключение
- •§ 1. Общее понятие об умозаключении
- •§ 2. Дедуктивные умозаключения
- •§ 3. Выводы из категорических суждений посредством их преобразования
- •§ 4. Простой категорический силлогизм.
- •I. Правила терминов
- •§ 5. Сокращенный категорический силлогизм (энтимема)
- •§ 6. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)
- •§ 7. Условные умозаключения
- •II. Отрицающий модус (modus tollens).
- •§ 8. Разделительные умозаключения
- •§ 9. Условно-разделительные (лемматические) умозаключения
- •§ 10. Сокращенные условные, разделительные и условно-разделительные умозаключения
- •1. В умозаключении пропущено заключение
- •2. В умозаключении пропущена одна из посылок
- •§ 11. Непрямые (косвенные) выводы
- •1. Рассуждение по правилу введения импликации
- •§ 12. Индуктивные умозаключения и их виды Логическая природа индукции
- •2. Индукция через анализ и отбор фактов
- •3. Научная индукция
- •§ 13. Индуктивные методы установления причинных связей
- •§ 14. Дедукция и индукция в учебном процессе
- •Глава VI логические основы теории аргументации
- •§ 1. Понятие доказательства
- •§ 2. Прямое и непрямое (косвенное) доказательства
- •§ 3. Понятие опровержения
- •I. Опровержение тезиса (прямое и косвенное)
- •II. Критика аргументов
- •III. Выявление несостоятельности демонстрации
- •§ 4. Правила доказательного рассуждения. Логические ошибки, встречающиеся в доказательствах и опровержениях
- •§ 5. Понятие о софизмах и логических парадоксах
- •§ 6. Искусство ведения дискуссии
- •III. В чем заключаются логические ошибки, допущенные в следующих софизмах?
- •Глава IX
- •Тема «Понятие» (4 часа) Основные вопросы
- •Тема «Суждение» (4 часа) Основные вопросы
- •Тема «Умозаключение» (4 часа) Основные вопросы
- •§ 2. Специфика методики преподавания логики
- •В средних педагогических учебных заведениях:
- •Педучилищах, педколледжах, педклассах (из опыта
- •Работы)
- •Тест айзенка
- •§ 3. Методика повышения логической культуры учащихся начальной и средней школы (из опыта работы)
- •1. Содержание работы
- •2. Требования к оформлению работы
- •Глава X
- •§ 2. Развитие логики в связи с проблемой обоснования математики
- •§ 3. Интуиционистская логика
- •§ 4. Конструктивные логики
- •§ 5. Многозначные логики
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 6. Законы исключенного третьего
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 7. Модальные логики
- •§ 8. Положительные логики
- •§ 9. Паранепротиворечивая логика
- •3. Суждение.
- •4. Умозаключение.
- •5. Логические основы теории аргументации.
§ 5. Отношения между суждениями по значениям истинности
Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.
В математической логике два высказывания рн^ называются несовместимыми, если из истинности одного из них необходимо следует ложность другого (т.е. р\\ ^ никогда не могут оказаться одновременно истинными). «Это понятие легко распространить на любое число высказываний: высказывания />,, р2, ... рп называются несовместимыми, если не может оказаться, что все они являются одновременно истинными»1.
Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). Совместимые эквивалентные суждения выражают одну и ту же мысль в различной форме («Юрий Гагарин — первый космонавт» и «Юрий Гагарин первым полетел в космос»). Субъект здесь один и тот же, а предикаты различные по форме, но одинаковые по смыслу. В двух эквивалентных суждениях «Михаил Шолохов — лауреат Нобелевской премии» и «Автор романа «Тихий Дон» — лауреат Нобелевской премии» одинаковыми являются предикаты, а различными по форме выражения, но тождественными понятиями — субъекты.
Если два высказывания эквивалентны, то невозможно, чтобы одно из них было истинным, а другое ложным.
В сочинении, при заучивании материала, в устном изложении текста, при переводе с одного языка на другой — всюду требуется умение кратко и корректно излагать свои мысли.
Совместимые суждения, находящиеся в отношении логического подчинения, имеют общий предикат; понятия, выражающие субъекты двух таких суждений, также находятся в отношении логического подчинения. Отношения между суждениями по истинности принято схематически изображать в виде «логического квадрата» (рис. 17).
Возьмем суждение «Все слоны — млекопитающие». Это суждение А общеутвердительное (подчиняющее). Суждение I — «Некоторые слоны — млекопитающие» — подчиненное.
Для суждений А и I, а также Е и О, находящихся в отношении логического подчинения, истинность общего суждения определяет истинность частного, подчиненного суждения. Но ложность общего суждения оставляет частное суждение неопределенным.
О
Рис. 17.
Истинность частного суждения оставляет общее суждение неопределенным (при нарушении этого правила может возникнуть логическая ошибка — «поспешное обобщение»). Ложность частного суждения обусловливает ложность общего суждения. Если истинно суждение «Ни одна хлорелла не является многоклеточной зеленой водорослью», то будет истинным и суждение «Некоторые хлореллы не являются многоклеточными зелеными водорослями». Умозаключение от общего суждения к логически подчиненному ему частному суждению всегда будет давать истинное заключение. В отношении частичного совпадения (субконтрарности) находятся два таких совместимых суждения I и О, которые имеют одинаковые субъекты и одинаковые предикаты, но различаются по качеству. Например, (I) «Некоторые свидетели дают истинные показания» и (О) «Некоторые свидете ли не дают истинных показаний». Оба они одновременно могут быть истинными, но не могут быть одновременно ложными. Если одно из них ложно, то другое обязательно истинно. Но если одно из них истинно, то другое неопределенно (оно может быть либо истинным, либо ложным). Например, если истинно суждение (I) «Некоторые книги этой библиотеки изданы на корейском языке», то суждение (О) «Некоторые книги этой библиотеки не являются изданными на корейском языке» будет неопределенным, т.е. оно может быть как истинным, так и ложным.
Отношения несовместимости: противоположность, противоречие. По «логическому квадрату» в отношении противоположности (контрарности) находятся суждения А и Е. Два суждения: (А) «Все люди трудятся добросовестно» и (Е) «Ни один человек не трудится добросовестно» — оба ложны. Но А и Е не могут быть оба истинными. Если одно из противоположных суждений истинно, то другое будет ложным.
Итак, из истинности одного из противоположных суждений вытекает ложность другого, но ложность одного из них оставляет другое суждение неопределенным.
В отношении противоречия (контрадикторное/пи) находятся суждения А и О, а также Е и 1. Два противоречащих суждения не могут быть одновременно истинными и одновременно ЛОЖНЫМИ. Если в настоящее время истинно суждение (I) «Некоторые летчики — космонавты», то ложным будет суждение (Е) «Ни один летчик не является космонавтом».
Закономерности, выражающие отношения между суждениями по истинности, имеют большое познавательное значение, так как они помогают избежать ошибок при непосредственных умозаключениях, производимых из одной посылки (одного суждения).