- •А.С. Скачков
- •Часть I
- •Предмет, основные понятия
- •И разновидности логики
- •Введение
- •Лекция первая предмет, условия возникновения, виды и основоположения логики
- •1.1. Объектное и предметное значение логики
- •1.2. Разновидности и исторический аспект логики как науки
- •1.3. Основные положения и понятия классической формальной логики
- •Лекция вторая семантика и основные законы классической формальной логики
- •2.1. Семантические категории и логическая форма
- •2.2. Закон мышления. Принципы (законы) классической формальной логики
- •2.3. Частные законы формальной логики и логическое следование
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Предмет, основные понятия и разновидности логики»
- •Список рекомендуемой литературы
- •Часть II
- •Силлогистическая теория
- •Дедуктивных рассуждений
- •Введение
- •Лекция третья особенности аристотелевской и традиционной силлогистики
- •3.1. Общая характеристика и язык силлогистики
- •3.2. Логическая структура категорических высказываний
- •3.3. Общая качественно-количественная классификация категорических суждений
- •3.4. Позитивная и негативная разновидности традиционной силлогистики
- •3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний
- •Родовое
- •Лекция четвёртая
- •4.2. Логический квадрат. Умозаключения по логическому квадрату
- •4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике
- •4.4. Общая характеристика и логическая структура простого категорического силлогизма
- •4.5. Модельные схемы простого категорического силлогизма
- •4.6. Правила простого категорического силлогизма
- •4.7. Сложные, сокращённые и сложносокращённые формы простого категорического силлогизма
- •Лекция пятая умозаключения негативной традиционной силлогистики
- •5.1. Операция терминного отрицания
- •5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике
- •5.3. Негативный категорический силлогизм
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Силлогистическая теория дедуктивных рассуждений»
- •12. Что есть истина?
- •13. Что пользы человеку приобресть весь мир…?
- •Список рекомендуемой литературы
- •Часть III
- •Логика высказываний
- •И предикатов
- •Введение
- •Лекция шестая классическая логика высказываний
- •6.1. Общая характеристика и особенности языка
- •Классической логики высказываний (клв)
- •6.2. Пропозициональные связки; образование формул клв
- •6.3. Истинностная функция пропозициональных связок Табличное определение истинности
- •6.4. Виды и взаимоотношения формул и схем клв
- •6.5. Схемы некоторых законов клв
- •6.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •Лекция седьмая классическое исчисление высказываний
- •7.1. Логический смысл исчислений
- •7.2. Классическое натуральное исчисление высказываний. Правила вывода
- •7.3. Выводы и доказательства
- •7.4. Эвристики натурального исчисления высказываний
- •Лекция восьмая язык и исчисление классической логики предикатов
- •8.1. Общая характеристика классической логики предикатов
- •8.2. Язык классической логики предикатов
- •8.3. Запись имён и высказываний на яклп: термы и формулы
- •8.4. Законы классической логики предикатов
- •8.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Логика высказываний и предикатов»
- •Список рекомендуемой литературы
- •Часть IV
- •Теория правдоподобных
- •Рассуждений
- •Введение
- •Лекция девятая основы формализации рассуждений с правдоподобным следованием
- •9.1. Понятие о правдоподобном (вероятностном) рассуждении
- •9.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •9.3. Статистическая (апостериорная) вероятность
- •9.4. Исчисление условной вероятности
- •9.5. Принцип обратной дедукции
- •Лекция десятая разновидности индукции
- •10.1. Понятие индукции в традиционной и современной логике
- •10.2. Классификация видов индукции по характеру следования
- •А1 есть в, а2 есть в, ..., Аn есть в; Никаких а, кроме а1, ..., Аn, нет;
- •Каждое а есть в.
- •10.3. Индуктивные методы установления причинных связей
- •Вероятно, а
- •Вероятно, а
- •Видимо, а — причина a
- •Лекция одиннадцатая умозаключения по аналогии гипотеза и гипотетико-дедуктивный метод
- •11.1. Аналогия: виды, приёмы повышения степени вероятности
- •11.2. Гипотеза: виды, построение, этапы организации
- •11.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Теория правдоподобных рассуждений»
- •Список рекомендуемой литературы
- •Часть V основы аргументационного процесса Введение
- •Лекция двенадцатая логические основы аргументации
- •12.1. Основы теории аргументации
- •12.2. Состав аргументации. Структура аргументационного процесса
- •12.3. Доказательство и опровержение в аргументации
- •12.4. Правила и логические ошибки в доказательстве и опровержении
- •Лекция тринадцатая внелогическая составляющая аргументационного процесса
- •13.1. Спор и его виды
- •13.2. Тактика спора
- •13.2. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике
Рассмотрим также другую разновидность непосредственных дедуктивных умозаключений — выводы из суждений посредством их преобразования. В такого рода дедуктивных умозаключениях суждение-заключение получается за счёт определённых, сохраняющих объём сказывания, изменений в логической структуре суждения-посылки, т. е. здесь происходит логический переход от одной формулы к эквивалентной ей другой формуле.
Этот логический переход осуществляется посредством следующих возможных изменений в логической структуре исходного суждения: смены кванторного слова (через изменение количественной характеристики суждения) или смены предицирующей связки (через изменение качественной характеристики суждения) или перемены мест субъекта и предиката.
В рамках позитивной традиционной силлогистики таким умозаключением является обращение (conversio).
Обращение — это непосредственное умозаключение, в котором субъект заключения совпадает с предикатом посылки, а предикат заключения совпадает с субъектом посылки, при этом качественная характеристика заключения остаётся идентичной качественной характеристике посылки.
Схема обращения:
S есть P
___________ (черта означает наличие логического следования).
P есть S
Применяя эту схему к различным формулам простого атрибутивного категорического суждения, получим два типа обращения, различающиеся наличием или отсутствием изменения количества в ходе умозаключения.
Пример
Из истинного общеутвердительного суждения «Все огранённые алмазы — бриллианты» за счёт перестановки местами субъекта и предиката получим истинное общеутвердительное суждение «Все бриллианты являются огранёнными алмазами».
Из истинного же общеутвердительного суждения «Все львы — хищники» посредством обращения получим истинное частноутвердительное суждение «Некоторые хищники — львы».
Нетрудно заметить, что в первом случае суждение формулы SaP отвечает первой модельной схеме (субъект и предикат совпадают по объёму, распределены), поэтому при перестановке терминов местами количественная характеристика не изменяется, т. е. имеет место логическое следование SaP SaP.
Во втором же случае суждение формулы SaP отвечает второй модельной схеме (подчинение объёма субъекта объёму предиката, распределённость субъекта и нераспределённость предиката), поэтому при перестановке терминов местами объём сказывания сохраняется за счёт изменения количественной характеристики, т. е. имеет место логическое следование SaP SiP.
Таким образом, существует два вида обращения: «чистое обращение» и «обращение с ограничением».
Чистым обращением (conversio simplex) называется обращение, дающее заключение с той же количественной характеристикой, что и посылка. Такое обращение имеет место тогда и только тогда, когда S и P исходного суждения либо оба распределены, либо оба не распределены.
Помимо формулы SaP, отвечающей второй модельной схеме, по типу чистого обращения происходит умозаключение из формулы SiP, отвечающей первой модельной схеме, и из формулы SeP (S+, P+).
Пример
Некоторый S- есть P- («Часть студентов — отличники»)
__________________________________________________________________________
Некоторый P- есть S- («Часть отличников — студенты»);
Всякий S+ не есть P+ («Ни один газ не есть твёрдое тело)
__________________________________________________________________________
Всякий P+ не есть S+ («Ни одно твёрдое тело не есть газ).
Обращением с ограничением (conversio per accidens) называется обращение, дающее заключение с иной количественной характеристикой, чем у посылки. Такое обращение имеет место в том случае, если S исходного суждения распределён, а P не распределён, либо не распределён S, но распределён P.
Таким образом, оно осуществляется для формулы SaP по второй модельной схеме (S+, P-) и для формулы SiP по второй модельной схеме (S-, P+).
Пример
Всякий S+ есть P- («Всякая столица является городом»)
___________________________________________________________________________
Некоторый P- есть S+ («Некоторые города — столицы»);
Некоторый S- есть P+ («Часть юристов — прокуроры»)
_________________________________________________________________________
Всякий P+ есть S- («Все прокуроры — юристы).
Применительно к формуле SoP нельзя получить логического следования.
Пример
Из истинного частноутвердительного суждения (вторая модельная схема, S- и P+) «Некоторые живые существа не являются людьми» путём обращения нельзя получить истинного суждения, что означает невозможность осуществления логического следования для данной формулы в целом.