- •§ 1. Мышление как предмет изучения логики
- •§ 2. Понятие о логической форме и логическом законе.
- •§ 3. Логика и язык
- •Глава II понятие
- •§ 1. Понятие как форма мышления
- •§ 2. Содержание и объем понятия
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •§ 5. Определение понятий
- •§ 6. Деление понятий. Классификация
- •§ 7. Ограничение и обобщение понятий
- •§ 8. Операции с классами (объемами понятий)
- •Глава III суждение
- •§ 1. Общая характеристика суждения
- •§ 2. Простое суждение
- •§ 3. Сложное суждение и его виды
- •§ 4. Выражение логических связок (логических постоянных) в естественном языке
- •§ 5. Отношения между суждениями по значениям истинности
- •§ 6. Деление суждений по модальности
- •Глава IV основные законы (принципы) правильного мышления
- •§ 1. Понятие о логическом законе
- •§ 2. Законы логики и их материалистическое понимание
- •§ 3. Использование формально-логических законов в обучении
- •Глава V умозаключение
- •§ 1. Общее понятие об умозаключении
- •§ 2. Дедуктивные умозаключения
- •§ 3. Выводы из категорических суждений посредством их преобразования
- •§ 4. Простой категорический силлогизм1
- •I. Правила терминов
- •§ 5. Сокращенный категорический силлогизм (энтимема)
- •§ 6. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)
- •§ 7. Условные умозаключения
- •§ 8. Разделительные умозаключения
- •§ 9. Условно-разделительные (лемматические) умозаключения
- •§ 10. Непрямые (косвенные) выводы
- •§ 11. Индуктивные умозаключения и их виды
- •§ 12. Виды неполной индукции
- •I вид. Индукция через простое перечисление (популярная индукция)
- •II вид. Индукция через анализ и отбор фактов
- •III вид. Научная индукция
- •§ 13. Индуктивные методы установления причинных связей
- •§ 14. Дедукция и индукция в учебном процессе
- •§ 15. Умозаключение по аналогии и его виды. Использование аналогий в процессе обучения
- •Глава VI логические основы теории аргументации
- •§ 1. Понятие доказательства
- •§ 2. Прямое и непрямое (косвенное) доказательство
- •§ 3. Понятие опровержения
- •I. Опровержение тезиса (прямое и косвенное)
- •II. Критика аргументов
- •III. Выявление несостоятельности демонстрации
- •§ 4. Правила доказательного рассуждения.
- •II. Правила по отношению к аргументам
- •III. Правила к форме обоснования тезиса (демонстрации) и ошибки в форме доказательства
- •§ 5. Понятие о софизмах и логических парадоксах
- •§ 6. Доказательство и дискуссия
- •Глава VII гипотеза
- •§ 1. Гипотеза как форма развития знаний
- •§ 2. Построение гипотезы и этапы ее развития
- •§ 3. Способы подтверждения гипотез
- •§ 4. Опровержение гипотез
- •§ 5. Примеры гипотез, применяющихся на уроках в школе
- •Глава VIII роль логики в процессе обучения
- •§ 1. Логическая структура вопроса
- •§ 2. К. Д. Ушинский и в. А. Сухомлинский о роли логики в процессе обучения
- •§ 3. Развитие логического мышления младших школьников
- •§ 4. Развитие логического мышления учащихся в средних и старших классах на уроках литературы, математики, истории и других предметов
- •Глава IX этапы развития логики как науки и основные направления современной символической логики
- •§ 1. Краткие сведения из истории классической и неклассической логик
- •§ 2. Развитие логики в связи с проблемой обоснования математики
- •§ 3. Многозначные логики
- •§ 4. Интуиционистская логика
- •§ 5. Конструктивные логики
- •§ 6. Модальные логики
- •§ 7. Положительные логики
- •§ 8. Паранепротиворечивая логика
§ 2. Дедуктивные умозаключения
Дедуктивные умозаключения — те умозаключения, у которых между посылками и заключением имеется отношение логического следования.
Определение дедуктивного умозаключения, данного в традиционной логике (т. е. Д1), — частный случай из этого определения через логическое следование.
Например,
Все рыбы дышат жабрами. Все окуни — рыбы.
Все окуни дышат жабрами.
Здесь первая посылка «Все рыбы дышат жабрами» является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением «Все окуни дышат жабрами». Мы строим умозаключение от признака, принадлежащего роду («рыба»), к его принадлежности к виду — «окунь», т. е. от общего класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частным суждением вида «Некоторые S есть Р» или «Некоторые S не есть Р».
Понятие правила вывода
Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода. Правила вывода или правила преобразования суждений позволяют переходить от посылок (суждений) определенного вида к заключениям также определенного вида. Например, если в качестве посылок даны два суждения, представимые в виде формулы и формулы
«о», то можно перейти к суждению вида «b». Это можно путем преобразований по правилу в виде формулы записать так: Данная формула является законом логики.
Логически правильно можно рассуждать о вопросах, относящихся к любым предметам. Логические ошибки также могут быть обнаружены в рассуждениях любого предметного содержания. Из этого не следует, разумеется, что в любых условиях и к любой предметной области должен быть применим один и тот же аппарат формально-логических правил. Сам этот аппарат должен развиваться вместе с развитием науки и практической деятельности людей. Одна из характерных черт логики состоит в том, что логика позволяет, получив некоторую информацию, знания об обстоятельствах дела, извлечь из них — точнее говоря, выявить — содержащиеся в их совокупности новые знания. Так, наблюдая движение Луны и Солнца и делая логические выводы из этих наблюдений (включая и индуктивные обобщения), люди еще в античной древности умели логически выводить из них достаточно точные предсказания о наступлении солнечных и лунных затмений.
Другая характерная черта логики, органически связанная с предыдущей, состоит в том, что всякий логический вывод из посылок предполагает некоторую формализацию, т. е. может быть осуществлен по каким-нибудь общим правилам, относящимся к способам выражения знаний и способам переработки этих выражений: способам образования и преобразования выражений. В зависимости от средств, которыми мы располагаем, таких способов формализации может быть много, начиная с того, что одно и то же знание мы можем выразить на разных языках. Но какой-нибудь из языков (под «языком» не обязательно понимать звуковую речь) нам необходимо употребить. Без языка, без материального способа выражения мысли невозможно и само мышление.
Формализация способов вывода состоит прежде всего в том, что каждый шаг вывода совершается только в соответствии с каким-нибудь из заранее перечисленных правил вывода, относящихся только к способам оперирования с формальными выражениями мысли с помощью материальных знаков. Среди последних имеются специфически логические, так называемые логические константы (постоянные). В математической логике — это конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция, кванторы общности и существования и др.
Различают правила прямого вывода и правила непрямого (косвенного) вывода. Правила прямого вывода позволяют из имеющихся истинных посылок получить истинное заключение. Правила непрямого (косвенного) вывода позволяют заключать о правомерности некоторых выводов из правомерности других выводов (эти правила будут проанализированы в § 10 настоящей главы).
Типы дедуктивных умозаключений (выводов) такие: выводы, зависящие от субъектно-предикатной структуры суждений; выводы, основанные на логических связях между суждениями (выводы логики высказываний).
Эти типы выводов и предстоит нам рассмотреть.
Рассмотрим выводы, основанные на субъектно-предикатной структуре суждений.
К формам, типичным в практике рассуждений, относятся следующие выводы из категорических суждений: 1) выводы посредством преобразования суждений; 2) категорический силлогизм, сокращенный силлогизм (энтимема), сложные (полисиллогизмы) и сложносокращенные силлогизмы (сориты и эпихейрема).