- •Рецензенты:
- •1. Ерусланова р. И., кандидат исторических наук, профессор, директор Филиала ргсу в г. Чебоксары.
- •Содержание
- •Предисловие
- •Глава 1. История логики
- •1.1. Античный этап логики
- •1.2. Развитие логики в Новое Время
- •Глава 2. Логика как наука
- •2.1. Роль мышления в познании
- •2.2. Предмет и значение логики
- •Глава 3. Логика и язык права
- •3.1. Язык логики
- •3.2. Язык права
- •Глава 4. Логические формы и законы
- •4.1. Логические формы (формы мышления)
- •4.2. Логические законы (законы мышления)
- •Глава 5. Понятие
- •5.1. Понятие как форма мышления
- •5.2. Содержание и объем понятия
- •5.3. Виды понятий
- •5.4. Отношения между понятиями
- •Глава 6. Логические операции с понятиями
- •6.1. Обобщение и ограничение понятий
- •6.2. Определение понятий
- •4. Определение не должно быть отрицательным.
- •6.3. Деление понятий
- •1. Деление должно быть соразмерным
- •2. Деление должно производиться только по одному основанию
- •3. Члены деления должны исключать друг друга
- •4. Деление должно быть непрерывным
- •6.4. Операции с классами понятий
- •Глава 7. Суждение
- •7.1. Простые суждения
- •7.2. Классификация категорических суждений
- •7.3. Выделяющие и исключающие суждения
- •7.4. Распределенность терминов в суждениях
- •Глава 8. Сложные суждения
- •8.1. Соединительные (конъюнктивные) суждения
- •1. Соединительным, или конъюнктивным называют суждение, состоящее из нескольких простых, связанных логической связкой «и».
- •8.2. Разделительные (дизъюнктивные) суждения
- •8.3. Условные (импликативные) суждения
- •8.4. Эквивалентные (с двойной импликацией) суждения
- •8.5. Сложные суждения и толкование норм
- •Глава 9. Отношения между суждениями
- •9.1. Логические отношения между простыми суждениями
- •9.2. Отношения между сложными суждениями
- •3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего, подчиненное всегда будет истинным.
- •Глава 10. Модальные суждения
- •10.1. Эпистемическая модальность
- •10.2. Деонтическая модальность
- •10.3. Алетическая модальность
- •Глава 11. Вопросно-ответные ситуации
- •11.1. Логическая характеристика вопросов
- •11.2. Логическая характеристика ответов
- •1. Истинные и ложные ответы.
- •Типология вопросов и ответов
- •Глава 12. Умозаключение
- •12.1. Виды умозаключений
- •12.2. Простое дедуктивное умозаключение
- •12.3. Непосредственное умозаключение
- •1. Превращение
- •2. Обращение
- •3. Противопоставление предикату
- •4. Умозаключения по логическому квадрату
- •12.4. Простой категорический силлогизм
- •12.5. Умозаключение из суждений с отношениями
- •Глава 13. Дедуктивные умозаключения.
- •13.1. Чисто условное умозаключение
- •13.2. Условно-категорическое умозаключение
- •13.3. Разделительно-категорическое умозаключение
- •13.4. Условно-разделительное умозаключение
- •13.5. Сокращенный силлогизм (энтимема)
- •Глава 14. Индуктивные умозаключения
- •14.1. Полная индукция
- •14.2. Неполная индукция
- •14.3. Методы научной индукции
- •1. Метод сходства
- •2. Метод различия
- •3. Соединенный метод сходства и различия
- •4. Метод сопутствующих изменений
- •5. Метод остатков
- •14.4. Статистические обобщения
- •Глава 15. Умозаключения по аналогии
- •15.1. Понятие аналогии, ее виды
- •15.2. Условия состоятельности выводов по аналогии
- •15.3. Роль аналогии в науке и правовом процессе
- •Глава 16. Формы развития знания
- •16.1. Понятие и виды гипотез.
- •16.2. Построение гипотезы
- •16.3. Проверка гипотезы
- •16.4. Доказательство гипотез
- •16.5. Теория как форма и система знания
- •Глава 17. Логические основы аргументации
- •17.1. Аргументация и доказательство
- •17.2. Состав аргументации: субъекты, структура
- •1. Субъекты аргументации
- •1. Структура аргументации
- •17.3. Способы аргументации: обоснование и критика
- •1. Обоснование тезиса
- •2. Критика тезиса
- •17.4. Правила и ошибки в аргументации
- •1. Правила и ошибки по отношению к тезису
- •2. Правила и ошибки по отношению к аргументам
- •3. Правила и ошибки демонстрации
- •17.5. Поля аргументации
- •1. Понятие и состав полей аргументации
- •Заключение
- •Глоссарий
- •Рекомендуемая литература
- •Э.Г. Скворцов введение в логику
- •428027, Г. Чебоксары, ул. Хузангая, 20
- •428000, Г. Чебоксары, пр. Ленина, 12б, офис 226
7.2. Классификация категорических суждений
Атрибутивные (или категорические) суждения делятся по качеству, по количеству, или по объединенной классификации.
А. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Утвердительное и отрицательное суждения различаются качеством связки.
Например, «Автором произведения признается гражданин Н» – утвердительное суждение. Логическая схема утвердительного суждения «S есть Р». «Обвиняемый не обязан доказывать свою невиновность». Логическая схема отрицательного суждения – «S не есть Р».
Иногда в анализе рассуждений возникает необходимость изменять языковую форму выражения суждения, с тем чтобы привести его в соответствие с логической структурой «S есть (не есть) Р». Например, суждение «Обвиняемый не обязан доказывать свою невиновность» может быть выражено следующим образом: «Обвиняемый (S) не есть (связка) лицо, обязанное доказывать свою невиновность (Р)».
Б. Суждения по количеству делятся на единичные, частные и общие.
Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете.
Схемы единичных суждений: «Это S есть Р» и «Это S не есть Р».
Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса.
Схемы частных суждений: «Некоторые S суть Р» и «Некоторые S не суть Р».
Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса. Общие суждения формируются на основе единичных и частных суждений.
Схемы общих суждений: «Все S суть Р» и «Ни одно S не есть Р».
В. Объединенная классификация (по количественно-качественной характеристике):
Общеутвердительное суждение – это суждение, общее по количеству и утвердительное по качеству. Схема общеутвердительного суждения «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» – качество суждения.
Общеотрицательное суждение – суждение, общее по количеству и отрицательное по качеству. Схема общеотрицательного суждения «Ни одно S не есть Р». Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» – качество суждения.
Частноутвердительное суждение – суждение, частное по количеству и утвердительное по качеству. Схема этих суждений «Некоторые S суть Р». Количество суждений характеризует кванторное слово «некоторые», качество – утвердительная связка, выраженная словом «суть».
Частноотрцательное суждение – суждение, частное по количеству и отрицательное по качеству. Это суждение имеет схему «Некоторые S не суть Р». Кванторное слово «некоторые» указывает на количество, отрицательная связка «не суть» – на его качество.
В логике принято сокращенное обозначение суждений следующими буквами: А – общеутвердительное, Е – общеотрицательное, I – частноутвердительное, О – частноотрицательное.
На языке логики предикатов их записывают следующим образом:
А (Все S суть Р): х(S(x)→Р(х)) читается: для всех х, если х присуще свойство S, то х присуще свойство Р. Например: «Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р)».
Е (Ни одно S не есть Р): х(S(x)→ ┐Р(х)) читается: ни одному х, которому присуще свойство S, не присуще свойство Р. Например: «Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)».
I (Некоторые S суть Р): x(S(x)/\Р(х)) читается: существуют х, которым присуще свойство S и свойство Р. Например: «Некоторые приговоры суда (S) являются обвинительными (Р)».
О (Некоторые S не суть Р): x(S(x)/\ ┐Р(х)) читается: существуют х, которым присуще свойство S и не присуще свойство Р. Например: «Некоторые приговоры суда (S) не являются обвинительными (Р)».