- •Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •Общая характеристика понятия как формы мысли: определение, логическая структура, приемы образования.
- •Виды понятий по содержанию и объему. Полная логическая характеристика понятий.
- •Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •Обобщение и ограничение понятий. Основное требование к выполнению данных операций и ошибки в обобщении и ограничении. Логическая операция обобщения понятий.
- •Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •Деление понятий: сущность логической операции, ее структура, виды, правила и возможные ошибки.
- •Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •Виды и состав простых суждений. Их символическая запись.
- •Классификация простых категорических (атрибутивных) суждений.
- •Распределенность терминов в атрибутивных суждениях и способы ее определения.
- •Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •Отрицание суждений.
- •Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •Простой категорический силлогизм: определение, состав, общие правила.
- •Фигуры и модусы простого категорического силлогизма. Правила фигур. Роль фигур в познании.
- •Способы проверки правильности простого категорического силлогизма.
- •Алгоритм разбора простого категорического силлогизма.
- •Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной диллем).
- •Сокращенный силлогизм (энтимема). Сложный и сложносокращенный силлогизмы (полисиллогизм, сорит, эпихейрема).
- •Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •Умозаключения по анологии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по анологии.
- •Основные формально - логически законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •Доказательство как вид аргументации: особенность и структура.
- •Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •Нелогические формы аргументации
- •Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •3) По отношению к демонстрации
- •Опровержение: сущность, структура, способы.
Способы проверки правильности простого категорического силлогизма.
1)По общим правилам (нарушено правило терминов: средний термин не распределен ни в одной из посылок)
2)По особым правилам фигур (нарушено правило фигуры: большая посылка не общее, а частное суждение)
3) С помощью круговых схем (на основе информации, содержащейся в посылках, нельзя установить однозначные отношения между крайними терминами силлогизма)
4)С помощью контрпримера
5) По модусам
Алгоритм разбора простого категорического силлогизма.
1)Установить структуру силлогизма:
2)Выделить посылки и заключение; в заключении обозначить субъект и предикат; обозначить эти термины в посылках; найти средний термин; установить большую и меньшую посылки; убедиться, что силлогизм записан в стандартном виде (большая посылка - предикат- стоит на первом месте).
3) Определить фигуру силлогизма
4) Определить модус силлогизма
5)Установить распределённость терминов
6) Отразить в круговых схемах отношения между терминами силлогизма: построение следует начинать с большей посылки Р, затем переходить к субъекту.
7) Проверить правильность силлогизма и сделать вывод: указать правильный или неправильный силлогизм.
Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. (если)
Условно-категорическим называется умозаключение, в котором одна из посылок — условное, а другая посылкой заключение — категорические суждения. Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.(если не)
Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной диллем).
Условно-категорическим называется умозаключение, одна из посылок которого является условным суждением, а другая посылка и вывод — категорическими суждениями. Условное суждение имеет форму: если A есть B, то C есть D, например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи. Первое суждение есть основание (антецедент), а второе — следствие. Существуют два модуса условно-категорических умозаключений. Первый из них называется modus ponens, то есть устанавливающий, утверждающий, конструктивный модус; второй называется modus tolens, то есть разрушающий, отрицающий, деструктивный модус. Конструктивный модус имеет следующий вид. Если A есть B, то C есть D; A есть B; Следовательно, C есть D. Например:Если Земля вращается вокруг Солнца, то происходит смена дня и ночи;Земля вращается вокруг Солнца; Следовательно, происходит смена дня и ночи. Деструктивный модус имеет следующий вид. Если A есть B, то C есть D; C не есть D; Следовательно, A не есть B.
Условно-разделительный силлогизм. Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным. Разделительное суждение может содержать две, три и большее число альтернатив, поэтому эти умозаключения делятся на дилеммы (две альтернативы).
Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
Если обвиняемый виновен в заведомо незаконном задержании (р), то он подлежит уголовной ответственности за преступление против правосудия (г); если он виновен в заведомо незаконном заключении под стражу (q), то он также подлежит уголовной ответственности за преступление против правосудия (г).
Обвиняемый виновен или в заведомо незаконном задержании (р) или в заведомо незаконном заключении под стражу (q).
Обвиняемый подлежит уголовной ответственности за преступление против правосудия (г).
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
Если Н. совершил умышленное преступление (р), значит, в его действиях был прямой (q) или косвенный умысел (г).
Но в действиях Н. не было ни прямого (q), ни косвенного умысла (г).
Преступление, совершенное Н., не является умышленным (р).
В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.
Если предприятие является арендным (р), то оно осуществляет предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (q); если оно является коллективным (г), то осуществляет такую деятельность на основе находящегося в его собственности имущества (s).
Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (1 а), ни на основе находящегося в его собственности имущества (Is).
Данное предприятие не арендное (1 р) или не коллективное (1 г).
