- •О.И. Кирсанов традиционная логика
- •Введение
- •Тема 1. Общая характеристика логики как науки
- •1.1. Предмет и функции логического знания
- •1.2. Основные законы логики
- •Тема 2. Понятие
- •2.1. Понятие как мысль о классе предметов
- •2.2. Понятия и языковые знаки
- •2.3. Объем и содержание понятий
- •2.4 Виды понятий
- •2.5. Отношения между сравнимыми понятиями
- •2. 6. Логические операции с понятиями
- •2.6.1 Определение понятия
- •2.6.2. Обобщение и ограничение понятия
- •2.6.3. Деление понятия
- •Тема 3. Суждение
- •3.1. Понятие суждения и его структурные элементы
- •3.2. Разновидности суждения
- •3.3 Простое атрибутивное суждение
- •3.3.1. Виды простых атрибутивных суждений
- •3.3.2. Логические отношения между простыми атрибутивными
- •3.3.3. Распределенность терминов простого атрибутивного
- •3.4. Сложные суждения
- •3.4.1. Структура сложного суждения. Основные логические
- •3.4.2. Формализация и исчисление сложных суждений
- •Тема 4. Умозаключение
- •4.1. Понятие умозаключения, его структура и основные
- •Иванов - человек.
- •4.2. Непосредственные дедуктивные умозаключения
- •Умозаключение по правилам логического квадрата базируется на учете законов отношений между простыми суждениями а, е, I, o, о которых шла речь ранее.
- •4.3 Простой категорический силлогизм
- •4.3.1 Структура и разновидности простого категорического
- •4.3.2. Общие правила простого категорического силлогизма
- •4.3.3 Правила фигур пкс. Графический способ проверки
- •4.4 Энтимемы, полисиллогизмы и сориты
- •4.5.Силлогизмы, имеющие сложные суждения в посылках
- •4.6 Формальный способ проверки правильности выводов из
- •4.7 Индуктивные умозаключения
- •4.7.1. Полная индукция
- •4.7.2.Неполная индукция. Популярная индукция
- •4.7.3. Индукция Милля
- •4.8 Аналогии
- •Тема 5. Доказательство и опровержение
- •5.1. Понятие доказательства, его структура и разновидности
- •5.2. Правила доказательства и ошибки в доказательствах
- •Правила демонстрации.
- •5.3 Опровержение
- •Раздел 2. Словарь логических терминов
- •Аналогия отношений – аналогия, в которой переносимым признаком является структура предмета или его связи с другими предметами.
- •Вербальное определение - определение, в котором и определяемое, и определяющее понятия выражены словами.
- •Выводы умозаключения – суждения, получаемые в результате умозаключения.
- •Закон инверсии – логическое значение отрицательного суждения противоположно логическому значению суждения, которое в нем отрицается.
- •Крайние термины простого категорического силлогизма - термины, образующие вывод простого категорического силлогизма.
- •Лишний делитель - нарушение правила соразмерности для деления понятия: сумма объемов делителей, полученных в результате деления понятия, больше объема делимого понятия.
- •Логическая форма – способ строения мысли, специфическая связь между ее содержательными компонентами.
- •Меньший термин простого категорического силлогизма – термин, являющийся в простом категорическом силлогизме субъетом его вывода
- •Непрерывности правило – в одном делении нельзя получать видовые и подвидовые понятия в отношении к исходному делимому понятию.
- •Несравнимые понятия - понятия, не имеющие в своем содержании ни одного общего признака, помимо признака существования.
- •Обращение суждения – непосредственное умозаключение, в основе которого лежит установление отношения предиката посылки к ее субъекту.
- •Определяемое понятие – понятие, содержание которого раскрывается в определении.
- •Превращение суждения - непосредственное умозаключение, в основе которого лежит установление отношения субъекта посылки к понятию, находящемуся в отношении противоречия с ее предикатом.
- •Противопоставление предикату - непосредственное умозаключение, в основе которого лежит установление отношения понятия, находящегося в отношении противоречия с предикатом посылки к субъекту посылки.
- •Равнообъемность понятий - разновидность отношения совместимости между понятиями: понятия равнообъемны, если, имея разное содержание, выделяют один и тот же класс предметов.
- •Содержание понятия - набор мыслимых в понятии признаков, необходимых и достаточных для выделения и обобщения предметов в единый класс.
- •Теоретическое понятие – понятие, объединяющее предметы в класс по признакам, недоступным чувственному восприятию, обнаруживаемым в процессе мыслительного анализа.
- •Термины простого категорического силлогизма – понятия, входящие в структуру простого категорического силлогизма. Термины суждения – понятия, входящие в состав суждения.
- •Четвертая фигура простого категорического силлогизма - разновидность простого категорического силлогизма, в которой средний термин играет роль предиката большей посылки и субъекта меньшей посылки.
- •Элемент объема понятия – конкретный предмет, входящий в объем понятия.
- •Раздел 3. Тестовые задания по курсу «Логика»
- •3.1. Тестовые задания по теме «Общая характеристика логики
- •3.2. Тестовые задания по теме «Понятие»
- •3.3. Тестовые задания по теме «Суждения»
- •3.4. Тестовые задания по теме «Умозаключение»
- •3.5. Тестовые задания по теме «Доказательство и опровержение»
- •Раздел 4. Ключ к вопросам тестов и пояснения
- •4.1. Тема «Общая характеристика логики как науки»
- •4.2. Тема «Понятие»
- •4.3 Тема «Суждение»
- •4.4. Тема «Умозаключение»
- •4.5. Тема "Доказательство и опровержение"
- •Литература
- •Содержание
- •Традиционная логика
4.3.2. Общие правила простого категорического силлогизма
Из 256 модусов ПКС только малая часть позволяет получать выводы с необходимостью. Это – модусы , которые соответствуют общим правилам ПКС. Таких правил семь. Четыре из них относятся к посылкам ПКС, три - к терминам ПКС.
Правила посылок ПКС
1. Хотя бы одна из посылок ПКС должна быть утвердительным суждением. Из двух отрицательных посылок вывод с необходимостью не следует.
Пример нарушения 1-го правила посылок:
У дятлов не болит голова.
У Иванова не болит голова.
Иванов - дятел.
2. Если одна из посылок ПКС - отрицательное суждение, то вывод также должен быть отрицательным суждением.
Пример нарушения 2-го правила посылок:
Все дети шаловливы.
Очень немногие студенты не являются шалунами.
Некоторые студенты являются детьми.
3. Хотя бы одна из посылок ПКС должна быть общим суждением. Из двух частных посылок вывод с необходимостью не следует.
Пример нарушения 3-го правила посылок:
Некоторые студенты любят поспать.
Многие пожарники любят поспать.
Некоторые пожарники являются студентами.
4. Если одна из посылок ПКС - частное суждение, то вывод также должен быть частным суждением.
Пример нарушения 4-го правила посылок:
Бабушки любят внуков.
Некоторые женщины являются бабушками.
Женщины любят внуков.
П р а в и л а т е р м и н о в ПКС
1. В ПКС должно быть три и только три термина.
Пример нарушения 1-го правила терминов:
Ни одно существо, имеющее хвост, не является человеком.
Студент Иванов имеет "хвост" по философии.
Студент Иванов не является человеком.
2.Средний термин ПКС должен быть распределенным хотя бы в одной из посылок.
Пример нарушения 2-го правила терминов:
Все пчелы трудолюбивы.
Петя трудолюбив.
Петя - пчела.
3.Крайний термин, нераспределенный в посылке, не должен быть распределенным в выводе.
Пример нарушения 3-го правила терминов:
Все часы тикают.
Ни один манометр не является часами.
Ни один манометр не тикает.
Просеяв 256 модусов ПКС сквозь "сито" правил ПКС, мы обнаружим, что только 24 модуса являются правильными, то есть позволяющими получать выводы с необходимостью. В средние века этим модусам были даны латинские названия:
Barbara, Celarent, Darii, Ferio, Barbari, Celari (первая фигура);
Cesare, Cаmestres, Festino, Baroko, Cesari, Cаmestri (вторая фигура);
Darapti, Disamis, Datisi. Felapton, Bokardo, Ferison (третья фигура);
Bramalip, Camenes, Dimaris, Fesapo, Fresison, Cameni (четвертая фигура).
В каждом из приведенных названий гласные буквы указывают на виды суждений, входящих в структуру ПКС. Например, Celarent означает модус первой фигуры ПКС, в котором большая посылка является общеотрицательным суждением (Е); меньшая посылка -общеутвердительным суждением (А); вывод – общеотрицательным суждением (Е); Datisi – модус третьей фигуры, в котором большая посылка – суждение А, меньшая посылка – суждение I, вывод – суждение I, и т.д.
Разный характер логических связей между посылками и выводом в модусах 1, 2, 3 и 4 – й фигур ПКС обусловливает разную частоту их применения в конкретных ситуациях, требующих умозаключения.
Чаще всего в рассуждениях и доказательного, и опровергающего типа используются умозаключения по модусам первой фигуры ПКС. Это обусловлено прежде всего тем, что их схемы в наибольшей степени близки к строю грамматических конструкций естественной речи. Заметим также, что только модусы первой фигуры позволяют получать в качестве выводов суждения любого вида, включая общеутвердительные. Вспомним знаменитое умозаключение, позволяющее всем нам знать о своей смертности: «Все люди смертны. Мы - люди. Значит, мы смертны» (модус Barbara).
Модусы второй фигуры бывают весьма эффективны при опровержении суждений, в которых конкретные предметы необоснованно включаются в тот или иной класс. Если, например, кто-то обозвал меня ослом, я легко смогу опровергнуть это оскорбительно необоснованное включение меня в класс длинноухих, опираясь на модус Cаmestres: “Ослы имеют копыта. Я не имею копыт. Следовательно я – не осел”.
Модусы третьей фигуры, по сравнению с первой и второй фигурами, используются в умозаключительных рассуждениях довольно редко, хотя в некоторых случаях они помогают доказать частичную совместимость двух классов предметов, опираясь на факты их подчинения третьему классу. Например: “Иванов совмещает учебу в университете с работой дворником. Следовательно, некоторые дворники учатся в университете” (модус Darapti).
Модусы четвертой фигуры в практике мышления фактически не используются. Связано это с тем, что при переходе от посылок к выводу в ПКС 4 – й фигуры радикально изменяется функция обоих крайних терминов. Термин, бывший субъектом в посылках, становится предикатом в выводе, а термин, бывший в посылках предикатом, превращается в субъект вывода. Такое двойное “перевертывание” создает неудобную и неестественную для обычной речи грамматическую конструкцию. Например: “Все квадраты (Р) являются ромбами (М). Ни один ромб (М) не является кругом (S). Следовательно, ни один круг(S) не является квадратом (Р)» (модус Camenes).