- •О.И. Кирсанов традиционная логика
- •Введение
- •Тема 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. Тема "Доказательство и опровержение"
- •Литература
- •Содержание
- •Традиционная логика
3.3 Простое атрибутивное суждение
3.3.1. Виды простых атрибутивных суждений
Простые атрибутивные суждения (ПАС) различаются между собой по
качеству и количеству.
Деление ПАС по качеству производится в зависимости от характера логической связки,указывающей на наличие или отсутствие свойства у предмета мысли. В результате такого деления мы получим утвердительные и отрицательные ПАС. Схема утвердительного ПАС "S является (являются) P". Отрицательные простые атрибутивные суждения имеют схему "S не является (не являются) P". Например, суждения " Иванов является студентом", "Люди являются не бессмертными существами" - утвердительные, суждения же "Иванов не является студентом","Люди не являются бессмертными существами» – отрицательные.
Деление ПАС по количеству предполагает учет того, утверждается (отрицается) ли наличие свойства у всех предметов определенного класса, или только у части этих предметов. В результате такого деления мы получим общие и частные ПАС.
Общие ПАС – суждения, в которых характеризуются все без исключения предметы класса. Схема общего суждения "Все (ни один) S являются ( не являются) P". Примеры общих ПАС - суждения "Все кошки являются пушистыми", "Ни один жираф не является лошадью" и др. К разряду общих относятся и так называемые единичные ПАС - суждения, субъектом которых являются единичные понятия. Например: «224 аудитория является удобной для проведения лекционных занятий", "Иванов не является занудой" и др. В этих суждениях предикат характеризует все элементы объема понятий "224 аудитория" и "Иванов". Тот же факт, что в данных случаях объем каждого из понятий - субъектов равен одному элементу, с логической точки зрения принципиального значения не имеет.
Частные ПАС - суждения, в которых речь идет о части предметов определенного класса. Например: "Некоторые люди являются блондинами", "Многие томичи не занимаются спортом" и др. Схема частных ПАС: "Некоторые S являются (не являются) P". Причем, оборот "Некоторые S… " в частных ПАС понимается в смысле "По крайней мере, некоторые S…». Утверждая, например, что некоторые люди смертны, мы имеем в виду то, что среди людей есть смертные (хотя бы один человек), а не то, что только некоторые люди смертны. Суждение с оборотом "Только некоторые S…" при внимательном рассмотрении оказывается не простым суждением, а суждением сложным, состоящим из двух ПАС: "Некоторые S являются P, а некоторые S не являются P".
Индикатором при определении количественной характеристики сужде-
ния являются кванторные слова. В общих суждениях это - "все", "всякий", "любой", "ни один", "не существует" и др. В частных - "некоторые", "многие", "существует", "есть" и др. Правда, в реальной языковой практике кванторные слова зачастую опускаются, и в этих случаях определить количество суждения становится возможным только после анализа контекста фразы. Например, суждение "Студенты посещают лекции" однозначно квалифицировать как общее или частное невозможно, пока мы не выясним, идет ли в нем речь обо всех студентах, или только о части. На случай таких ситуаций логиками изобретен принцип "презумпции всеобщности". Это своего рода договоренность: считать суждение общим, если в нем отсутствует прямое указание квантором на его частный характер. С учетом данного принципа, суждения с опущенными кванторами "Люди смертны", "Свиньи не летают", "Молекулы состоят из атомов" и др. мы будем определять как общие.
Любое ПАС имеет как количественную, так и качественную характеристику. Поэтому в логике существует объединенная классификация ПАС, в соответствии с которой они делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.
Общеутвердительное ПАС - суждение общее по количеству и утвердительное по качеству. Схема общеутвердительного ПАС: "Все S являются P". Например: "Все девушки являются красивыми".
Общеотрицательное ПАС - суждение общее по количеству и отрицательное по качеству. Его схема: "Ни один S не является P". Например: "Ни одна рыба не является живущей на суше".
Частноутвердительное суждение - суждение, частное по количеству и утвердительное по качеству. Схема: "Некоторые S являются P". Например: "Некоторые животные являются пресмыкающими".
Частноотрицательное ПАС - суждение, частное по количеству и отрицательное по качеству. Схема: "Некоторые S не являются P". Например: "Некоторые небесные тела не являются звездами".
В логике принято сокращенное обозначение разных видов ПАС латинскими буквами A, E,I,O: A - общеутвердительное ПАС, E - общеотрицательное, I - частноутвердительное, O - частноотрицательное. Корректным будет и такое обозначение: SаP - общеутвердительное, SeP - общеотрицательное, SiP - частноутвердительное, SoP - частноотрицательное.