- •Предисловие
- •Часть 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. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
U
имя
S
P
Родовое
Р ис. 6
Рис. 6
Данная схема фиксирует отношение соподчинения (координации). В таком случае объёмы имён-терминов, подчинённые объёму некоторого подразумевающегося более общего (родового), но не универсального имени, исключают друг друга. Областью высказывания является констатация отсутствия общих для S и P элементов (нулевой объём сказывания).
Пример
В отношении соподчинения находятся термины высказываний: «Ни одна берёза не есть клён» (где S — «берёза»; P — «являющийся клёном»; родовое имя, например, «лиственное растение», U — «растение»).
Для частнотрицательных (О) суждений в качестве основных существуют следующие модельные схемы (рис. 7):
I II
U
S
P
U
S
P
Рис. 7
Пример
Заштрихованная на первой схеме часть объёма S, находящегося в отношении перекрещивания с P, фиксирует выражаемую различными по смыслу высказываниями («Некоторые птицы не являются перелётными», «Существуют несъедобные растения», «Кое-кто из спортсменов не является любознательным» и т. п.) информацию о тех элементах S, которые не имеют признака P.
То же самое имеет место и на второй модельной схеме, где S и P находятся в отношении подчинения: «Некоторые деревья не являются клёнами»; «Некоторые учащиеся не являются студентами высших учебных заведений»; «Большая часть живых существ планеты Земля не является млекопитающими»; «Существуют юристы не являющиеся прокурорами» и т. п.
Как видно на рассмотренных выше модельных схемах, объём сказывания любого осмысленного суждения обязательно либо полностью не совпадает (в таком случае штриховка на модельной схеме отсутствует, поскольку областью сказывания является нулевой класс), либо полностью совпадает (штриховка на модельной схеме наличествует по всему объёму термина), либо частично совпадает (на модельной схеме имеется штриховка только по части объёма термина) с объёмом термина.
В случае полного совпадения или полного несовпадения объёма сказывания с объёмом термина, данный термин называется распределённым, что фиксируется знаком «+».
Распределённым считается термин, объём которого либо полностью входит в объём другого термина, либо полностью исключается из его объёма.
В случае частичного совпадения объёма сказывания с объёмом термина данный термин называется нераспределённым, что фиксируется знаком «-».
Нераспределённым считается термин, объём которого частично входит в объём другого термина.
Так для суждения SaP (общеутвердительного) по первой модельной схеме является распределёнными как S, так и P (запишем это как S+, P+); на второй модельной схеме S распределён (соответствующая запись — S+), а P не распределён (P-).
Для высказывания SiP (частноутвердительного) распределённым является P второй модельной схемы (P+) и нераспределёнными являются P первой модельной схемы и S первой и второй модельных схем.
Для высказывания SeP (общеотрицательного) распределёнными являются и S, и P, поскольку данные понятия находятся исключительно в отношении соподчинения.
Для высказывания SoP (частноотрицательного) распределён P как в первой, так и во второй модельных схемах, нераспределённым же в них оказывается S.
Результат анализа модельных схем традиционной силлогистики может быть выражен таблицей (рис. 8).
Вид высказывания |
Распределённость терминов в суждении |
Изображение посредством модельных схем |
|
S |
P |
||
Общеутвердительное (SaP)
|
+ |
+ — |
U
S+,
P+
U P- S+ I . II. |
Частноутвердительное (SiP)
|
— |
— + |
U
S-
P-
U S- P+ I . II. |
Общеотрицательное (SeP)
|
+ |
+ |
U
S+
P+ |
Частноотрицательное (SoP)
|
— |
+ |
U
S-
P+
U S- P+ I . II.
|
Рис. 8
Лекция четвёртая
УМОЗАКЛЮЧЕНИЯ ПОЗИТИВНОЙ
ТРАДИЦИОННОЙ СИЛЛОГИСТИКИ
4.1. Отношения между силлогистическими формулами простых
атрибутивных категорических суждений
Логическое отношение следования (вывода) между силлогистическими формулами простых атрибутивных категорических суждений традиционной силлогистики касается только тех из этих формул, которые имеют в своей логической структуре общие термины, т. е. являются сравнимыми.
Пример
Несравнимы суждения: «В огороде бузина» и «В Киеве дядька»; «Многие пирожки вкусны» и «Некоторые здания являются небоскрёбами». Между такого рода силлогистическими формулами логическое следование за отсутствием общих терминов невозможно.
Сравнимые формулы в силлогизмах играют роль посылок и заключений и могут быть либо совместимыми (могущими являться одновременно истинными), либо несовместимыми (не могущими являться одновременно истинными). При этом силлогистическими формулами простых атрибутивных категорических суждений в традиционной силлогистике являются формулы: 1) SaP, SiP, SeP, SoP, которые могут обозначаться заглавными латинскими буквами (A, B, C, D и т. д.), а также формулы, выражающие их отрицание 2) SaP, SiP, SeP, SoP (A, B, C, D и т. д.), читающиеся «неверно, что все S есть P» и т. д.
Теперь определим применительно к простым категорическим атрибутивным суждениям, выраженным посредством формул, понятие логического следования.
Логическое следование между формулами А и В существует тогда и только тогда, когда каждая модельная схема, на которой истинна выступающая посылкой формула А, является модельной схемой, на которой истинна выступающая заключением формула В.
Наличие логического следования из одной формулы-посылки к другой формуле-заключению записывается А В. Таким образом, силлогистика есть теория дедуктивных (т. е. таких, у которых между посылками и заключением имеется отношение логического следования) умозаключений из категорических атрибутивных суждений на основе их субъектно-предикатной структуры.
В дальнейшем будем иметь в виду, что умозаключения на основе категорических суждений подразделяют на два типа: 1) непосредственные дедуктивные умозаключения, т. е. выводы из одной посылки, и 2) собственно силлогизмы (категорический силлогизм, сокращённый силлогизм (энтимема), сложные (полисиллогизмы) и сложносокращённые силлогизмы (сориты и эпихейрема). Непосредственные дедуктивные умозаключения подразделяются: 1) на выводы на основе отношения между суждениями по значениям истинности (по «логическому квадрату»); 2) выводы из суждений посредством их преобразования.