- •§1. Обращение к читателю. О значении логики для развития мышления и характере предлагаемого пособия
- •§ 2. Категориальные основания логики
- •Часть I. Логика высказываний
- •Глава I. Таблицы истинности
- •§ I. Операции над простыми высказываниями
- •§ 2. Операции над сложными высказываниями.
- •§ 3. Тавтологии. Законы мышления
- •Глава II. Проблема вывода в логике высказываний
- •§ 1. Схемы Хрисиппа
- •§ 2. Условные умозаключения. Дилеммы
- •§3. Энтимемы
- •§ 4. Аксиоматическое построение логики высказываний
- •§ 5. Парадоксы логики высказываний
- •§1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания.
- •§3. Импликации.
- •§ 4. Эквивалентные высказывания.
- •§ 5. Общий случай сложных высказываний.
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний.
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности.
- •§ 13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Часть II. Атрибутивная логика
- •Глава I. Суждение и понятие
- •§ 1 Структура суждений и их деление но качеству
- •§ 2. Понятие, его объем и содержание
- •§3. Виды понятий
- •§ 4. Отношения между понятиями по объему и содержанию
- •§ 5. Закон обратного отношения
- •§ 6. Индивидуальные и абстрактные понятия
- •§ 7. Определение понятий и приемы его заменяющие
- •§ 8. Правила определения понятий
- •§ 9. Деление понятий и его правила
- •§ 10. Деление и расчленение
- •§ 11. Классификация
- •§ 12. Деление суждений по количеству
- •§ 13. Распределенпость терминов в суждении
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращение
- •§ 3. Логический квадрат
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Категорический силлогизм и его структура
- •§ 2. Общие правила категорического силлогизма
- •§ 3. Фигуры категорического силлогизма и их правила
- •§ 4. Энтимемы
- •§ 5. Сложные предикаты в силлогизме. Полисиллогизмы и сориты
- •§ 1. Структура суждений и их деление по качеству
- •§ 2. Понятие, его объем и содержание
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •§ 5. Определения понятий и приемы их заменяющие.
- •§ 6. Деление и его правила
- •§ 7. Качество и количество простых суждений
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращения
- •§ 3. Выводы по схеме логического квадрата
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Структура категорического силлогизма
- •§ 2. Общие правила силлогизма
- •§ 4. Суждения со сложными предикатами
- •§ 5. Энтимемы
- •§ 6. Сложные силлогизмы и сориты
- •Глава I. Логика отношений
- •§ 2. Свойства отношений и схемы вывода
- •§ 3. Критика логики отношений
- •Глава II. Логика предикатов
- •§ 1. Основные понятия логики предикатов
- •§ 2. Правильно построенные формулы логики предикатов
- •§ 3. Аксиоматика и тавтологии логики предикатов
- •§ 4. Логика предикатов и классическая силлогистика
- •§ 5. Недостатки логики предикатов как средства анализа повседневного мышления
- •Глава III. Язык тернарного описания
- •§ 1. Категориальные основы языка тернарного описания
- •§ 3. Типы правильно построенных формул ято
- •§ 4. Правила и схемы вывода
- •Глава III. Язык тернарного описания
- •Глава I. СущносТb и виды индукции через перечисление
- •§ 1. Дедукция и индукция
- •§ 2. Неполная индукция через перечисления и ее правила
- •§ 3. Достоверная индукция
- •Глава II. Индуктивные методы исследования причинных связен
- •§ 1. Понятие причины. Дедуктивные и индуктивные методы исследования причинных связей
- •§ 2. Методы исследования причинных связей
- •§ 3. Ошибки в определении причинных связей
- •Глава III. Выводы по аналогии
- •§ 1. Определение и основные формы выводов по аналогии
- •§ 2. Условия правомерности различных форм
- •Глава IV. Выводы от утверждения следствия. Обоснование гипотез
- •§1. Полная и неполная индукция
- •§ 2. Условия повышения вероятности вывода
- •§ 3. Методы индуктивного исследования причинных связей
- •§ 4. Выводы по аналогии
- •§ 5. Правила выводов по аналогии
- •§ 6. Выводы от утверждения следствия
- •§ 1. Сущность и строение доказательства. Опровержение
- •§ 2. Правила доказательств и ошибки в них
- •§ 3. Роковые ошибки
- •§ 4. Аргументация и спор
- •§ 1. Сущность и строение доказательств
- •§ 2. Правила доказательства
- •§ 3. Аргументация и спор
- •§ 2. Категориальные основания логики
- •§ 1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания
- •§ 3. Импликации
- •§ 4. Эквивалентные высказывания
- •§ 5. Общий случай сложных высказываний
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии.
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности
- •§13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Глава 1. § 1
- •Глава II
- •Глава III
- •Глава I
- •Глава II
- •Глава III
§ 3. Выводы по схеме логического квадрата
1. Сделайте с помощью закона противоречия выводы из истинности
следующих суждений.
1) Все союзы — служебные слова.
2) Все междометия выражают эмоции,
3) Некоторые суждения не обращаются.
4) Каждое суждение можно превратить.
5) Некоторые понятия выражаются словосочетаниями.
6) Некоторые предложения состоят из одного слова.
7) Ни одно частноотрицательное суждение не обращается.
2. Правильно ли сделаны следующие выводы?
1) Ложно, что нейтрино имеет массу покоя. Следовательно, истинно, что нейтрино не имеет массу покоя.
2) Ложно, что слово “студень” мужского рода. Следовательно, это слово женского рода.
3) Ложно, что перед этим существительным английского языка нужно ставить определенный артикль. Следовательно, перед этим словом нужно ставить неопределенный артикль.
4) Ложно, что ни одна рыба не может жить некоторое время без воды. Следовательно, в Австралии есть такие рыбы, которые некоторое время могут жить без воды.
5) Ложно, что все выводы через ограничение являются неправомерными. Следовательно, некоторые выводы через ограничение правомерны.
6) Ложно, что некоторые элементарные частицы лишены массы. Следовательно, все элементарные частицы обладают массой.
7) Ложно, что ни один физик не был философом. Следовательно, некоторые физики были философами.
8) Ложно, что ни один физик не был философом. Значит, можно быть одновременно физиком и философом.
9) Ложно, что ни один физик не был философом. Значит, физики — философы.
10) Ложно, что все моря имеют пресную воду. Значит, ни одно море не имеет пресной воды.
11) Ложно, что все существительные изменяются по временам. Значит, существительные по временам не изменяются.
3. Какие из перечисленных суждений будут истинными, если ложно первое из них?
1) Каждое слово выражает понятие.
а. Ни одно слово не выражает понятия.
b. Не каждое слово выражает понятие.
с. Каждое слово не выражает понятие.
d. Некоторые слова не выражают понятия.
2) Ни один глагол не пишется вместе с частицей “не”.
а. Все глаголы пишутся с частицей “не” отдельно.
b. Некоторые глаголы пишутся с частицей “не” слитно.
с. Все глаголы имеют слитное написание с частицей “не”.
d. Глаголы с частицей “не” пишутся отдельно.
4. Какие из следующих суждений будут истинными, если ложно последовательно первое, второе и т. д. до конца суждение?
1) а. N. учится на отлично.
b. N. учится на хорошо и отлично.
с. N. — посредственный ученик.
d. У N. бывают всякие отметки.
е. N. — не отличник.
3) а. Все экзамены сданы
b. Ни один экзамен не сдан.
с. Некоторые экзамены сданы.
5. Исходя из законов противоречия и исключенного третьего, докажите, что из истинности общих суждений следует истинность соответствующих им частных суждений.
6. Докажите, исходя из законов исключенного третьего и противоречия, что из ложности частных суждений следует ложность соответствующих общих суждений.
7. Докажите, что из ложности суждения типа SiP следует истинность SoP и, наоборот, из ложности SoP — истинность SiP.
8. Сделайте все возможные выводы по схеме логического квадрата из истинности следующих суждений:
1) Некоторые львы живут в зоопарках.
2) Все принцессы красивы.
3) Все бегемоты коварны.
4) Некоторые разбойники не благородны.
5) Некоторые принцессы красивы.
6) Ни одна женщина не летала на Луну.
7) Некоторые улицы Одессы переименованы.
9. Предположите, что все суждения предыдущего упражнения ложны. Какие выводы в таком случае можно сделать по схеме логического квадрата?