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