- •§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
Глава I
1. I) антирефлексивное, антисимметричное, транзитивное;
2) антирефлекснвное, несимметричное, нетранзитивное;
3) нерефлексивное, несимметричное, нетранзитивное;
4) нерефлексивное, несимметричное, нетранзитивное;
5) нерефлексивное, несимметричное, нетранзитивное;
6) антирефлексивное, антисимметричное, транзитивное;
7) антирефлексивное, антисимметричное, антитранзитивное.
2. Таких нет.
3. В 5 раз больше.
6. Вера темнее Вали. Это отношение антисимметричное.
Поэтому Вера темнее Вали.
Ваня светлее Веры.
Используем этот вывод в качестве посылки.
Валя светлее Веры, Вера светлее Тани.
Валя светлее Тани.
Вывод правомерен, поскольку отношение “светлее” транзитивно.
Получается, что Валя светлее Веры и светлее Тани. Значит, она — самая
светлая.
7. Нет, не является. Отношение “брат или сестра” симметрично и транзитивно. Но никто не является своим собственным братом или сестрой.
8. 1) Да; 2) да; 3) нет; 4) да; 5) да; 6) нет; 7) да; 8) нет; 9) нет (этот вывод требует дополнительных сведений); 10) да; 11) да.
9. Эмир не учел антисимметричность отношения “раньше”.
10. Ходжа не учел функциональность отношения “отец”.
11. Приведенный пример не является силлогизмом. Это вывод на основе свойств отношений.
12.1) Транзитивность отношения ³ . Правильно.
2) Отношение ¹ не является транзитивным. Неправильно.
3) Отношение “обыгрывает” не является транзитивным. Неправильно.
4) Транзитивность. Но отношение “современник” не является транзитивным — см. следующий пример.
5) Неправильно — см. ответ на предыдущий пример.
Глава II
1) Предметные константы “мы”, “всё”. Предикаты: “Не хватает глубины” (1 местный), “так поверхностно” (1 местный), “зыбко”— 1 местный.
2) Предметные константы: Авиация, Бамут. Предикат “бомбит” — 2-х местный.
3) Предметные константы: Президент Ельцин, война в Чечне. Предикат “несет ответственность” — 2-х местный.
4) Предметные константы: Душа влюбленного, чужое тело. Предикат “живет в” — 2-х местный.
5) Предметные константы: Старость, “Рим, который взамен турусов и колес не читки требует с актера, а полной гибели всерьез”. Предикат “это” — 2-х местный.
6) Предметные переменные: “Увеличительные стекла”, “уменьшительные стекла”, “собственные способности”, “способности других”. Предикат “рассматриваем” — 2-х местный.
7) Предметные константы — Ришелье, Ланжерон, де Волан. Предметная переменная — самые знаменитые одесские градоначальники. Предикат —французы — 1 местный.
8) Предметные константы: мать известного американского киноактера Сильвестра Сталлоне; центральное телевидение: факт, что их семья, оказывается, родом из Одессы. Предикат — “сообщила не гак давно по...” — 3-х местный.
9) Предметная константа — он, переменная — окружающие люди, предикат — “действительно с раннего детства был сильнее”.
2. Свободные переменные: “увеличительные стекла”, “уменьшительные стекла”, “собственные способности”, “способности других”, “самые знаменитые одесские градоначальники”. Переменная, связанная квантором общности, — “окружающие люди”.
3.
5) Первая часть — не высказывание. Структура второй:
6) Структура ответа: р(х) ® q(a, x).
4. Рассматривая предметную область “люди”, выразим “Все люди смертны” как "xF(x), где F — смертные. Согласно аксиоме Бернайса, будем иметь "xF(x) ® F(y). Переменной у обозначим одесситов. Эта переменная в антецеденте не встречается. Поэтому можно применить правило g1, которое дает "xF(x) ® "yF(y). Используя Modus ponens, получим "yF(y), т. е. то, что все одесситы смертны.
5. Пусть О — одессит. П — означает “народ предприимчивый”. По условию, имеем О(х) ® П. В соответствии с правилом g2 получаем ЕхОх ® П.
6. Если упорно заниматься, то любой человек овладеет логикой.
7. Для любого кота и любого тигра верно, что тигр победит кота.
8. Да. Этот вывод можно сделать согласно схеме 3.
9. Нет, не следует. Этот вывод не соответствует схеме 4.
10. Да, этот вывод соответствует схеме 4.