Содержание теоретического курса

Тема 1. Предмет формальной логики как науки и ее значение

Предмет формальной логики. Логика как наука и как реальный процесс мышления. Цель логического теоретизирования. Понятие логической формы. Основные логические формы: понятие, суждение, умозаключение.

Понятие логического закона. Основные законы логики. Закон тождества. Закон противоречия (непротиворечия). Закон исключенного третьего. Закон достаточного основания.

Исторические этапы формирования логики. Логические идеи в древнегреческой философии. Апории Зенона. Значение софистики в становлении логики. Диалектический метод рассуждений Сократа. Платон о логических операциях с понятиями. Аристотелевская силлогистика как первая в истории науки аксиоматически построенная теория. Логика в средневековье. Логика Лейбница. Становление математической (символической) логики. Особенности современного этапа развития логики.

Методологическое и практическое значение логики. Овладение логикой как условие повышения культуры мышления.

Мышление и язык. Язык как знаковая система. Семиотические аспекты языка: синтаксис, семантика, прагматика.

Тема 2. Понятие как логическая форма мысли

Понятие как логическая форма мысли. Понятие и представление. Понятие о признаке. Признаки сходные (общие) и отличительные (специфические). Способы образования понятий: анализ, синтез, сравнение, обобщение, абстрагирование.

Содержание и объем как основные свойства понятия. Закон обратного соотношения объема и содержания понятий. Сфера действия данного закона.

Виды понятий по объему: единичные, общие, нулевые. Виды понятий по содержанию: конкретные – абстрактные, относительные – безотносительные, положительные – отрицательные, собирательные – несобирательные.

Отношения между понятиями. Понятия сравнимые и несравнимые. Понятия совместимые и несовместимые. Отношения совместимости: равнообъемность (равнозначность), пересечение (перекрещивание), подчинение (субординация). Отношения несовместимости: соподчинение (координация, противоположность (контрарность), противоречивость (контрадикторность).

Операции с понятиями. Обобщение и ограничение понятий. Операции с классами: сложение (объединение), вычитание, умножение (пересечение), отрицание (образование дополнения).

Определение понятий. Структура определения: определяемое и определяющее понятия. Виды определений. Реальные и номинальные определения. Явные и неявные определения. Виды явных определений: атрибутивные, генетические, операциональные. Виды неявных определений: контекстуальные, рекурсивные, индуктивные. Правила явного определения и возможные ошибки в нем.

Деление и классификация понятий. Структура деления: делимое понятие, члены деления, основание деления. Виды деления: деление по видоизменению признака и дихотомическое. Правила деления. Возможные ошибки в делении. Классификация как вид деления. Правила классификации и возможные ошибки при классификации.

Тема 3. Логический анализ суждений

Общая характеристика суждения. Высказывание, предложение и суждение. Суждения простые и сложные. Структура простого суждения: субъект, предикат, связка, кванторное слово. Виды простых суждений: атрибутивные, релятивные, существования (экзистенциальные). Преобразование релятивных и экзистенциальных суждений в атрибутивные. Категорические суждения как вид атрибутивных.

Суждение и вопрос. Виды вопросов: сильные и слабые, уточняющие и восполняющие, простые и сложные. Предпосылки вопросов: позитивная и негативная. Вопрос и ответ. Полные и неполные ответы. Корректные и некорректные вопросы. Правила постановки вопросов и возможные ошибки.

Деление атрибутивных суждений по качеству и количеству. Деление по качеству: суждения утвердительные и отрицательные. Деление по количеству: суждения единичные, частные и общие. Объединенная классификация суждений по качеству и количеству.

Распределенность терминов в суждениях. Понятие о распределенном и нераспределенном термине. Распределенность субъекта и предиката в общеутвердительном, общеотрицательном, частноутвердительном и частноотрицательном суждениях.

Логические отношения между суждениями: подчинение, противоречие, противоположность, подпротивность (частичная совместимость). Выводы по логическому квадрату.

Виды сложных суждений: конъюнктивные, дизъюнктивные, условные (импликативные), эквивалентные. Условия истинности сложных суждений и таблицы истинности. Табличный метод определения истинности сложных суждений.

Отрицание суждений. Отрицание внутреннее и внешнее. Законы де Моргана.

Понятие модальности суждений. Суждения ассерторические и модальные. Виды модальностей: алетическая (необходимость – случайность, возможность – невозможность); эпистемическая (доказуемость, опровержимость, правдоподобность); деонтическая (обязательность, запрещение, разрешение); оценочная (одобрение, неодобрение, безразличие); временная («всегда», «никогда», «иногда»).