- •Мышление как объект формальной логики.
- •Понятие логической формы.
- •Основные формы мышления: понятие, суждение, умозаключение.
- •Объективный характер законов мышления.
- •Предмет формальной логики.
- •Виды понятий по содержанию
- •Сравнимые и несравнимые понятия
- •Логические операции с понятиями
- •Простые и сложные суждения
- •Суждение как форма мышления
- •Правила распределенности терминов в основных видах простых категорических суждений: a, e, I, o.
- •Виды сложных суждений
- •Виды сравнимых суждений
- •Логический квадрат как модель отношений между простыми категорическими суждениями. Правила их соотнесения по истинности.
- •Отношения совместимости и несовместимости между сложными суждниями. Правила их соотнесения по истинности.
- •Модальность суждений и ее виды
- •Логика вопросов и ответов
- •Общая характеристика и логическая структура умозаключения. Классификация умозаключений.
- •Непосредственные дедуктивные умозаключения.
- •Опосредованные дедуктивные умозаключения. Правила посылок и их влияние на истинность выводов в дедуктивных умозаключениях.
- •Фигуры силлогизма и их правила.
- •Модусы простого категорического силлогизма. Сложный категорический силлогизм
- •Разделительное умозаключение и его разновидности
- •Условное умозаключение и его разновидности
- •Индуктивное умозаключение. Виды индукции
- •Популярная, научная и статистическая индукция
- •Индуктивные методы установления причинно-следственных связей
- •Общая характеристика аналогии. Условия повышения достоверности и степени вероятности выводов по аналогии.
- •Виды умозаключения по аналогии
- •Понятие логического закона. Общая характеристика законов логики как законов правильного мышления.
- •Закон тождества
- •Закон противоречия
- •Закон исключенного третьего
- •Закон достаточного основания
- •Гипотеза: понятие, признаки, логическая структура , виды гипотез, основные этапы разработки
- •Проверка гипотезы
- •Доказательство: понятие, логическая структура, постороение. Способы доказательства
- •Прямое и косвенное подтверждение тезиса
- •Правила доказательства и возможные ошибки при их нарушении.
Виды сложных суждений
Виды сравнимых суждений
Основу отношений между суждениями составляет их сходство по содержанию, выражаемое в таких логических характеристиках, как смысл и истинность суждений. В соответствии с этим логические отношения устанавливаются не между любыми, а лишь между сравнимыми суждениями, то есть теми, которые имеют общий смысл. Сравнимыми среди простых суждений являются такие, которые имеют одинаковые термины и различаются по количеству и по качеству. Несравнимыми среди простых суждений являются такие, которые имеют различные субъекты и предикаты. Сравнимые суждения делятся на совместимые и несовместимые. Совместимыми являются суждения, которые одновременно могут быть истинными. Различают три вида совместимости. 1. Эквивалентные суждения выражают одну и ту же мысль в различной форме. Например, «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля». 2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Например, «Некоторые свидетели правдивы» и «Некоторые свидетели не являются правдивыми». 3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например, «Ни один вопрос обучаемо го не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны оставаться без ответа». В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости: - при истинности общего суждения частное всегда будет истинным; - при ложности частного суждения общее суждение также будет ложным; - при ложности общего суждения частное неопределенно; - при истинности подчиненного частного суждения общее неопределенно. Перейдем к рассмотрению отношений между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости. 1. Несовместимость как противоположность характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одно¬временно истинными, но могут быть одновременно ложными. Например, «Все адвокаты юристы», «Ни один адвокат не является юристом». Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждения «Все граждане обязаны соблюдать закон» сразу же делает ложным суждение «Ни один гражданин не обязан соблюдать закон». При ложности одного из противоположных суждений другое остается неопределенным. Оно может быть как истинным, так и ложным. 2. Противоречие как несовместимость характерно для суждений, исключающих друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным. Например, «Все судьи являются подкупными» и «Некоторые судьи не являются подкупными».
