- •О.И. Кирсанов традиционная логика
- •Введение
- •Тема 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. Тема "Доказательство и опровержение"
- •Литература
- •Содержание
- •Традиционная логика
Непрерывности правило – в одном делении нельзя получать видовые и подвидовые понятия в отношении к исходному делимому понятию.
Несквозная классификация - классификация, в которой полученные на предыдущем шаге классификации делители делятся не все, или все, но с учетом разных признаков.
Несовместимости делителей правило – в результате деления каждый элемент объема делимого понятия должен попасть в объем только одного из делителей.
Несовместимость при обобщении (ограничении) - нарушение правила обобщения (ограничения) понятий, вследствие которого понятие, полученное в результате обобщения (ограничения), находится не в отношении подчинения, а в отношении несовместимости с исходным понятием.
Несовместимые понятия - сравнимые понятия, не имеющие в своих объемах ни одного общего элемента
Несравнимые понятия - понятия, не имеющие в своем содержании ни одного общего признака, помимо признака существования.
Несущественный признак - признак предмета, исчезновение которого не привело бы к исчезновению данного предмета как качественной определенности.
Неявное определение – разновидность вербального определения, в котором нет изначального разграничения между определяемым и определяющим понятиями.
Обобщение понятия – логическая операция, посредством которой совершается переход от понятия с меньшим объемом к понятию с большим объемом.
Обобщения (ограничения) правило - понятия, получаемые в результате обобщения (ограничения), должны находиться в отношении подчинения с исходными обобщаемыми (ограничиваемыми) понятиями.
Обратного отношения между объемом и содержанием понятий закон - если понятия находятся в отношении подчинения друг к другу, то понятие с большим объемом будет беднее по содержанию, и наоборот, понятие с более богатым содержанием будет уже по объему.
Обращение суждения – непосредственное умозаключение, в основе которого лежит установление отношения предиката посылки к ее субъекту.
Обращения суждения правила – 1) нераспределенный в посылке термин должен остаться нераспределенным в выводе; 2) нельзя обращать суждение, субъект которого является пустым понятием.
Общее понятие - понятие, в объеме которого содержится более одного элемента.
Общее суждение – суждение, в котором характеризуются все предметы какого-либо класса.
Общеотрицательное суждение - простое атрибутивное суждение, имеющее логическую схему «Ни один S не является P».
Общеутвердительное суждение – простое атрибутивное суждение, имеющее логическую схему «Все S являются P».
Объем понятия - те предметы реальности, которые с помощью понятия выделены и обобщены в единый класс.
Ограничение понятия - логическая операция, посредством которой совершается переход от понятия с большим объемом к понятию с меньшим объемом.
Операциональное определение - разновидность родовидового определения, в котором в качестве видового признака фигурирует указание на способ измерения или обнаружения предметов класса, выделяемого понятием.
Определение понятия (дефиниция) – логическая операция по раскрытию содержания понятия и уточнению смысла слова, которым это понятие фиксируется.
Определяемое понятие – понятие, содержание которого раскрывается в определении.
Определяющее понятие - понятие, используемое в определении для раскрытия содержания определяемого понятия.
Опровержение - логическая операция, направленная на разрушение доказательства путем установления ложности или недостаточной обоснованности тезиса.
Основание деления – признак, учитываемый при делении понятия.
Основное заблуждение – логическая ошибка (уловка), связанная с нарушением правила истинности аргументов: среди аргументов, используемых в доказательстве, есть ложное положение.
Остенсивное (невербальное) определение – определение, в котором определяемое понятие выражено словом, а вместо определяющего понятия имеет место указание пальцем на один из предметов, входящих в объем определянмого понятия.
Отрицательное понятие – понятие, фиксирующее признаки, отсутствующие у предметов определенного класса.
Отрицательное простое суждение – суждение, в котором отрицается что-либо о классе предметов; образуется отрицательной логической связкой.
Отрицательное сложное суждение - сложное суждение, образуемое логическим союзом инверсия, соответствующим грамматическим союзам «неправда, что …», «ложно, что …» и др.
Отрицающе-утверждающий модус разделительно-категорического силлогизма (modus tollendo-ponens) - один из правильных модусов разделительно-категорического силлогизма: «Есть или А, или В. Нет А. Следовательно, есть В».
Отрицающий модус условно-категорического силлогизма (modus tollens) - один из правильных модусов условно-категорического силлогизма: «Если есть А, то есть и В. Нет В. Следовательно, нет А».
«Приманка» - уловка в доказательстве: вместо аргументации тезиса рассыпает комплименты тем, кому он доказывает, рассчитывая в обмен получить от них согласие с его тезисом.
Первая фигура простого категорического силлогизма - разновидность простого категорического силлогизма, в которой средний термин играет роль субъекта большей посылки и предиката меньшей посылки.
Первой фигуры простого категорического силлогизма правила – 1) большая посылка в ПКС первой фигуры должна быть общим суждением; 2) меньшая посылка в ПКС первой фигуры должна быть утвердительным суждением.
Пересечение понятий – разновидность отношения совместимости между понятиями: понятия пересекаются, если объем одного из них частично входит, а частично не входит в объем другого.
Пересечение при обобщении (ограничении) – нарушение правила обобщения (ограничения) понятий, вследствие которого понятие, полученное в результате обобщения (ограничения), находится не в отношении подчинения, а в отношении пересечения с исходным понятием.
Подмена основания – нарушение правила единства основания для деления понятий: в одном делении элементы объема делимого понятия группируются в подклассы с учетом двух и более признаков.
Подмена тезиса - логическая ошибка (уловка) в доказательстве, возникающая вследствие нарушения правила неизменности тезиса: в ходе доказательства вместо тезиса обосновывается положение, похожее на тезис.
Подчинения отношения (между понятиями) - разновидность отношения совместимости между понятиями: понятия находятся в этом отношении, если объем одного из них полностью входит в объем другого, при этом не исчерпывая его.
Подчинения отношение (между суждениями) – отношение между общими и частными сравнимыми простыми атрибутивными суждениями одного качества (общеутвердительным и частноутвердительным, общеотрицательным и частноотрицательным). Закон подчинения отношения: истинность общего суждения обусловливает истинность частного, ложность частного суждения обусловливает ложность общего.
Полисиллогизм - соединение нескольких силлогизмов, в котором вывод одного силлогизма, становится посылкой другого силлогизма.
Полная индукция - умозаключение обо всем классе предметов, осуществляемое на основе информации о каждом из предметов данного класса.
Положительное понятие – понятие, фиксирующее признаки, имеющиеся у предметов определенного класса.
Понятие - мысль, выделяющая класс предметов путем фиксации их необходимых и достаточных существенных признаков.
Популярная индукция - умозаключение о наличии определенного признака у класса предметов путем простого перечисления предметов данного класса, обладающих этим признаком, и указания на отсутствие информации о противоречащем случае.
Поспешное обобщение – ошибка при использовании популярной индукции, возникающая вследствии слишком малого количества фактов, ставших основанием для обобщения.
Посылки умозаключения – исходные суждения, на основе которых мы, осуществляя умозаключение, получаем новые суждения.