- •Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •Общая характеристика понятия как формы мысли: определение, логическая структура, приёмы образования.
- •Виды понятий по содержанию и по объему. Полная логическая характеристика понятий.
- •Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •В неявных определениях выявляются связи, в которых находится определяемый предмет с другими предметами.
- •Деление понятий: сущность логической операции, её структура, виды, правила и возможные ошибки.
- •Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •Виды и состав простых суждений, их символическая запись.
- •Классификация простых категорических (атрибутивных) суждений.
- •Распределённость терминов в атрибутивных суждениях и способы её определения.
- •Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •Отрицание суждений.
- •Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •Если одна из посылок отрицательная, то большая просылка должна быть общей.
- •Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •А Все s есть р е Ни одно s не есть р
- •I Некоторые s есть р о Некоторые s не есть р
- •Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной дилемм).
- •Предметы а,в,с,д имеют признак р
- •А имеет признак р
- •Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •Умозаключения по аналогии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по аналогии.
- •Основные формально-логические законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •Закон тождества.
- •Закон непротиворечия.
- •Закон исключенного третьего.
- •Закон достаточного основания.
- •Доказательство как вид аргументации: особенности и структура.
- •Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •Правила и ошибки в аргументации по отношению к тезису, аргументам, и демонстрации.
- •Правила по отношению к аргументам:
- •Правила и ошибки по отношению к демонстрации:
- •Опровержение: сущность, структура, способы.
- •Спор, виды спора. Условия рационального спора. Разрешенные приемы в споре.
- •Уловки в споре (некорректные приемы спора).
Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной дилемм).
Разделительное умозаключение – это такое умозаключение, в котором и посылки и вывод являются разделительными
( дизъюнктивными) суждениями.
Схема чисто разделительного умозаключения:
S есть А или В или С; А есть или А/1 или А /2.
Следовательно, S есть или А/1 или А/2 или В или С.
Вывод будет достоверным в том случае, если в разделительной посылке перечислены все альтернативы, и вероятностным, если перечислены не все альтернативы или разделительная посылка не является строго-разделительной.
Разделительно-категорическое умозаключение – это такое умозаключение, в котором одна из посылок – разделительное суждение, а другая – категорическое суждение.
Этот вид умозаключения содержит два модуса:
Утверждающе-отрицающий модус :
а в; а
_______
в
2-ой модус: отрицающе-утверждающий
а в; а
_________
в
Условно- разделительное умозаключение – это такое умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая является разделительным суждением.
Условно-разделительное умозаключение также называют леммой
Особенности этого вида умозаключений рассмотрим на примере дилемм. Различаем два вида дилемм:
конструктивная (созидательная);
деструктивная (разрушительная)
Каждая из этих дилемм делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и тоже следствие.
Схема дилеммы: свс; в
______________
с
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания, заключение утверждает оба возможных следствия.
Схема: вс d; с
_______________
в d
Условно- разделительное умозаключение – это такое умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая является разделительным суждением.
Условно-разделительное умозаключение также называют леммой
Особенности этого вида умозаключений рассмотрим на примере дилемм. Различаем два вида дилемм:
конструктивная (созидательная);
деструктивная (разрушительная)
Каждая из этих дилемм делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и тоже следствие.
Схема дилеммы: свс; в
______________
с
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания, заключение утверждает оба возможных следствия.
Схема: вс d; с
_______________
в d
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
Схема дилеммы: авас; в с
__________________
а
В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания.
Схема: всd; в d
___________________
с
Анализ структуры различных видов дилеммы показывает, что достоверный вывод из посылок получается при соблюдении следующих правил:
в конструктивной дилемме рассуждение должно быть направлено от утверждения оснований к утверждению следствий; в деструктивной дилемме – от отрицания следствий к отрицанию оснований;
в разделительной посылке должны быть перечислены все возможные альтернативы; в дилемме две альтернативы должны исчерпывать все возможные ситуации. В противном случае – заключение получается недостоверным.
Рассуждение, направленное от утверждения следствий к утверждению оснований или – от отрицания основания к отрицанию следствия – даёт вероятностные заключения, а не достоверные.
Сокращённый силлогизм (энтимема).
Индуктивные умозаключения: определение, особенности, структура. Полная и неполная индукция. Особенности популярной индукции. Факторы, влияющие на повышение степени вероятности выводов популярной индукции.
Индуктивное у/з - такое у/з, в результате которого на основании знания об отдельных предметах данного класса получается общий вывод, содержащий знание о всех предметах класса.
Формула индуктивного у/з: