- •Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •Общая характеристика понятия как формы мысли: определение, логическая структура, приёмы образования.
- •Виды понятий по содержанию и по объему. Полная логическая характеристика понятий.
- •Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •В неявных определениях выявляются связи, в которых находится определяемый предмет с другими предметами.
- •Деление понятий: сущность логической операции, её структура, виды, правила и возможные ошибки.
- •Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •Виды и состав простых суждений, их символическая запись.
- •Классификация простых категорических (атрибутивных) суждений.
- •Распределённость терминов в атрибутивных суждениях и способы её определения.
- •Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •Отрицание суждений.
- •Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •Если одна из посылок отрицательная, то большая просылка должна быть общей.
- •Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •А Все s есть р е Ни одно s не есть р
- •I Некоторые s есть р о Некоторые s не есть р
- •Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной дилемм).
- •Предметы а,в,с,д имеют признак р
- •А имеет признак р
- •Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •Умозаключения по аналогии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по аналогии.
- •Основные формально-логические законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •Закон тождества.
- •Закон непротиворечия.
- •Закон исключенного третьего.
- •Закон достаточного основания.
- •Доказательство как вид аргументации: особенности и структура.
- •Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •Правила и ошибки в аргументации по отношению к тезису, аргументам, и демонстрации.
- •Правила по отношению к аргументам:
- •Правила и ошибки по отношению к демонстрации:
- •Опровержение: сущность, структура, способы.
- •Спор, виды спора. Условия рационального спора. Разрешенные приемы в споре.
- •Уловки в споре (некорректные приемы спора).
А Все s есть р е Ни одно s не есть р
I Некоторые s есть р о Некоторые s не есть р
E Ни одно S не есть Р А Все S есть Р
O Некоторые S не есть Р I Некоторые S есть Р
Обращение (Конверсио) – операция преобразования суждения, в результате которого субъект исходного суждения становится предикатом и наоборот, т.е. выясняется отношение Р к S.
В зависимости от распределенности терминов в суждении различают 1)чистое или простое суждение (где термины одинаково распределены). В этом суждении не изменяется количество суждения. и 2) обращение с ограничением (термины по разному распределены и здесь объем суждения ограничивается).
Без ограничения обращаются E и I. С ограничением - A.
О не обращается.
Противопоставление предикату не-Р к S . НЕ противопост. I. – рассматривается как превращение + обращение.
А в Е
Е в I
O в I
Противопоставление субъекту. Р к не-S / Не противопоставляется субъекту О, т.к. это операции: обращение+ превращение.
А- I –O Все S есть Р – Некоторые Ресть S – Некоторые Рне есть не-S
E- E- A Ни одно S не есть Р – Ни одно Р не есть S - Все Р есть не-S
I – I- O Некоторые S есть Р – Некоторые Р есть S - Некоторые Р не есть не- S.
.
неожиданно оказались выполнены в вопросе 15.
Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
Условным умозаключением называется такое умозаключение, в котором и посылки и вывод являются условными суждениями.
Условное умозаключение имеет следующую структуру:
(а в ) (вс) (с d)…. (fk)
________________________
a k
ав, с
___________
вс
св
ав; св
___________
с
с
Условно-категорическое умозаключение – это такое умозаключение, в котором одна посылка – условное суждение, а другая посылка и вывод категорическое суждение
В условно-категорическом умозаключении четыре модуса:
два дают достоверный вывод, два других – вероятностный вывод.
а в ; а 2. а в; в
________ ________
в вероятно, а
а в; в 4. а в; а
_________ ___________
вероятно, в
Первый и второй примеры показывают нам утверждающие модусы
При этом первый модус даёт достоверный вывод: от утверждения основания мы идем к утверждению следствия.
Второй модус даёт нам вероятностный вывод, когда мы идем от утверждения следствия к утверждению основания.
Третий и четвертый примеры показывают нам отрицающий модус
Третий модус показывает нам достоверный вывод: мы идем от отрицания следствия условной посылки, к отрицанию основания этой посылки. Четвертый модус даёт нам вероятностный вывод: мы идем от отрицания основания условной посылки к отрицанию следствия этой посылки.
Исключение:
Если условная посылка выделяющее суждение, то достоверный вывод получаем по всем четырем модусам.