
- •Часть 2. Практикум по формальной логике
- •Дидактический план Предмет и значение логики. Понятие. Суждение. Формально-логические законы. Умозаключение. Логические основы аргументации. Формы развития научного знания. Литература
- •Тематический обзор* Введение
- •1 Предмет и значение логики
- •2 Понятие
- •Свойства понятия
- •Признаки
- •Логические приемы образования понятий
- •Функции понятия
- •Логическая структура понятия
- •Логическая структура операции деления понятий
- •Виды деления
- •Виды классификации
- •Особенности классификации
- •3 Суждения
- •По содержанию предиката
- •По качеству
- •По количеству
- •Отношения между суждениями
- •Правила логического квадрата
- •Особенности логического анализа сложных суждений
- •Алгоритм составления таблиц истинности
- •Виды дизъюнкции
- •Строгая (сильная) дизъюнкция
- •Нестрогая (слабая) дизъюнкция
- •Логическая природа
- •Истинность условных суждений
- •Интерпретация таблицы истинности импликации
- •Логическая природа
- •Истинность эквивалентных суждений
- •Схемы и выражения импликации
- •Схемы и выражения эквиваленции
- •Основания принятия
- •Степень обоснованности
- •Деонтические требования к нормативно-правовой системе
- •Основные группы формул логики высказываний
- •4 Формально-логические законы
- •Специфика законов логики
- •Требования законов логики к мышлению
- •Виды законов традиционной логики
- •Действие закона к несовместимым суждениям
- •Роль закона в различных отраслях знаний
- •Требования закона тождества
- •Формула
- •Действие закона в различных формах мысли
- •Требование закона достаточного основания
- •Роль закона
- •5 Умозаключения
- •Классификация умозаключений по направлению логического следования
- •Умозаключения
- •Классификация умозаключений по строгости правил вывода
- •Общая характеристика
- •Правила терминов
- •Правила посылок
- •Общие правила
- •I фигура
- •II фигура
- •III фигура
- •1. Вывод из двух частных посылок.
- •3. Одна из посылок – частное суждение, а заключение общее суждение.
- •5. Вывод по 1-й фигуре в случае, когда меньшая посылка – отрицательное суждение.
- •Свойства отношений
- •Правила умозаключений с отношениями
- •Механизм образования энтимем
- •Механизм восстановления силлогизма
- •Умозаключение возможно по двум фигурам: первой и второй.
- •Формулировка силлогизма по первой фигуре:
- •Сложные силлогизмы (полисиллогизмы)
- •Сложносокращенные силлогизмы
- •Прогрессивный сорит (гоклениевский)
- •Регрессивный сорит (аристотелевский)
- •Эпихейрема
- •Прямые умозаключения
- •Непрямые умозаключения
- •Чисто разделительное умозаключение
- •Структура
- •Утверждающий модус (modus ponens)
- •Отрицательный модус (modus tollens)
- •Утверждающе-отрицающий модус (modus ponendo tollens)
- •Отрицающе-утверждающий модус (modus tollendo ponens)
- •Классификация дилемм
- •Индукция
- •Свойства причинных связей
- •Структура умозаключений по аналогии
- •По характеру выводного знания (по степени достоверности вывода)
- •По характеру переносимой информации
- •Условия состоятельности аналогий
- •Способы преодоления пробелов
- •Требования к использованию аналогии в праве
- •6 Логические основы аргументации
- •Характерные черты аргументации
- •Субъект-1 аргументации
- •Автор-1
- •Получатель-1
- •Получатель-2 Автор-2 Субъект-2 аргументации Другие субъекты
- •Структура обоснования
- •7 Формы развития научного знания
- •Сущность гипотезы
- •Существенные признаки гипотезы
- •Логическая структура гипотезы
- •Различия между научной гипотезой и версией
- •Особенности проблемы как задачи особого типа
- •Структура теории
- •Этапы выработки управленческого решения
- •Логика юнита 2
- •Часть 2. Практикум по формальной логике
Особенности логического анализа сложных суждений
1. В простых суждениях, входящих в состав сложных, учитываются только их истинностные значения.
2. Истинностные значения сложных суждений зависят от истинностных значений составляющих их простых суждений и характера логических союзов.
3. Внутренняя (субъектно-предикатная) структура простых суждений, а также их качество и количество не учитываются.
4. Надо учитывать несовпадение логических и грамматических форм: сложное суждение может быть выражено простым распространенным предложением.
5. Истинное значение сложных суждений определяют путем составления таблиц истинности.
Алгоритм составления таблиц истинности
Кст
А
В
С
1
2
n
1
и
и
и
2
и
и
л
3
и
л
и
4
и
л
л
5
л
и
и
6
л
и
л
7
л
л
и
8
л
л
л
Количество строк в таблице определяется
по формуле Кст=2п, где
2
- количество истинностных значений
каждого простого суждения (истина или
ложь), n – количество
простых суждений. В столбцах таблицы
1, 2,…, n проставляются
формулы сложных суждений, состоящих
из А, В, С, а в строках, под формулами –
истинностные значения формулы для
каждой возможной комбинации из 2n.
Схема 3.9. Соединительные (конъюнктивные) суждения
Соединительные суждения – сложные суждения, состоящие из нескольких простых, связанных логическим союзом «и».
Способы выражения логического союза
«И» в естественном языке: а) с помощью
союзов: «и», «а», «но», «да», «хотя»,
«зато», «однако», «не только…, но и…»,
«как и…», «в то время как…», «вместе»,
«несмотря на…»; б) с помощью знаков
препинания: запятой, точки с запятой,
точки, тире.
Символические обозначения: АΛВ,
А•В, А&В.
Виды соединительных суждений,
выраженные в простом распространенном
предложении.
1. Простой субъект и сложный предикат.
Например: «Логика (S)
изучает законы (Р1), принципы (Р2)
и приемы (Р3) правильного мышления».
(S- Р1)
Λ (S- Р2)
Λ ( S-Р3)
2. Сложный субъект и простой предикат.
Например: «Логика (S1),
риторика (S2) и
основы аргументации (S3)
зародились при переходе от мифологического
восприятия действительности к ее
научному пониманию (Р)».
(S1-Р) Λ
(S2-Р) Λ
(S3-Р)
3. Сложный субъект и сложный предикат.
Например: «Чувство (S1)
и разум (S2) необходимо
присущи воле, ибо только посредством
них я знаю, чего я должен хотеть или не
хотеть (Р1), что я должен делать
или не делать (Р2)» (Л. Фейербах).
(S1- Р1) Λ
( S1- Р2) Λ
( S2- Р1) Λ
( S2- Р2)
Истинность соединительных суждений
А
В
АΛВ
и
и
и
и
л
л
л
и
л
л
л
л
Соединительное суждение истинно лишь
при истинности всех его составляющих
суждений (логических переменных).
Схема 3.10. Разделительные (дизъюнктивные) суждения
Разделительные суждения – сложные суждения, состоящие из нескольких простых, связанных логическим союзом «или».