- •Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •Общая характеристика понятия как формы мысли: определение, логическая структура, приёмы образования.
- •Виды понятий по содержанию и по объему. Полная логическая характеристика понятий.
- •Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •В неявных определениях выявляются связи, в которых находится определяемый предмет с другими предметами.
- •Деление понятий: сущность логической операции, её структура, виды, правила и возможные ошибки.
- •Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •Виды и состав простых суждений, их символическая запись.
- •Классификация простых категорических (атрибутивных) суждений.
- •Распределённость терминов в атрибутивных суждениях и способы её определения.
- •Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •Отрицание суждений.
- •Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •Если одна из посылок отрицательная, то большая просылка должна быть общей.
- •Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •А Все s есть р е Ни одно s не есть р
- •I Некоторые s есть р о Некоторые s не есть р
- •Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной дилемм).
- •Предметы а,в,с,д имеют признак р
- •А имеет признак р
- •Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •Умозаключения по аналогии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по аналогии.
- •Основные формально-логические законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •Закон тождества.
- •Закон непротиворечия.
- •Закон исключенного третьего.
- •Закон достаточного основания.
- •Доказательство как вид аргументации: особенности и структура.
- •Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •Правила и ошибки в аргументации по отношению к тезису, аргументам, и демонстрации.
- •Правила по отношению к аргументам:
- •Правила и ошибки по отношению к демонстрации:
- •Опровержение: сущность, структура, способы.
- •Спор, виды спора. Условия рационального спора. Разрешенные приемы в споре.
- •Уловки в споре (некорректные приемы спора).
Распределённость терминов в атрибутивных суждениях и способы её определения.
Вид суждения .\ Термины |
А общеутверди- тельное |
Е общеотрица- тельное |
Iчастноутверди- тельное |
О частноотрица- Тельное |
S (субъект) |
+ |
+ |
- |
- |
Р (предикат) |
- (+) |
+ |
- (+) |
+ |
Искл. : выделяющие суждения (только…), определение; родо-видовые (субъект является родовым понятием, а предикат его видом).
Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
Сложными называются суждения, образованные из двух или более простых суждений, соединенных логическими связками: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией.
конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.
Рассмотрим основные виды сложных суждений.
Соединительные суждения представляют собой связку двух или более простых суждений с помощью логического союза «конъюнкции».
Разделительное суждение – это связь двух или более простых суждений с помощью логических связок «слабой и сильной дизъюнкции».
Условные (импликативные) суждения – это суждения, образованные из двух простых суждений , выражающих причинно-следственную связь явлений.
Для более строгого определения условного суждения следует охарактеризовать необходимые и достаточные условия. Условие называется необходимым для данного события, если при его отсутствии это событие не наступает.
Условие называется достаточным для данного события, если всякий раз, когда имеется это условие, событие происходит.
Условным называется суждение, в котором ситуация, описываемая основанием, является достаточным условием для ситуации, описываемой следствием.
Эквивалентное суждение - это суждение, образованное из двух простых суждений с помощью логического союза «если, и только если…, то».
Отрицательное суждение – это суждение, в котором утверждается отсутствие некоторой ситуации
Сложные суждения – это тоже мысль, которая что-то утверждает или отрицает и которая, поэтому, оказывается истинной или ложной.
|
А |
в |
в |
ав |
ав |
ав |
ав |
1. |
И |
И |
И |
и |
л |
т |
И |
2. |
И |
л |
Л |
и |
и |
л |
л |
3. |
Л |
и |
Л |
и |
т |
и |
л |
4. |
Л |
л |
Л |
л |
л |
и |
и |
Логические отношения между простыми категорическими суждениями по логическому квадрату.
Логический квадрат:
А-Е противоположность (не могут одновременно истинными, но могут быть одновр. ложными), I-O частичное совмещение (могут быть одновременно истинными, не могут быть одновр. ложными) A-I E-O подчинение, AO-EI противоречие