- •Формальная логика
- •Формальная логика
- •Предисловие
- •Раздел 1. Организационно-методический раздел
- •Тема 1. Предмет и значение науки логики. Формальный язык и семантические категории (лекция, практическое занятие)
- •Раздел I I. Теоретический курс Глава 1. Предмет логики
- •§ 1. История логики(краткая справка)
- •§ 2. Логика и язык
- •§ 3. Связь между мышлением и языком
- •§ 4. Логическое и психологическое
- •§ 5. Семантические категории
- •Вопросы для самопроверки
- •§ 6. Процесс мышления и формы мысли
- •Отвлекитесь от чтения и решите задачу на логическое мышление. Не забывайте думать вслух.
- •Глава 2. Понятие как форма мысли
- •§ 1. Общая характеристика понятия
- •§ 2.Понятие и представление
- •§ 3. Признаки понятия
- •§ 4. Виды понятий
- •§ 5. Закон обратного отношения между содержанием и объемом понятия
- •§ 6. Функции понятий
- •Вопросы для самопроверки
- •§ 1. Определение понятий
- •§ 2. Неявные определения
- •§ 3. Ограничение и обобщение понятий
- •§ 4. Деление понятий
- •§ 5. Классификация понятий
- •§ 1. Общая характеристика суждения
- •§ 2. Структура суждения
- •§3. Модальность суждений
- •§4. Классификация суждений
- •§5. Зависимость познавательного значения суждения от его формы
- •1). Определите модальность суждения. Приведите их схемы.
- •2). Составьте схемы сложных суждений.
- •3). Выделите три группы суждений: а) совместимые, б) несовместимые, в) частично совместимые.
- •§6. Логические операции с суждениями
- •§ 1. Общая характеристика умозаключения
- •§ 2. Непосредственные умозаключения
- •§ 3. Силлогизм
- •§4. Индуктивные умозаключения
- •§5. Методы установления причинной связи явлений
- •1). Метод сходства
- •2). Метод различия
- •3). Соединенный метод сходства и различия
- •4). Метод сопутствующих изменений
- •5) Метод остатков
- •§6. Аналогичные умозаключения
- •§ 1. Понятие доказательства
- •§2. Правила доказательства и опровержения
- •§ 3. Виды доказательств
- •§1. Понятие гипотезы и условия её появления
- •§2. Классификация гипотез
- •§3. Построение гипотезы
- •§4. Развитие гипотезы
- •§5. Подтверждение гипотезы
- •§ 1. Закон тождества
- •§ 2. Закон противоречия
- •§ 3. Закон исключенного третьего
- •§ 4. Закон достаточного основания
- •Общие правила силлогизма
- •Правила терминов
- •Оглавление
§3. Модальность суждений
Модальность суждения (лат. мodus – способ, мера, наклонение) выражает степень существования, свойства, отношения, отображенного в суждении. При этом в суждении утверждается или отрицается действительность, возможность или необходимость существенного признака у предмета мысли как некая оценка отношения признака к предмету.
Суждение существования (экзистенциальное суждение) на основе утверждаемого или отрицаемого признака утверждает или отрицает существование предмета мысли. Они применяются как в обыденных ситуациях, так и в науке. Например: «существуют любители легкой наживы» - в обыденной речи, и «существуют сумчатые животные» - в научной речи. Для научного поиска важно знать, что «в природе не существует сверхъестественных явлений», или «вечный двигатель невозможен».
В суждениях свойства утверждаются или отрицаются свойства или состояния предмета мысли. Например: «металлы обладают электропроводностью», «планета Земля вращается».
Если мы в процессе познания характеризуем предмет относительно другого предмета или его свойств, или признаков, то в этом случае мы используем суждение отношения. Например: «наша Маша краше вашей». В одних отношениях обнаруживается свойство симметричности (если А равно В, то и В равно А) , в других – асимметричности ( если А больше В, то В меньше А), в третьих – свойство переходности ( если А больше В, а В больше С, то А больше С; то же в отношении их равенства). Свойства переходности отношений, выраженных в суждениях отношения, имеют большое значение для опосредованных умозаключений и теории доказательства.
Модальные высказывания исследуются специальными разделами логики, как, например, логика норм, профессиональная логика, логика случайностей и другие логики, отражающие виды человеческой деятельности. Деление по модальности позволяет выделить действительность, возможность и необходимость.
В литературе по логике суждения действительности называют ассерторическими (атрибутивными), суждения необходимости - аподиктическими, суждения возможности – проблематическими. Нам кажется, что нет необходимости в замене русских слов латинскими терминами, поэтому мы в этой части будем использовать русские термины.
В суждении действительности (неизбежности) констатируется наличие или отсутствие у предмета мысли какого-либо признака. Например: «студенты решают логические задачи». Формула необходимого суждения: S есть P.
Суждения действительности употребляются в случаях: 1) когда еще неизвестно, что признак предмета является необходимым, но известно о его принадлежности (непринадлежности) предмету мысли; 2) когда для утверждения принадлежности (непринадлежности) признака имеется достаточное знание.
Истинность суждения действительности может отрицаться суждением действительности и необходимости, но не может отрицаться суждением возможности.
В суждении необходимости констатируется наличие или отсутствие у предмета мысли признака, который имеется у предмета при всех условиях; то есть выражается необходимая связь предмета и его признака. Например: «Все тела обладают массой». Формула суждения необходимости: S необходимо есть Р.
Суждения необходимости употребляются в случаях: 1) если известно, что данный признак появляется у предмета мысли в одних условиях и исчезает при других, а знание об отношении данного признака к предмету безотносительно к условиям его появления; 2) если известно, что данный признак принадлежит или будет принадлежать только к некоторым предметам данного класса, а знание об этом отношении является вероятностным; 3) если в отношении отдельного предмета мысли утверждается (отрицается) возможность принадлежности данного признака в прошлом и будущем при определенных условиях.
Истинность суждения необходимости может отрицаться как суждением необходимости, так и суждениями действительности и возможности.
В суждении возможности констатируется возможность наличия или отсутствия у предмета мысли какого-либо признака. Например: «В этом году зима, вероятно, будет суровая». Формула проблематического суждения: S возможно есть Р.
Суждения возможности употребляются в случаях: 1) если известно, что определенный признак появляется при одних условиях и исчезает при других; 2) если известно, что определенный признак принадлежит или будет принадлежать только некоторым предметам данного класса; 3) если известно, что данный признак может принадлежать в прошлом или может принадлежать в будущем при определенных условиях.
Истинность суждениявозможности может отрицаться только суждением необходимости.
Кроме перечисленных трех модальностей суждений, которые в логике исследованы наиболее полно, есть многие другие, различающиеся по словам-определителям (индикаторам модальностей): доказуемо, опровержимо (эпистемическая модальность), разрешено, запрещено (деонтическая модальность), хорошо, плохо (аксиологическая модальность), всегда, иногда (временная модальность) и т.д.
Классификацией и систематизацией этих и других модальностей занимаются современные логики, разрешающие проблему неопределенности как третьего значения наряду с истиной и ложью. Тем не менее, законом модальной логики принимается та ее формула, которая принимает значение «истина» при любых значениях, входящих в нее переменных.