- •1.Мышление как предмет логики. Мышление и рассуждение. Мышление и познание.
- •2.Мышление и язык. Язык как знаковая система. Понятие знака и семиотические аспекты языка.
- •3.Логическая форма и логический закон. Формальная правильность и истинность.
- •4.Основные законы логики: их содержание и применение.
- •5.Логика и другие науки о мышлении. Место логики в процессе познания.
- •6.Понятие как форма мышления. Содержание и объём понятия.
- •7.Признаки и виды признаков, отражённых в понятии.
- •8.Закон обратного отношения между объёмом и содержанием понятия. Отношения род-вид, класс-подкласс-элемент.
- •9.Ограничение и обобщение понятий.
- •10.Логические виды понятий по объёму и по содержанию.
- •11. Отношения между понятиями. Виды отношений между совместимыми и несовместимыми понятиями. Круги Эйлера.
- •12.Возможность операций над классами понятий: объединение, пересечение. Языковая интерпретация операций.
- •13. Возможность операций над классами понятий: вычитание, образование дополнения. Языковая интерпретация операций.
- •14.Операция деления понятий. Логическая структура и виды деления.
- •15.Правила и ошибки деления. Классификация и её виды.
- •16. Операция определения понятий. Виды определений.
- •17.Логическая структура, правила и ошибки в определении.
- •18.Приёмы сходные с определением понятий.
- •19.Суждение как форма мышления. Виды суждений. Суждение и предложение.
- •20.Простое суждение, его структура. Деление суждений по характеру предиката.
- •1. Суждения свойства (атрибутивные).
- •2. Суждения с отношениями.
- •21. Простые категорические суждения, их деление по качеству и количеству.
- •22. Распределенность терминов в простом категорическом суждении.
- •23. Отношения между суждениями по логическому квадрату.
- •26. Модальные суждения. Виды модальностей.
- •28. Понятие умозаключения. Логическое следование. Структура умозаключения.
- •29. Виды умозаключений. Дедукция. Индукция. Аналогия.
- •30. Дедуктивные непосредственные умозаключения: превращение, обращение.
- •32. Дедуктивные опосредованные умозаключения: простой категорический силлогизм, его структура, аксиома силлогизма.
- •33. Фигуры и модусы простого категорического силлогизма. Правило фигур.
- •34. Правила терминов и посылок простого категорического силлогизма.
- •35. Энтимема. Восстановление силлогизма из энтимемы.
- •36.Полисиллогизм, их виды. Логическая структура.
- •37.Сорит. Эпихейрема
- •38. Условные и условно-категорические силлогизмы. Модусы и условия достоверности укс.
- •39. Разделительные и разделительно-категорические силлогизмы. Модусы ркс.
- •40. Условно-разделительные силлогизмы и их виды.
- •41. Понятие недедуктивных (правоподобных) умозаключений.
- •42. Индуктивные умз. Понятия полной и матеметической индукции.
- •43. Неполная индукция и её виды. Условия повышения вероятности вывода. Статическая индукция.
- •45. Умозаключение по аналогии, её виды. Условия повышения степени правоподобия выводов по аналогии.
- •46. Понятие научной проблемы. Общие принципы постановки и разрешения проблемы.
- •47. Вопрос как логическая форма постановки проблемы, структура и виды вопросов.
- •48.Гипотиза как форма развития знания. Логическая структура гипотезы.
- •49. Основные принципы, методы и этапы формирования гипотез. Проблема версификации и фальсификации гипотез.
- •50.Подтверждение и опровержение гипотез.
- •52.Виды доказательств.
- •53. Понятие опровержения. Виды опровержений.
- •54.Требования, предъявляемые к доказательствам и опровержениям.
- •55. Ошибки в доказательстве и опровержении.
- •56.Парологизмы, пародоксы и софизмы.
40. Условно-разделительные силлогизмы и их виды.
Условно-разделительным (леммой) называется умозаключение, в котором одна посылка — разделительное суждение, а другие посылки, число которых равно числу членов деления, являются условными суждениями.По числу членов деления оно называется дилеммой, трилеммой. Условно-разделительные умозаключения существуют в простом и сложном модусах.
Простой modus ponens (конструктивный) представляет собой условно-разделительное умозаключение, посылки и вывод которого являются положительными суждениями:
Каждое A есть либо B, либо C;Если A есть B, то A есть D;Если A есть C, то A есть D;Следовательно, A есть D.
Пример:
Всякий грешник является либо блудником, либо лихоимцем, либо сребролюбцем, либо славолюбцем;Если грешник блудник, то он и нечестивец;Если грешник лихоимец, то он и нечестивец;Если грешник сребролюбец, то он и нечестивец;Если грешник славолюбец, то он и нечестивец;Следовательно, всякий грешник — нечестивец.
Простой modus tollens (деструктивный) представляет собой условно-разделительное умозаключение, меньшие посылки и вывод которого являются отрицательными суждениями.
Если A есть B, то A есть D;Если A есть B, то A есть F;Но A не есть D, либо A не есть F;Следовательно, A не есть B.
Пример:Если я хочу сдать экзамен, то мне нужно время, чтобы слушать лекции;Если я хочу сдать экзамен, то мне нужен учебник;Но у меня нет ни времени, ни учебника.Следовательно, я не смогу сдать экзамен.
Сложный (конструктивный) modus ponens представляет собой условно-разделительное умозаключение, посылки которого являются положительными условными и разделительными суждениями, вывод — разделительным суждением, а в меньшей посылке утверждается консеквент.
Если A есть B, то C есть D;Если E есть F, то G есть H;Но либо A есть B; либо E есть F;Следовательно, или C есть D, или G есть H.
Пример:
Если я опоздаю на занятие, то получу выговор от преподавателя;Если я не выучу урок, то получу плохую оценку;Но я либо опоздаю на занятия, либо не выучу урок;Следовательно, я получу либо выговор, либо плохую оценку.
Сложный (деструктивный) modus tollens представляет собой условно-разделительное умозаключение, большая посылка которого (разделительное суждение) является отрицательным суждением, меньшие посылки являются положительными суждениями, а меньшая посылка и вывод отрицают антецедент.
Если A есть B, то C есть D;Если E есть F, то G есть H;C не есть D и G не есть H;Следовательно, A не есть B и E не есть F.
Пример:Если я опоздаю на занятие, то получу выговор преподавателя;Если я не выучу урок, то получу плохую оценку;Но я не хочу получить ни выговор от преподавателя, ни плохую оценку;Следовательно, я выучу урок и не опоздаю на занятие.
Альтернативы леммы назывались в средние века "рогатым аргументом", так как в том же модусе возможно и противоположное умозаключение: "Если будешь говорить справедливое, тебя возненавидят люди; а если несправедливое — боги" [1].