- •Предисловие
- •Часть I
- •Предмет, основные понятия
- •И разновидности логики
- •Введение
- •1.2. Разновидности и исторический аспект логики как науки
- •1.3. Основные положения и понятия классической формальной логики
- •2.2. Закон мышления. Принципы (законы) классической формальной логики
- •2.3. Частные законы формальной логики и логическое следование
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Предмет, основные понятия и разновидности логики»
- •Список рекомендуемой литературы
- •Часть II
- •Силлогистическая теория
- •Дедуктивных рассуждений
- •Введение
- •3.2. Логическая структура категорических высказываний
- •3.3. Общая качественно-количественная классификация категорических суждений
- •3.4. Позитивная и негативная разновидности традиционной силлогистики
- •3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний
- •Родовое
- •4.2. Логический квадрат. Умозаключения по логическому квадрату
- •4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике
- •4.4. Общая характеристика и логическая структура простого категорического силлогизма
- •4.5. Модельные схемы простого категорического силлогизма
- •4.6. Правила простого категорического силлогизма
- •4.7. Сложные, сокращённые и сложносокращённые формы простого категорического силлогизма
- •5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике
- •5.3. Негативный категорический силлогизм
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Силлогистическая теория дедуктивных рассуждений»
- •12. Что есть истина?
- •13. Что пользы человеку приобресть весь мир…?
- •Список рекомендуемой литературы
- •Часть III
- •Логика высказываний
- •И предикатов
- •Введение
- •6.2. Пропозициональные связки; образование формул клв
- •6.3. Истинностная функция пропозициональных связок Табличное определение истинности
- •6.4. Виды и взаимоотношения формул и схем клв
- •6.5. Схемы некоторых законов клв
- •6.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •7.2. Классическое натуральное исчисление высказываний. Правила вывода
- •7.3. Выводы и доказательства
- •7.4. Эвристики натурального исчисления высказываний
- •8.2. Язык классической логики предикатов
- •8.3. Запись имён и высказываний на яклп: термы и формулы
- •8.4. Законы классической логики предикатов
- •8.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Логика высказываний и предикатов»
- •Список рекомендуемой литературы
- •Часть IV
- •Теория правдоподобных
- •Рассуждений
- •Введение
- •9.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •9.3. Статистическая (апостериорная) вероятность
- •9.4. Исчисление условной вероятности
- •9.5. Принцип обратной дедукции
- •Лекция десятая разновидности индукции
- •10.1. Понятие индукции в традиционной и современной логике
- •10.2. Классификация видов индукции по характеру следования
- •А1 есть в, а2 есть в, ..., Аn есть в; Никаких а, кроме а1, ..., Аn, нет;
- •Каждое а есть в.
- •10.3. Индуктивные методы установления причинных связей
- •Вероятно, а
- •Вероятно, а
- •Видимо, а — причина a
- •11.2. Гипотеза: виды, построение, этапы организации
- •11.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Теория правдоподобных рассуждений»
- •Список рекомендуемой литературы
- •Часть V основы аргументационного процесса Введение
- •Лекция двенадцатая логические основы аргументации
- •12.1. Основы теории аргументации
- •12.2. Состав аргументации. Структура аргументационного процесса
- •12.3. Доказательство и опровержение в аргументации
- •12.4. Правила и логические ошибки в доказательстве и опровержении
- •13.2. Тактика спора
- •13.2. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
3.4. Позитивная и негативная разновидности традиционной силлогистики
Поскольку термины простых категорических суждений могут рассматриваться в логических рассуждениях либо в качестве элементарных, либо в качестве сложных образований, постольку в рамках традиционной силлогистики выделяют позитивную традиционную силлогистику и негативную традиционную силлогистику.
Первая из них не учитывает внутреннюю структуру терминов, трактует субъект и предикат как элементарные выражения, неразложимые на составные части.
Пример
В суждении «Ни одно чётное число не является нечётным» предикатом считается имя «являющийся нечётным», т. е. имя «нечётный» берётся без учёта выраженного частицей «не» смысла (терминного отрицания). Если же этот смысл оказывается выявленным, учтённым в структуре высказывания, то в приведённом выше примере предикатом будет считаться имя «являющийся чётным», взятое с отрицанием. Обозначив терминное отрицание символом «-», получим запись: «Ни один S не есть -P» (формула: Se-P).
3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний
Однако, как в случае аристотелевской, так и в случае любых разновидностей традиционной силлогистики фундаментальным для понимания смысла простых категорических атрибутивных высказываний оказывается логическое отношение их терминов, т. е. выступающих в роли субъекта и предиката разных по объёму, соединённых предицирующими связками имён. Те отношения между терминами высказываний, которые в случае каждой формы отвечают условию истинности, получили название модельных схем.
Модельные схемы фиксируют «объём сказывания» (мыслимое в высказывании положение дел). Объём сказывания наглядно выявляется посредством совмещения: 1) объёма «универсума» (что характерно для традиционной силлогистики), обозначаемого четырёхугольником c латинской «U», 2) объёма субъекта, (так называемая «круговая схема» или «круг Эйлера») с латинской «S» и 3) объёма предиката, обозначаемого вторым кругом Эйлера с латинской «P». Объём сказывания может быть нулевым, когда субъект и предикат суждения не имеют ни одного общего элемента, и ненулевым, который фиксируется на модельных схемах штриховкой, покрывающей общие у субъекта и предиката элементы.
Для общеутвердительных (A) суждений существуют только две модельные схемы (рис. 4):
I II
U
Р
S
U
S,
P
Рис. 4
Первая схема фиксирует штриховкой объём сказывания при наличии между S и P отношения равнозначности (тождественности), т. е. когда эти два термина выражены полностью совпадающими по объёму (тождественными, равнозначными) именами.
Пример
В отношении равнозначности находятся термины высказываний: «Все огранённые алмазы являются бриллиантами», «Платон — основатель древнегреческой Академии», «Всякий бегемот является гиппопотамом» и т. п. В таком случае в суждении содержится информация как о всех элементах субъекта, так и о всех элементах предиката.
Вторая схема фиксирует отношение подчинения (субординации), при котором объём одного имени (в данном случае таковым является S), называемого подчинённым, полностью входит, не исчерпывая его, в объём другого имени (в данном случае это P), называемого подчиняющим.
Пример
В отношении подчинения находятся термины высказываний: «Любая ночь сменяется днём», «Все адвокаты являются юристами», «Какой русский не любит быстрой езды?» В таком случае суждение несёт информацию (заштрихованная область, область сказывания) обо всех элементах S и о той части элементов P, которые совпадают с элементами S.
Для частноутвердительных (I) суждений существуют две основные модельные схемы (рис. 5):
I II
U
S
P
U
S
P
Рис. 5
Первая модельная схема фиксирует отношение перекрещивания, при котором объёмы имён совпадают частично, и в объёме сказывания в таком случае содержатся общие для S и P элементы, например, «Некоторые дни являются тёплыми». Вторая схема фиксирует отношение подчинения, при котором в данном случае объём P полностью входит, не исчерпывая его, в объём S.
Пример
В отношении перекрещивания находятся термины высказываний: «Некоторые студенты являются учащимися вуза», «Некоторые птицы являются перелётными», «Часть избирателей имеют двойное гражданство». В таком случае суждение несёт информацию о части элементов S и о всех элементах P.
Для общеотрицательных (E) суждений в качестве основной существует следующая модельная схема (рис. 6):