- •Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •Общая характеристика понятия как формы мысли: определение, логическая структура, приемы образования.
- •Виды понятий по содержанию и объему. Полная логическая характеристика понятий.
- •Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •Обобщение и ограничение понятий. Основное требование к выполнению данных операций и ошибки в обобщении и ограничении. Логическая операция обобщения понятий.
- •Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •Деление понятий: сущность логической операции, ее структура, виды, правила и возможные ошибки.
- •Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •Виды и состав простых суждений. Их символическая запись.
- •Классификация простых категорических (атрибутивных) суждений.
- •Распределенность терминов в атрибутивных суждениях и способы ее определения.
- •Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •Отрицание суждений.
- •Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •Простой категорический силлогизм: определение, состав, общие правила.
- •Фигуры и модусы простого категорического силлогизма. Правила фигур. Роль фигур в познании.
- •Способы проверки правильности простого категорического силлогизма.
- •Алгоритм разбора простого категорического силлогизма.
- •Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной диллем).
- •Сокращенный силлогизм (энтимема). Сложный и сложносокращенный силлогизмы (полисиллогизм, сорит, эпихейрема).
- •Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •Умозаключения по анологии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по анологии.
- •Основные формально - логически законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •Доказательство как вид аргументации: особенность и структура.
- •Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •Нелогические формы аргументации
- •Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •3) По отношению к демонстрации
- •Опровержение: сущность, структура, способы.
Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
Суждение – формы мысли, в которой что-то утверждается или отрицается, смысл предложения. Языковая форма суждения – предложение. Логическая характеристика суждения – истинное знание.(ложное, истинное). Структура простого суждения
Субъект – термин выражающий то о чём что-то утверждается или отрицается.
Предикат – термин выражающий, что именно утверждается или отрицается.
Квантовое слово (все, некоторые)
Связка (является, не является).
Виды и состав простых суждений. Их символическая запись.
Простые суждения - выражают связь двух понятий, не включают других суждений. Простое суждение состоит из субъекта, предиката и связки.
● В зависимости от того, что отрицается или утверждается суждения делятся на:
1) Атрибутивные (связь между предметом и его признаком) S - Р
2) Реляционные (отношения между предметами)
3) Экзистенциальные (факт существования предмета)
Классификация простых категорических (атрибутивных) суждений.
Простым называется суждение, не включающее других суждений. Атрибутивные (от лат. «свойство», «признак») — суждения о признаке предмета. В них отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Атрибутивные суждения называются также категорическими, т.е. ясными, безусловными. Логическая схема атрибутивного суждения S — Р, где S — субъект суждения, Р — предикат,«-» — связка. Например, «Адвокат встретился с обвиняемым».
Категорические суждения делятся по качеству и количеству.
○По качеству выделяют утвердительные и отрицательные суждения. Утвердительное выражает принадлежность предмету какого-либо свойства, отрицательное — отсутствие какого-либо свойства, они различаются качеством связки. Суждение с отрицательным предикатом, но с утвердительной связкой рассматривается как утвердительное, например, «Данное решение суда является необоснованным».
○По количеству выделяют единичные, частные и общие суждения. Количественная характеристика выражается квантором общности. Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например, «Это здание — памятник архитектуры».
Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса с помощью слов некоторые, многие, немногие, большинство, меньшинство, часть. Например, «Часть преступлений Относится к экономическим». Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса с помощью слов все, никто, любой, каждый. Например: «Все свидетели дали показания», «Никто не пришел на заседание». Иногда квантор не указывается, и тогда он определяется по смыслу, например, «Равнодушие унижает».
Распределенность терминов в атрибутивных суждениях и способы ее определения.
Атрибутивное суждение - суждение, в котором утверждается или отрицается принадлежность свойства предмету. Например: «Роза красная», «Преступник должен быть наказан» и т. п.
Объединённая классификация. (классификация)
А Общеутвердительные (Все S есть P)
I Частоутвердительные (Некоторые S есть P)
E Общеотрицательные (Все S не есть P)
O Частноотрицательные (Некоторые S не есть P)
