
- •Глава 1. История логики.
- •Глава 2. Предмет и значение теоретической логики.
- •Глава 3. Традиционная логика.
- •Глава 4. Символическая логика.
- •Глава 5. Неклассическая логика.
- •Глава 6. Логика и методология научного знания.
- •Глава 7. Практическая логика
- •Глава 1
- •1.1.1. Элементы логики у Парменида, Гераклита и Зенона
- •1.1.2. Логико-риторические проблемы у софистов
- •1.1.4. Логические идеи представителей мегарской школы
- •1.1.5. Логико-методологические идеи Платона
- •1.2.1. Методология Аристотеля
- •1.2.2. Учение о суждениях
- •1.2.3. Теория силлогизма
- •1.3.2. Логика эпикурейцев
- •1.3.3. Логика скептиков
- •1.4.1. Логические идеи Фомы Аквинского
- •1.4.2. Эпистемология Дунса Скота
- •1.4.3. Эпистемология и логика Уильяма Оккама
- •1.4.4. Основные средневековые типы логико-методологического мировоззрения
- •1.5.1. Логические идеи Пьера Рамэ
- •1.6.1. Принципы формально-логического рационализма
- •1.6.2. Новая философия Лейбница
- •1.6.3. Универсальная характеристика
- •1.6.4. Концепция о ясных и отчетливых понятиях
- •1.6.5. Определение понятия тождества и достаточного основания
- •1.7.1. Теория познания Канта
- •1.7.2. Аналитическое и синтетическое знание
- •1.7.3. Трансцендентальная логика
- •1.7.4. Чистые категории рассудка
- •1.8.1. Философская система Гегеля
- •1.8.2. Диалектическая логика Гегеля
- •Глава 2
- •2.1.1. Опыт и рассуждение в науке
- •2.1.2. Мышление как предмет изучения теоретической логики
- •2.1.3. Язык и мышление. Естественный и искусственный языки
- •2.2.1. Роль языка в мыслительных и речевых актах
- •2.2.2. Речевые акты и фреймы знания
- •2.2.3. Суждение, рассуждение, умозаключение
- •2.2.4. Структура рассуждения
- •2.3.1. Понятие закона мышления
- •2.3.2. Закон тождества
- •2.3.3. Закон противоречия
- •2.3.4. Формы противоречий
- •2.3.5. Закон исключенного третьего
- •2.3.6. Закон достаточного основания
- •2.4.1. Исторический метод
- •2.4.2. Аксиоматический метод
- •2.4.3. Метод формализации
- •2.4.4. Логический синтаксис и логическая семантика
- •2.4.5. Логические исчисления
- •Глава 3
- •3.1.1. Знак: смысл и значение
- •3.1.2. Дескриптивные и логические термины
- •3.1.3. Понятие как форма мышления
- •3.1.4. Объем и содержание понятия
- •3.1.5. Образование понятий
- •3.1.6. Виды понятий
- •3.1.7. Отношения понятий по объему
- •3.1.8. Отношения между понятиями по содержанию
- •3.2.1. Логическая структура суждения
- •3.2.2. Суждение и вопрос
- •3.2.3. Качественные и количественные характеристики суждений
- •3.2.4. Совместимые и несовместимые суждения. Логический квадрат
- •3.3.1. Определение как логическая операция
- •3.3.2. Виды определений
- •3.3.3. Правила корректных определений
- •3.3.4. Приемы, сходные с определением
- •3.3.5. Деление понятий
- •3.3.6. Виды и правила деления понятий
- •3.4.1. Природа и виды умозаключений
- •3.4.2. Умозаключение по логическому квадрату
- •3.4.3. Простой категорический силлогизм
- •3.4.4. Аксиома силлогизма
- •3.4.5. Правила силлогизма
- •3.4.6. Общая характеристика фигур силлогизма
- •3.4.7. Модусы фигур силлогизма
- •3.5.1. Непосредственное и опосредованное доказательство
- •3.5.2. Значение доказательств в науке
- •3.5.3. Строение и структура доказательства
- •3.5.4. Виды доказательств
- •3.5.5. Опровержение
- •3.5.6. Условия и правила, обеспечивающие эффективность доказательства. Основные ошибки
- •3.6.1. Природа индуктивного умозаключения
- •3.6.2. Понятие аналогии
- •3.6.4. Основные виды индукции и индуктивных умозаключений
- •3.6.5. Популярная и научная индукция
- •3.7.1. Специфика гипотезы
- •3.7.2. Виды гипотез
- •3.7.3. Основные этапы разработки гипотезы
- •3.7.4. Проверка гипотезы
- •Глава 4
- •4.1.1. Логические союзы
- •4.1.2. Язык логики высказываний
- •4.1.3. Понятие правильно построенного высказывания (ппв) определяется таким образом:
- •4.1.4. Понятие формулы логики высказываний
- •4.2.1. Семантическая таблица отрицания
- •4.2.2. Семантическая таблица конъюнкции
- •4.2.3. Семантическая таблица дизъюнкции
- •4.2.4. Семантическая таблица импликации
- •4.2.5. Семантическая таблица эквивалентности
- •4.3.1. Порядок логических действий
- •4.3.2. Табличный способ исчисления истинностных значений
- •4.4.1. Закон двойственности
- •4.4.2. Понятие самодвойственной формулы
- •4.4.3. Равносильные формулы
- •4.4.4. Свойства равносильности
- •4.5.1. Понятие тождественно-истинной формулы
- •4.5.2. Понятие тождественно-ложной формулы
- •4.5.3. Некоторые свойства тождественно-истинных формул:
- •4.6.1. Понятие нормальной формы
- •4.6.2. Процедура приведения к нормальной форме
- •4.6.3. Проблема разрешимости
- •4.8.1. Понятие логического вывода
- •4.8.2. Правила вывода
- •4.8.3. Правило построения прямого доказательства
- •4.8.4. Косвенное доказательство
- •4.8.5. Сильное (классическое) косвенное доказательство
- •4.8.6. Аксиоматическое представление логики высказываний
- •4.8.7. Полнота классического исчисления высказываний
- •4.9.2. Исчисление предикатов. Общезначимость
- •4.9.3. Тождественно-истинные формулы логики предикатов
- •4.9.4. Логическое следование
- •4.9.5. Естественный вывод в логике предикатов
- •4,9.6, Специфические законы логики предикатов
- •4.9.8. Свойства теорий первого порядка
- •4.9.9. Секвенции
- •Глава 5
- •5.1.1. Элементы модальной логики в античности
- •5.1.2. Понятия необходимости и возможности
- •5.1.3. Алетические модальные исчисления
- •5.1.4. Естественный вывод в алетических исчислениях
- •5.2.1. Анализ норм
- •5»2.2. Деонтические исчисления
- •5.3.1. Деонтическая система «Deontic»
- •5.3.2. Деонтическая система р
- •5.3.3. Деонтическая система sdl
- •5.3.4. Деонтическая система dt
- •5.3.5. Семейство деонтических систем 01 1— 01 4
- •5.4.1. Понятие деонтически возможного мира
- •5.4.3. Условия истинности деонтических формул
- •5.5.1. Оценки и нормы
- •5.5.2. Проблема истинности оценок
- •5.5.3. Логика оценок
- •Глава 6
- •6.1.1. Логико-математические методы
- •6.1.1. Логико-математические методы
- •6.1.2. Виды познания
- •6.1.3. Структура познавательного процесса
- •6.1.4. Общенаучные методы познания
- •6.1.5. Общенаучные подходы к построению научного знания
- •6.1.6. Методология научного познания
- •6.1.7. Проблема истины в познании
- •6.2.1. Эмпирическая интерпретация
- •6.2.2. Конструктивные объекты
- •6.2.3. Логический язык эмпирической интерпретации
- •6.3.1. Структура математических теорий
- •6.3.2. Структура теорий опытных (эмпирических) наук
- •6.3.3. Научная теория как обобщенное идеальное отображение мира
- •6.4.1. Логическое уточнение понятия теории
- •6.4.2. Логические отношения между теориями
- •6.4.3. Сравнение теорий с помощью определений
- •6.5.1. Дедуктивно-номологическое объяснение
- •6.5.2. Рациональное объяснение
- •6.5.3. Интенциональное объяснение. Практический силлогизм
- •Глава 7
- •7.5.1. Тактика аргументации
- •7.5.2. Уловки и приемы аргументации
- •7.5.3. Моральный кодекс спора
3.4.3. Простой категорический силлогизм
Рассмотрим после всего этого опосредствованные умозаключения в том виде, как они были сформулированы и проанализированы в силлогистике. Обоснование и развитие силлогистики связано, как мы уже говорили, с именем древнегреческого мыслителя Аристотеля. Ядро его силлогистики в той или иной степени сохранилось до наших дней. Это связано с тем, что относительная простота и элегантность силлогистики
среди многих других логических систем и теорий делают ее особенно удобным средством ознакомления с дедуктивными понятиями и приобщения людей к элементарной логической культуре.
В силлогистике выделяют ряд видов опосредствованных умозаключений, таких как простой категорический силлогизм, сложные, сокращенные и сложносокращенные силлогизмы, условные, разделительные и условно-разделительные силлогизмы.
Простым категорическим силлогизмом называется опосредствованное умозаключение, посылки и заключение которого представляют собой категорические, или атрибутивные, суждения. Такой силлогизм состоит из двух посылок и заключения, например:
Все планеты имеют форму шара.
Земля — планета.
Следовательно, Земля имеет форму шара.
Все понятия, входящие в посылки силлогизма, называются терминами силлогизма. Так, в примере содержатся определения, способные выразить всю полноту знаний об объекте исследования.
Правила определения, о которых идет речь выше, являются общими указаниями на то, как должны быть связаны в краткой формулировке понятия, которые предполагаются данными, готовыми, т. е. такими, формирование которых считается законченным. Без такого постулирования законченности мысли (понятий) формально-логические правила теряли бы смысл. Конечно, такое постулирование есть абстракция, отвлечение от фактического развития понятий. Но без этой абстракции формальная логика не может строить свою теорию дефиниций, так как без нее (абстракции) невозможно было бы говорить об общих требованиях (правилах) к определению понятий; в противном случае мы оказались бы перед необходимостью указывать одни видовые признаки определяемого предмета в одном случае и другие — в другом случае, руководствуясь только своими представлениями о содержании предмета, независимо от того, каков предмет в действительности.
Из сказанного следует, что в научных исследованиях должно соблюдаться единство формально-логических правил определения и методологических принципов диалектики.
Было бы, однако, большой ошибкой делать из сказанного вывод, что все понятия определимы через указание рода и видового отличия. Этот прием, конечно, неприменим к категориям и к единичным понятиям, к индивидуумам, поскольку для первых не существует родовых понятий, а для вторых — видовых отличий.
Силлогизм состоит из двух посылок и заключения. Слова и словосочетания, выражающие понятия, входящие в силлогизм, называются терминами силлогизма. Всего терминов в силлогизме три (в нашем примере: «Земля», «шар», «планета»). Термин, соответствующий субъекту заключения, называется меньшим термином (в нашем примере «Земля»), и его принято обозначать буквой 5. Термин, соответствующий предикату заключения, называется большим термином («шар»), и его принято обозначать буквой Р.
Больший и меньший термины называются крайними терминами. Термин, входящий в обе посылки и отсутствующий в заключении («планета»), называется средним термином и обозначается буквой М. Средний термин играет роль связующего звена между большим и меньшим терминами. Поскольку в посылках устанавливается известное отношение крайних терминов к среднему, постольку на этом основании имеется возможность установить соответствующее отношение между крайними терминами в заключении.
Та посылка, в которую входит больший термин, называется большей посылкой («Все планеты (М) — имеют форму шара (Р)»). Та посылка, в которую входит меньший термин, называется меньшей посылкой («Земля (S) — планета (А/)»). Посылки силлогизма всегда истолковываются как простые суждения.
Структура этого силлогизма будет иметь вид:
Все М суть P. S есть М. Следовательно, S есть Р.
Таким образом, силлогизм — это такое дедуктивное умо-
заключение, где посылки являются категорическими суждениями, в котором устанавливается связь между крайними терминами в заключении на основании их отношения к среднему термину в посылках; при этом средний термин в заключении отсутствует.
В тех случаях, когда в состав посылок силлогизма входит либо условное, либо разделительное суждение и при этом связь терминов в заключении получается как результат исключения среднего термина в посылках и объединения оставшихся частей, мы также будем иметь дело с силлогизмами.
Так, следующее умозаключение есть силлогизм:
Всякая жидкость превращается в пар, если ее нагреть до определенной температуры.
Этиловый спирт — жидкость.
Следовательно, этиловый спирт превращается в пар, если его нагреть до определенной температуры.
В этом случае условному по своему содержанию суждению придается структура простого атрибутивного категорического суждения, а именно, структура общеутвердительного суждения («Всякая жидкость есть вещество, превращающееся в пар при нагревании его до определенной температуры»). При таком истолковании посылок это умозаключение приобретает структуру умозаключения (1), которое является типичным силлогизмом.
Подобным образом следующее умозаключение можно рассматривать как силлогизм:
Всякая жидкая коллоидная система представляет собой либо эмульсию, либо золь.
Всякий клей — коллоидная система.
Следовательно, всякий клей представляет собой либо эмульсию, либо золь.
Здесь заключение получается как результат исключения среднего термина из посылок (термина «коллоидная система») и объединения оставшихся частей. При этом большая посылка истолковывается как простое категорическое суждение, имеющее структуру общеутвердительного суждения («Всякая жид-
кая коллоидная система является веществом, представляющим собой либо эмульсию, либо золь»). При таком истолковании "большей посылки это умозаключение приобретает структуру умозаключения, являющегося типичным силлогизмом.
Силлогистические умозаключения широко используются в практике нашего мышления.
При выведении одних положений из других, при обосновании одних положений другими на каждом этапе доказательства необходимо соблюдать известные правила, которые носят название правил умозаключений, в том числе и правила силлогизмов.