
- •1. Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •2. Общая характеристика понятия как формы мысли: определение, логическая структура, приемы образования.
- •4. Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •11. Распределенность терминов в атрибутивных суждениях и способы ее определения.
- •12. Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •13. Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •17. Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •18. Простой категорический силлогизм: определение, состав, общие правила.
- •19. Фигуры и модусы простого категорического силлогизма. Правила фигур. Роль фигур в познании.
- •23. Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной диллем).
- •24. Сокращенный силлогизм (энтимема). Сложный и сложносокращенный силлогизмы (полисиллогизм, сорит, эпихейрема).
- •28. Основные формально - логически законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •29. Доказательство как вид аргументации: особенность и структура.
- •2) Индуктивный способ аргументации применяется, как правило, в тех случаях, когда в качестве доводов используются фактические данные.
- •3) Аргументация в форме аналогии применяется в случае уподобления единичных событий и явлений. При обращении к аналогии надо соблюдать следующие правила этого вида умозаключения.
- •31. Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
19. Фигуры и модусы простого категорического силлогизма. Правила фигур. Роль фигур в познании.
В посылках простого категорического силлогизма средний термин может занимать место субъекта или предиката. В зависимости от этого различают четыре разновидности силлогизма, которые называют фигурами. Фигуры силлогизма — это его разновидности, различающиеся положением среднего термина в посылках.
Фиг. I Фиг. II Фиг. III Фиг. IV
AAA EAE AAI AAI
EAE AEE IAI AEE
AII EIO AII IAI
EIO AOO EAO EAO
OAO EIO
EIO
В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылках.
Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноотрицательные (О).
Разновидности силлогизма, различающиеся количественными и качественными характеристиками посылок, называются модусами простого категорического силлогизма. Общее количество вариантов в четырех фигурах 64 модуса, но правильными, т.е. соответствующими всем правилам, являются только 19 из них. По первой фигуре это модусы: ААА, ЕАЕ, АН, ЕЮ.
Помимо общих правил существуют специальные правила фигур.
Правила 1 -й фигуры:
1. Большая посылка — общее суждение.
2. Меньшая посылка — утвердительное суждение.
Первая фигура — наиболее типичная форма дедуктивного умозаключения. Из общего положения, выражающего нередко закон науки, правовую норму, делается вывод об отдельном факте, единичном случае, конкретном лице. Широко применяется эта фигура в судебной практике. Юридическая оценка (квалификация) правовых явлений, применение нормы права к отдельному случаю, назначение наказания за преступление, совершенное конкретным лицом, и другие судебные решения принимают логическую форму 1-й фигуры силлогизма.
Во второй фигуре — место предиката в обеих посылках.
Разновидности силлогизма, различающиеся количественными и качественными характеристиками посылок, называются модусами простого категорического силлогизма.
Общее количество вариантов в четырех фигурах 64 модуса, но правильными, т.е. соответствующими всем правилам, являются только 19 из них по второй фигуре: ЕАЕ, АЕЕ, ЕЮ, АОО.
Правила 2-й фигуры: 1. Большая посылка — общее суждение. 2. Одна из посылок — отрицательное суждение.
2-я фигура применяется, когда необходимо показать, что I отдельный случай (конкретное лицо, факт, явление) не может быть I подведен под общее положение. Этот случай исключается из числа предметов, о которых сказано в большей посылке. В судебной I практике 2-я фигура используется для заключений об отсутствии I состава преступления в данном конкретном случае, для опровержения положений, противоречащих тому, о чем говорится в посылке, выражающей общее положение.
В третьей фигуре — место субъекта в обеих посылках.
Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеугвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноотрицательные (О).
Разновидности силлогизма, различающиеся количественными и качественными характеристиками посылок, называются модусами простого категорического силлогизма.
Общее количество вариантов в четырех фигурах 64 модуса, но правильными, т.е. соответсвующими всем правилам, являются только 19, из них по третьей фигуре: AAI, IAI, All, EAO, ОАО, ЕЮ.
Помимо общих правил существуют специальные правила фигур.
Правила 3-й фигуры: 1. Меньшая посылка — утвердительное суждение. 2. Заключение — частное суждение.
Давая только частные заключения, 3-я фигура применяется чаще всего для установления частичной совместимости признаков, относящихся к одному предмету. В практике рассуждения 3-я фигура применяется сравнительно редко.
В четвертой фигуре - средний термин занимает место предиката в большей и субъекта в меньшей посылке.
В 4-й фигуре средний термин занимает место предиката в большей и субъекта в меньшей посылке.
20. Способы проверки правильности простого категорического силлогизма.
1)По общим правилам (нарушено правило терминов: средний термин не распределен ни в одной из посылок)
2)По особым правилам фигур (нарушено правило фигуры: большая посылка не общее, а частное суждение)
3) С помощью круговых схем (на основе информации, содержащейся в посылках, нельзя установить однозначные отношения между крайними терминами силлогизма)
4)С помощью контрпримера
5) По модусам
21. Алгоритм разбора простого категорического силлогизма.
1)Установить структуру силлогизма:
Выделить посылки и заключение; в заключении обозначить субъект и предикат; обозначить эти термины в посылках; найти средний термин; установить большую и меньшую посылки; убедиться, что силлогизм записан в стандартном виде (большая посылка - предикат- стоит на первом месте).
2) Определить фигуру силлогизма
3) Определить модус силлогизма
4)Установить распределённость терминов
5) Отразить в круговых схемах отношения между терминами силлогизма: построение следует начинать с большей посылки Р, затем переходить к субъекту.
6) Проверить правильность силлогизма и сделать вывод: указать правильный или неправильный силлогизм.
22. Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Например:
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q).
Если они признаются соавторами изобретения (г), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г).
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения. Схема чисто условного умозаключения: (р-> q) л (q-> г)
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
Условно-категорическим называется умозаключение, в котором одна из посылок — условное, а другая посылкой заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.
1) В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q).
Иск предъявлен недееспособным лицом (р).
Суд оставляет иск без рассмотрения (q).
Первая посылка — условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка — категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Призназ истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.
Утверждающий модус дает достоверные выводы. Он имеет схему: p->q.P q
2) В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания.
Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q).
Суд не оставил иск без рассмотрения (1 q).
Неверно, что иск предъявлен недееспособным лицом (1 р).
Схема отрицающего модуса: р -»д. 1д
1р
Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия и от утверждения истинности следствия к утверждению истинности основания.
Однако заключение по этим модусам не будет достоверным. Таким образом, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий и отрицающий. Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу, отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.