- •В. В. Агафонов логика
- •СодержАние
- •Краткая характеристика дисциплины
- •Место дисциплины в учебном процессе
- •Цели и задачи изучения дисциплины
- •Содержание лекционных занятий
- •1 Предмет и основные понятия логики как науки
- •1.1 Предмет логики
- •1.2 Логическая характеристика процесса познания
- •1.3 Логическая форма. Отношение логического следования
- •1.4 Язык как знаковая система
- •1.4.2 Категориальный анализ языка
- •1.4.3 Функциональный анализ языка
- •2 Понятие как форма мысли и форма познания
- •2.1 Признаки и их виды
- •2.2 Объем и содержание понятия (логическая характеристика)
- •2.3 Виды отношений между понятиями
- •2.4 Обобщение и ограничение понятий
- •2.5 Деление и классификация
- •2.6 Определение (дефиниция)
- •3 Классическая логика высказываний и предикатов
- •3.1 Классическая логика высказываний
- •3.1.2 Таблицы истинности. Виды формул
- •1.3.3 Основные логические отношения
- •1.3.4 Схемы формул и законы логики высказываний
- •3.2 Рассуждения основанные на свойствах логики высказываний
- •3.2.1 Общая характеристика рассуждений, основанных на свойствах пропозициональной логики
- •3.2.2 Условные умозаключения
- •3.2.3 Разделительные умозаключения
- •3.2.4 Леммы
- •3.2.5 Непрямые способы аргументации
- •3.3 Логика предикатов
- •3.3.1 Алфавит логики предикатов
- •3.3.2 Интерпретация и логические отношения в логике предикатов
- •3.3.3 Виды формул в классической логике предикатов первого порядка
- •4 Исчисление высказываний и предикатов
- •4.1 Основные характеристики логических исчислений
- •4.2 Аксиоматическое исчисление высказываний и предикатов
- •4.2.1 Аксиоматическое исчисление высказываний
- •4.2.2 Исчисление предикатов со схемами аксиом
- •4.3 Натуральное исчисление высказываний и предикатов
- •4.3.2 Натуральное исчисление предикатов
- •4.4 Метатеоретические свойства системы исчисления со схемами аксиом и натурального исчисления высказываний
- •4.4.1 Метатеоретические свойства исчисления высказываний
- •4.4.2 Метатеоретические свойства исчисления предикатов со схемами аксиом
- •5 Силлогистика: общие основания
- •5.1 Категорические, реляционные и экзистенциальные суждения
- •5.2 Интерпретация категорических высказываний
- •5.2.2 Модальность суждений
- •5.3 Общая характеристика умозаключений (в традиционной силлогистике). Виды умозаключений
- •5.4 Непосредственные умозаключения
- •6 Силлогистика: простой категорический силлогизм; сложные, сокращенные и сложносокращенные силлогизмы
- •6.1 Общая характеристика простого категорического силлогизма
- •6.2 Правила простого категорического силлогизма
- •6.3 Сокращенные, сложные и сложносокращенные умозаключения
- •7 Правдоподобные рассуждения
- •7.1 Понятие правдоподобного умозаключения
- •7.2 Обратно-дедуктивный метод обоснования гипотез
- •7.3 Индуктивные выводы, их виды и характеристика
- •7.4 Статистические выводы
- •7.5 Выводы по аналогии
- •7.6 Эмпирические методы обоснования индуктивных обобщений
- •8 Проблема, гипотеза и теория как формы развития знания
- •8.1 Проблема и проблемная ситуация
- •8.2 Общая характеристика гипотез
- •8.3 Виды гипотез
- •8.4 Подтверждение и опровержение гипотез
- •8.5 Общая характеристика теорий
- •Содержание практических занятий
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •2 Логический анализ языка
- •1. Язык как знаковая система:
- •2. Понятие и виды знаков:
- •3. Семантические категории языковых выражений:
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •3. Виды отношений между понятиями
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнение по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •11 Силлогистика: непосредственные умозаключения
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •16 Основы аргументации и критики План
- •1. Логическая характеристика аргументации и критики
- •2. Спор
- •Вопросы для самоконтроля
- •Список литературы по теме практического занятия
- •Задания для самостоятельной работы Порядок выбора варианта
- •Пример выполнения задания
- •Варианты заданий Вариант 1 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 2 Дисциплинарный модуль № 1
- •Дисциплинарной модуль № 2
- •Вариант 3 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 4 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 5 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 6 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 7 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 8 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 9 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 10 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 11 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 12 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 13 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 14 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 15 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 16 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 17 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 18 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 19 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 20 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 21 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 22 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 23 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 24 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 25 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 26 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 27 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 28 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 29 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 30 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Перечень вопросов к промежуточной аттестации
- •Рекомендуемая литература Основная литература
- •Дополнительная литература
- •Учебно-методическое пособие Агафонов Владислав Валерьевич логика
- •6 83003, Г. Петропавловск-Камчатский, ул. Ключевская, 35
5.4 Непосредственные умозаключения
Выделяют следующие разновидности непосредственных умозаключений:
– превращение;
– обращение;
– контрапозиция (противопоставление предикату и противопоставление субъекту);
– умозаключение по логическому квадрату.
Пример 12. Непосредственное умозаключение |
||
|
Некоторые вулканы Камчатки – действующие. |
|
|
Некоторые вулканы Камчатки не являются потухшими. |
|
В результате операции превращения меняется качество суждения, но количество остается прежним. Исходное суждение – частноутвердительное (I) превращается в частноотрицательное (O).
В соответствии с этим правильными будут следующие схемы превращений:
1) общеутвердительное в общеотрицательное:
Схема
16.
|
||||
|
A Все S суть P |
|
|
|
|
E Ни один S не суть не-P |
|
|
|
2) общеотрицательное в общеутвердительное:
Схема
17.
|
||||
|
E Ни один S не суть P |
|
|
|
|
A Все S суть не-P |
|
|
|
3) частноутвердительное в частноотрицательное:
Схема
18.
|
||||
|
I Некоторые S суть P |
|
|
|
|
O Некоторые S не суть не-P |
|
|
|
4) частноотрицательное в частноутвердительное:
Схема
19.
|
||||
|
O Некоторые S не суть P |
|
|
|
|
I Некоторые S суть не-P |
|
|
|
Обращение – такое непосредственное умозаключение, в заключении которого субъект посылки становится предикатом, предикат – субъектом (примеры 13, 14). В зависимости от распределенности терминов в посылке различают два вида обращения: 1) обращение с ограничением или приращением и 2) простое (чистое) обращение.
Пример 13. Обращение с ограничением |
|||
|
Все студенты – учащиеся. |
|
|
|
Некоторые учащиеся – студенты. |
|
|
Пример 14. Чистое обращение |
|||
|
Некоторые студенты – спортсмены. |
|
|
|
Некоторые спортсмены – студенты. |
|
|
место в том случае, если оба термина посылки являются распределенными или оба являются нераспределенными. Такого рода обращения возможны с общеутвердительными выделяющими, частноутвердительными и общеотрицательными
суждениями.
Логические схемы правильных простых обращений:
1) общеутвердительное (выделяющее) в общеутвердительное (выделяющее):
Схема
20.
|
||||
|
A Все S суть P |
|
|
|
|
A Все P суть S |
|
|
|
2) частноутвердительное в частноутвердительное:
Схема
21.
|
||||
|
I Некоторые S суть P |
|
|
|
|
I Некоторые P суть S |
|
|
|
3) общеотрицательное в общеотрицательное:
Схема 22. |
||||
|
E Ни один S не суть P |
|
|
|
|
E Ни один P не суть S |
|
|
|
Логические схемы обращений с ограничением или приращением:
1) общеутвердительное в частноутвердительное (с ограничением):
Схема
23.
|
|
Пример 15. Обращение с ограничением |
||||||
|
A Все S суть P |
|
|
|
|
|
Все преступления являются правонарушениями. |
|
|
I Некоторые P суть S |
|
|
|
|
|
Некоторые правонарушения – преступления. |
|
2) частноутвердительное (выделяющее) в общеутвердительное (с приращением):
Схема
24.
|
|
Пример 16. Обращение с приращением |
||||||||
|
I Некоторые S суть P |
|
|
|
|
|
Некоторые музыканты – композиторы. |
|
||
|
A Все P суть S |
|
|
|
|
|
Все композиторы – музыканты. |
|
||
Правило исключения: обращение нельзя производить, если в качестве посылки используется частноотрицательное суждение.
Противопоставление предикату (контрапозиция предикату) – непосредственное умозаключение, в заключении которого субъектом становится термин, противоречащий предикату посылки, а предикатом – субъект посылки. Противопоставление представляет собой последовательно произведенное превращение и обращение. Это означает, что все сказанное выше о превращениях и обращениях будет справедливо и в отношении противопоставлений.
Логические схемы правильных противопоставлений предикату:
1) общеутвердительные в общеотрицательные:
Схема
25.
|
||||
|
A Все S суть P |
|
|
|
|
E Ни один не-P не суть S |
|
|
|
2) общеотрицательные в частноутвердительные:
Схема
26.
|
||||
|
E Ни один S не суть P |
|
|
|
|
I Некоторые не-P суть S |
|
|
|
3) частноотрицательные в частноутвердительные:
Схема
27.
|
||||
|
O Некоторые S не суть P |
|
|
|
|
I Некоторые не-P суть S |
|
|
|
Правило исключения: если в качестве посылки используется частноутвердительное суждение, то произвести контрапозицию невозможно!
Противопоставление субъекту (контрапозиция субъекту) – это непосредственное умозаключение, предполагающее последовательное применение обращения и превращения.
Логические схемы правильных противопоставлений субъекту:
1) общеутвердительные в частноотрицательные:
Схема
28.
|
||||
|
A Все S суть P |
|
|
|
|
O Некоторые P не суть не-S |
|
|
|
2) общеотрицательные в общеутвердительные:
Схема
29.
|
||||
|
E Ни один S не суть P |
|
|
|
|
A Все P суть не-S |
|
|
|
3) частноутвердительные в частноотрицательные:
Схема
30.
|
||||
|
I Некоторые S суть P |
|
|
|
|
O Некоторые P не суть не-S |
|
|
|
Учитывая отношения между категорическими суждениями А, Е, I и О, которые выражаются при помощи логического квадрата, а также основываясь на знании истинности или ложности соответствующих суждений, можно строить следующие виды умозаключений по логическому квадрату:
1. Непосредственные умозаключения, основанные на свойствах противоречия (контрадикторности):
а) из истинности общеутвердительного следует ложность частноотрицательного суждения:
Схема
31.
|
||||
|
A Все S суть P |
|
|
|
|
|
|
|
|
б) из истинности общеотрицательного суждения следует ложность частноутвердительного:
Схема
32.
|
||||
|
E Ни один S не суть P |
|
|
|
|
|
|
|
|
в) из истинности частноутвердительного следует ложность общеотрицательного:
Схема
33.
|
||||
|
I Некоторые S суть P |
|
|
|
|
|
|
|
|
г) из истинности частноотрицательного суждения следует ложность общеутвердительного:
Схема
34.
|
||||
|
O Некоторые S не суть P |
|
|
|
|
Неверно, что все S суть P |
|
|
|
д) из ложности общеутвердительного следует истинность частноотрицательного:
Схема
35.
|
||||
|
Неверно, что все S не суть P |
|
|
|
|
O Некоторые S не суть P |
|
|
|
е) из ложности общеотрицательного следует истинность частноутвердительного:
Схема
36.
|
||||
|
Неверно, что ни один S не суть P |
|
|
|
|
|
|
|
|
ж) из ложности частноутвердительного следует истинность общеотрицательного:
Схема
37.
|
||||
|
Неверно, что некоторые S суть P |
|
|
|
|
E Ни один S не суть P |
|
|
|
з) из ложности частноотрицательного следует истинность общеутвердительного:
Схема
38.
|
||||
|
Неверно, что некоторые S не суть P |
|
|
|
|
A Все S суть P |
|
|
|
2. Непосредственные умозаключения, основанные на свойствах контрарности (противоположности):
а) из истинности общеутвердительного следует ложность общеотрицательного:
Схема
39.
|
||||
|
A Все S суть P |
|
|
|
|
Неверно, что ни один S не суть P |
|
|
|
б) из истинности общеотрицательного следует ложность общеутвердительного:
Схема
40.
|
||||
|
E Ни один S не суть P |
|
|
|
|
Неверно, что все S суть P |
|
|
|
3. Непосредственные умозаключения, основанные на свойствах субконтрарности (подпротивоположности):
а) из ложности частноутвердительного следует истинность частноотрицательного:
Схема
41.
|
||||
|
Неверно, что некоторые S суть P |
|
|
|
|
O Некоторые S не суть P |
|
|
|
б) из ложности частноотрицательного следует истинность частноутвердительного:
Схема
42.
|
||||
|
Неверно, что некоторые S не суть P |
|
|
|
|
I Некоторые S суть P |
|
|
|
4. Умозаключения, основанные на свойствах подчинения:
а) из истинности общеутвердительного суждения следует истинность частноутвердительного:
Схема
43.
|
||||
|
A Все S суть P |
|
|
|
|
I Некоторые S суть P |
|
|
|
б) из истинности общеотрицательного следует истинность частноотрицательного:
Схема
44.
|
||||
|
E Ни один S не суть P |
|
|
|
|
O Некоторые S не суть P |
|
|
|
в) из ложности частноутвердительного следует ложность общеутвердительного:
Схема
45.
|
||||
|
Неверно, что некоторые S суть P |
|
|
|
|
Неверно, что все S суть P |
|
|
|
г) из ложности частноотрицательного суждения следует ложность общеотрицательного:
Схема
46.
|
||||
|
Неверно, что некоторые S суть P |
|
|
|
|
Неверно, что все S суть P |
|
|
|

Неверно,
что некоторые S
не
суть P
Неверно,
что некоторые S
суть
P
Неверно,
что ни один S
не
суть
P
Неверно,
что некоторые S
суть
P