
- •1. Основные этапы развития логики как науки. Принципы (законы) логического мышления.
- •2. Особенности современного этапа развития логики. Классическая и символическая логика. Виды неклассических логик.
- •3. Логика и язык. Язык логики и язык права. Естественные и искусственные языки.
- •Принципы построения формализованных языков логики.
- •5. Основные семантические категории языка логики. Имена, предложения, функторы.
- •6. Виды простых функторов. Функтор и функция. Смыслы функторов.
- •10. Виды понятий.
- •11. Отношение между понятиями.
- •12. Действия с понятиями: сложение, умножение, вычитание, обобщение, ограничение
- •13. Деление как логическое действие с понятием. Правила деления понятия. Деление и классификация.
- •14. Определение как логическое действие с понятием. Виды определений. Правила определения понятия.
- •15. Суждение как форма мышления. Суждение и предложение. Простые и сложные суждения.
- •16. Виды простых суждений. Условия истинности простых суждений.
- •17. Виды сложных суждений. Условия истинности сложных суждений.
- •Отрицание суждения
- •Конъюктивное
- •Дезъюктивное
- •Сложные суждения и условия их истинности
- •18. Отношения между суждениями.
- •Логическая эквивалентность
- •Логическое следование
- •Контрарность
- •19. Модальность суждений. Виды модальностей. Суждение и норма.
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •3. Алетическая модальность
- •20. Суждение и вопрос. Вопросно-ответные ситуации. Логика вопросов и ответов.
- •22. Непосредственные умозаключения. Правила вывода из одной простой посылки. Правила вывода из одной сложной посылки.
- •25. Правдоподобные рассуждения. Индуктивные умозаключения.
- •27. Понятие и структура аргументации. Способы аргументации.
- •29. Опровержение как способ аргументации. Виды опровержений.
- •30. Правила и ошибки в доказательстве и опровержении.
- •3. Виды доказательств. Правила и ошибки доказательства и опровержения.
- •В качестве аргументов в доказательстве могут использоваться:
3. Алетическая модальность
Алетическая' модальность — это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Суждения, которыми мы оперируем, принимаются как логически значимые, т.е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающими принятие суждений, выступают либо структурно-логические характеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обусловленности, или детерминированности суждений предопределяют соответствующие типы модальностей: 1) логическую модальность и 2) фактическую модальность.
1) Логическая модальность
Логическая модальность это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относят суждения, выражающие законы логики; к логически ложным (L-л) — внутренне противоречивые суждения. Например, суждение р VI р является логически истинным, ибо выражает закон исключенного третьего — какое бы суждение ни было подставлено вместо р, выражение р v1 р всегда будет истинным высказыванием. Соответственно всегда ложным будет суждение ~ (р-^р), как противоречащее закону тождества.
Логически истинные суждения вместе с логически ложными (L-и v L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и v F-л.
2)Фактическая модальность
Фактическая модальность связана с объективной, или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности. К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. Пример такого суждения: «Эйфелева башня находится в Париже». К фактически ложным (F-л) относятся суждения, в ко-
Термин «алогический» греческого происхождения, означает «истинный». 103
торых связь между терминами не соответствует действительности. ] примеру: «Ни одно млекопитающее не живет в воде».
Объективная устойчивость и интенсивность реальных связе между предметами находит свое выражение в фактической модал1 ности суждений с помощью алетических модальных понятий необхо димости и случайности.
Необходимость-случайность. Фактически необходимыми яв ляются суждения, в которых содержится информация о закона. науки. Например: «Сумма внутренних углов треугольника равн 180°». В естественном языке такие суждения нередко выражают i помощью слов «необходимо», «обязательно», «непременно» и др. I логике для суждений необходимости принято выражение: «S необ ходимо есть (не есть) Р». В символическом языке для понят» необходимости общепринят знак D, который называют операторе» необходимости.
Суждения необходимости могут быть истинными, например| «Кислород необходим для поддержания жизни» (Dp), но они могу| быть и ложными, например: «Вода не кипит при 100°С в нормальны^ условиях» (т р). Вместе они составляют класс фактически необхсИ димых суждений (Dp v D"1 р)). Все остальные фактические сужде| ния относятся к случайным. |
Фактически случайные — это суждения, которые не содержал информации о законах науки, а их истинность и ложность опреде' ляются конкретными эмпирическими условиями. Например, суж' дение «Наполеон умер 5 мая 1821 года» является фактически случайным, ибо смерть Наполеона могла наступить как до, так и после это* даты.
Поскольку класс случайных суждений является дополнением si классу необходимых, постольку случайность можно определит!»! через отрицание необходимости: к случайным относятся суждение которые не являются необходимым (1 Dp л 1 Dl р).
Модальные понятия «необходимость» и «случайность» мог быть эквивалентно выражены другой парой модальных понятий возможность и невозможность.
Возможность-невозможность. Фактически возможными явля-ются суждения, содержащие информацию о принципиальной со' вместимости выраженных в субъекте и предикате явлений. Например: «В Южной Америке в этом году возможно землетрясение»] или другое суждение: «Футбольная команда А может выиграть матч! у команды В». Это означает, что в обоих случаях не исключаются противоположные исходы — землетрясения в Южной Америке в этом году может не быть; команда А может не выиграть матч у команды В.
В естественном языке показателями суждений возможности являются слова: возможно, может быть, не исключается, допускается и другие, когда они употребляются в качестве сказуемых (а не вводных слов).
В логике для суждений возможности принято выражение «S может быть (может не быть) Р».
В символическом языке для понятия возможности общепринят знак 0, который называют оператором возможности. Выражение Фр читается: «возможно р». Выражение 0'1 р читается: «возможно не-р». В совокупности эти выражения составляют класс фактически возможных суждений: F(p) = Ор v О "1 р.
Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.
Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений. Например: «На Луне невозможна жизнь»; «Невозможно, чтобы в треугольнике сумма внутренних углов не была равна 180°».
В обобщенном виде фактически невозможные суждения могут быть представлены в следующем виде:
"1 Ор А -1 0-1 р.
Модальные понятия необходимости и случайности нередко выражают через понятия невозможности и возможности. Операторы «необходимость» и «возможность» взаимоопределимы.
1) Необходимость р эквивалентна невозможности "1 р:
Dp =-10 пр.
2) Возможность р эквивалентна отрицанию необходимости Ч р:
Ор = ~ m p.
КОНТРОЛЬНЫЕ ВОПРОСЫ •
1. Что такое суждение и в какой языковой форме оно выражается?
2. Какова структура атрибутивных суждении и суждений с отношениями?
3. На какие виды делятся категорические суждения по количеству и качеству?
4. Какие суждения называются выделяющими и исключающими?
5. Что такое распределенность терминов в суждении?
6. Как распределены термины в суждениях А, Е, I, О, а также в выделяющих суждениях?
7. Какие виды сложных суждений Вы знаете и каковы условия их истинности?
8. Какие разновидности совместимых суждений Вы знаете и каковы их истинностные характеристики?
^H4^1""1"43^ отношение противоречия от отношения противоположности? ности В^. из^нь.Г""46"3" модальность и каю- "иды эпи^ической модал^
11. Как выражают в естественном языке проблематические суждения?
12. Как выразить деонтическую обязанность через запрещение^ lj. Как выразить в символической записи запрещение^
щени^ Быразить в "^о^еской записи разрешение через обязанность и запр полн^п^ГсГсТм:^^ непротиворечивость, сбалансированность,