- •Глава 1 предмет и 31-гачение логики
- •§1. Роль мышления в познании
- •§ 2. Понятие о форме и законе мышления Форма мышления
- •§ 3. Основные логические законы
- •§ 4. Язык логики
- •§ 5. История логики (краткий очерк)
- •§ 6.Значение логики
- •§ 1. Понятие как форма мышления Общая характеристика понятия
- •§ 2. Содержание и объем понятия
- •§ 3.Виды понятий
- •§ 4. Отношения между понятиями
- •§1. Обобщение и ограничение понятий
- •§ 2. Определение понятий Сущность и значение определения
- •1. Определение должно быть соразмерным.
- •2. Определение не должно заключать в себе круга.
- •3. Определение должно быть ясным.
- •2 От греческого — «то же самое слово».
- •§ 3. Деление понятий Сущность деления
- •2. Деление должно производиться только по одному основанию.
- •§ 4. Операции с классами
- •Глава IV суждение
- •§ 1. Суждение как форма мышления
- •§ 2. Простые суждения Виды и состав простых суждений
- •§3. Сложные суждения
- •1. Соединительные (конъюнктивные) суждения.
- •2. Разделительные (дизъюнктивные) суждения.
- •3. Условные (импликативные) суждения.
- •§ 4. Логические отношения между суждениями
- •2. Частичная совместимость характерна для суждений I и о, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •1. Противоположными (контрарными) являются суждения а и е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
- •2. Противоречащими (контрадикторными) являются суждения Аи о, е и I, которые одновременно не могут быть ни истинными, ни ложными.
- •§5. Модальность суждений 1я Понятие и виды модальности
- •1. Эпистемическая модальность
- •2) Проблематичные суждения — это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности.
- •2. Деонтическая модальность суждений
- •1) Правообязывающие нормы формулируют с помощью слов:
- •2) Правозапрещающие нормы формулируют с помощью слов:
- •1. Деонтическая непротиворечивость проявляется в том, что система права исключает деонтически несовместимые нормы. К
- •3. Алетическая модальность
- •1) Логическая модальность
- •2) Фактическая модальность
- •Глава V логика вопросов и ответов
- •§1.Виды вопросов
- •1. Семантика вопросов.
- •1) Правильно поставленным, или корректным, считается вопрос, предпосылка которого представляет собою истинное непротиворечивое знание.
- •2. Функции вопросов.
- •3. Структура вопросов.
- •1) Простым называют вопрос, не включающий в качестве составных частей других вопросов.
- •4. Отношение к обсуждаемой теме.
- •§ 2. Виды ответов
- •§1. Умозаключение как форма мышления. Виды умозаключений
- •§ 2. Непосредственные умозаключения
- •1. Превращение.
- •2. Обращение.
- •3. Противопоставление предикату.
- •4. Умозаключения по логическому квадрату.
- •§3. Простой категорический силлогизм Состав простого категорического силлогизма
- •1. Вывод из двух частных посылок.
- •2. Вывод по 1-й фигуре, в которой ббльшая посылка — частное суждение.
- •3. Одна из посылок — частное суждение, заключение — общее суждение.
- •5. Вывод по 1-й фигуре, в которой меньшая посылка — отрицательное суждение.
- •§ 4. Умозаключения из суждений с отношениями
- •Глава VII
- •§1. Чисто условное и условно-категорическое умозаключения
- •§ 2. Разделительно-категорическое умозаключение
- •§ 3. Условно-разделительное умозаключение
- •§ 4. Сокращенный силлогизм (энтимема)
- •§ 5. Сложные и сложносокращенные силлогизмы
- •§ 6. Понятие о логике высказываний
- •Глава VIII индуктивные умозаключения
- •§ 1. Полная индукция
- •§ 2. Неполная индукция. Популярная индукция
- •§ 3. Научная индукция
- •1. Индукция методом отбора
- •2. Индукция методом исключения
- •1. Метод сходства
- •2. Метод различия
- •3. Соединенный метод сходства и различия
- •4. Метод сопутствующих изменений
- •5. Метод остатков
- •Глава IX умозаключения по аналогии
- •§ 1. Понятие аналогии
- •§ 2. Виды аналогии
- •§ 3. Условия состоятельности выводов по аналогии
- •§ 4. Роль аналогии в науке и правовом процессе
- •§ 1. Аргументация и доказательство
- •§ 2. Состав аргументации: субъекты, структура Субъекты аргументации
- •§ 3. Способы аргументации: обоснование и критика
- •2. Косвенным называют обоснования тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений.
- •1. Деструктивная критика
- •2. Конструктивная критика
- •3. Смешанная критика
- •§ 4. Правила и ошибки в аргументации
- •1. Правила и ошибки по отношению к тезису
- •2. Правила и ошибки по отношению к аргументам
- •3. Правила и ошибки демонстрации
- •§ 5. Поля аргументации 1. Понятие и состав полей аргументации
- •2. Согласование полей аргументации
- •§ 1. Понятие и виды гипотез. Версия Понятие гипотезы
- •§ 2. Построение гипотезы (версии)
- •§ 3. Проверка гипотезы
- •§ 4. Способы доказательства гипотез
- •Вопрос 107
- •Глава I. Предмет и значение логики
3. Алетическая модальность
Aлemuчecкaя\ модальность — это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Суждения, которыми мы оперируем, принимаются как логически значимые, т.е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающими принятие суждений, выступают либо структурно-логические характеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обусловленности, или детерминированности суждений предопределяют соответствующие типы модальностей: 1) логическую модальностьи 2)фактическую модальность.
1) Логическая модальность
Логическая модальность это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и)относят суждения, выражающие законы логики; к логически ложным(L-л) — внутренне противоречивые суждения. Например, суждение р v"l pявляется логически истинным, ибо выражает закон исключенного третьего — какое бы суждение ни было подставлено вместо р,выражение р v"l pвсегда будет истинным высказыванием. Соответственно всегда ложным будет суждение Ч (р-^р), как противоречащее закону тождества.
Логически истинные суждения вместе с логически ложными (L-и vL-л) образуют класс логически детерминированныхсуждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют классфактически детерминированныхсуждений: F-и v F-л.
2) Фактическая модальность
Фактическая модальность связана с объективной, или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. Пример такого суждения: «Эйфелева башня находится в Париже». К фактически ложным (F-л) относятся суждения, в ко-
Термин «элегический» греческого происхождения, означает «истинный». 103
торых связь между терминами не соответствует действительности. К примеру: «Ни одно млекопитающее не живет в воде».
Объективная устойчивость и интенсивность реальных связей между предметами находит свое выражение в фактической модальности суждений с помощью алетических модальных понятий необходимостиислучайности.
Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки.Например: «Сумма внутренних углов треугольника равна 180°». В естественном языке такие суждения нередко выражают с помощью слов «необходимо», «обязательно», «непременно» и др. В логике для суждений необходимости принято выражение: «S необходимо есть (не есть) Р». Всимволическом языке для понятия необходимости общепринят знак D,который называют оператором необходимости.
Суждения необходимости могут быть истинными, например:
«Кислород необходим для поддержания жизни» (Dp),но они могут быть и ложными, например: «Вода не кипит при 100°С в нормальных условиях» (D1р). Вместе они составляют класс фактически необходимых суждений (Dp v Dlр)). Все остальные фактические суждения относятся кслучайным.
Фактически случайные — это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями.Например, суждение «Наполеон умер 5 мая 1821 года» является фактически случайным, ибо смерть Наполеона могла наступить как до, так и после этой даты.
Поскольку класс случайных суждений является дополнением к классу необходимых, постольку случайность можно определить через отрицание необходимости: к случайным относятся суждения, которые не являются необходимым (1 Dpл Ч Dl р).
Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий — возможность и невозможность.
Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений.Например: «В Южной Америке в этом году возможно землетрясение» или другое суждение: «Футбольная команда А может выиграть матч у команды В». Это означает, что в обоих случаях не исключаются противоположные исходы — землетрясения в Южной Америке в
104
этом году может не быть; команда А может не выиграть матч у команды В.
В естественном языке показателями суждений возможности являются слова: возможно, может быть, не исключается, допускается и другие, когда они употребляются в качестве сказуемых (а не вводных слов).
В логике для суждений возможности принято выражение «S может быть (может не быть) Р».
В символическом языке для понятия возможности общепринят знак 0, который называют оператором возможности. Выражение Ор читается: «возможно р».Выражение 0~1 р читается:«возможно не-р».В совокупности эти выражения составляют класс фактически возможных суждений: F(p)= Ор v 0 "1 р.
Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.
Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений.Например: «На Луне невозможна жизнь»; «Невозможно, чтобы в треугольнике сумма внутренних углов не была равна 180°».
В обобщенном виде фактически невозможные суждения могут быть представлены в следующем виде:
1 Ор л 1 01 р.
Модальные понятия необходимости и случайности нередко выражают через понятия невозможности и возможности. Операторы «необходимость» и «возможность» взаимоопределимы.
1) Необходимость р эквивалентна невозможности Ч р:
Dp= Ч 0 -1 р.
2) Возможность р эквивалентна отрицанию необходимости I р:
Op=nDlp.
КОНТРОЛЬНЫЕ ВОПРОСЫ
1. Что такое суждение и в какой языковой форме оно выражается?
2. Какова структура атрибутивных суждений и суждений с отношениями?
3. На какие виды делятся категорические суждения по количеству и качеству7
4. Какие суждения называются выделяющими и исключающими?^
5. Что такое распределенность терминов в суждении7
6. Как распределены термины в суждениях А, Е, I, О, а также в выделяющих суждениях7
7. Какие виды сложных суждений Вы знаете и каковы условия их истинности?
8. Какие разновидности совместимых суждений Вы знаете и каковы их истинностные характеристики?
105
9. Чем отличается отношение противоречия от отношения противоположности?
10. Что такое эпистемическая модальность и какие виды эпистемической модальности Вам известны7
11 Как выражают в естественном языке проблематические суждения?
12 Как выразить деонтическую обязанность через запрещение9
13 Как выразить в символической записи запрещение?
14 Как выразить в символической записи разрешение через обязанность и запрещение7
15. В чем выражается деонтическая непротиворечивость, сбалансированность и
полнота правовой системы9