
- •Часть 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. Практикум по формальной логике
Атрибутивные суждения отражают
связь между предметом и его признаком,
поэтому их называют также суждениями
свойства. Структура суждения: S
есть (не есть) Р. Субъект (S)
суждения представляет предмет, о котором
нечто утверждается или отрицается, а
предикат (Р) выражает, что именно
утверждается или отрицается о субъекте.
Субъект и предикат могут быть простыми
или сложными (S1, S2
и Р1, Р2). Например: 1) S есть
Р – «Россия (S) есть
федеративное государство (Р)»; 2) S
(S1, S2, S3)
есть Р – «Права авторов (S1),
изобретателей (S2) и
рационализаторов (S3)
охраняются государством (Р)»; 3) S
есть Р (Р1, Р2, Р3) - «Никто (S)
не может быть подвергнут произвольному
аресту (Р1), задержанию (Р2) или изгнанию
(Р3)».
Реляционные суждения отражают
отношения между предметами (суждения
с отношениями). Структура суждения: xPy
или R (x, y),
где x и y
– члены отношения, R –
отношение между ними. Например:
«Письменность (x)
возникла раньше книгопечатания (y)».
Экзистенциальные суждения отражают
факт существования или несуществования
предмета. Структура: S
есть Р ($x
– существует такой x).
Например: «Есть женщины в русских
селеньях…»
По содержанию предиката
Утвердительные суждения: S
есть Р.
Отрицательные суждения: S
не есть Р.По качеству
Единичные суждения: субъект
представляет собой единичный предмет.
Множественные суждения: хотя бы
один из субъектов является классом
предметов.По количеству
В своих работах по логике В.Н. Брюшинкин среди атрибутивных суждений выделяет экзистенциальные и неэкзистенциальные суждения. К экзистенциальным суждениям он относит такие, в которых прямо говорится о существовании или несуществовании объектов, входящих в объем субъекта суждения. Например: «Есть проблема», «Проблем не существует» - экзистенциальные; «Эта проблема не разрешима» - неэкзистенциальные.
Схема 3.3. Общая классификация простых суждений
Схема 3.4. Виды категорических суждений
Категорические суждения – это атрибутивные множественные суждения с точно определенными количеством и качеством.
Количество суждения – логическая характеристика суждения, раскрывающая, в каком объеме взят субъект суждения (полностью или частично). Количественные характеристики суждения выражаются кванторами общности ( - «все», - «ни один») и существования ($ - «некоторые»).
Качество суждения – логическая характеристика суждения, выражающая наличие утверждения или отрицания в связке.
А - общеутвердительные: общие по
количеству и утвердительные по качеству.
Например: «Все караси есть рыбы», где:
«все» - квантор общности;
«караси» - субъект; «рыбы» - предикат;
«есть» - связка.
Е - общеотрицательные: общие по
количеству и отрицательные по качеству.
Например: «Ни один лев не есть травоядное
животное», где:
«ни один» - квантор общности;
«лев» - субъект;
«травоядные животные» - предикат.
I - частноутвердительные:
частные по количеству и утвердительные
по качеству.
Например: «Некоторые юристы - филателисты»,
где:
«некоторые» - квантор существования;
«юристы» - субъект;
«филателисты» - предикат;
«-» - связка, вместо которой можно
поставить классическое «есть».
О - частноотрицательное: частные
по количеству и отрицательные по
качеству.
Например: «Некоторые студенты не
являются спортсменами», где:
«некоторые» - квантор существования;
«студенты» - субъект;
«спортсмены» - предикат;
«не являются» - связка.
P
S
Некоторые S не есть Р
Схема 3.5. Отношения между категорическими суждениями в логическом квадрате
А – общеутвердительное суждение SaP
E – общеотрицательное суждение SeP
I – частноутвердительное суждение SiP
О – частноотрицательное суждение SoP