Классическая логика высказываний

Предмет и значение логики.

Логика как философская наука.

Логика - наука о правильном рассуждении. Логика и онтология. Чувственное познание и абстрактное мышление. Связь мышления с языком. Основные аспекты изучения языка: синтаксис, семантика, прагматика. Формальная правильность рассуждения и истинность суждений. Истинность и правдоподобность. Искусственный язык науки логики. Понятие истинности в естественном и искусственном языках. Структура курса.

Основные законы (принципы) правильного рассуждения.

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

Логика категорических суждений.

2.2.1. Понятие как форма мышления.

Чувственные формы познания и понятие. Логическое и психологическое в познании. Основные приемы образования понятий (анализ, синтез, сравнение, абстрагирование, обобщение) - элементарные методы познавательной деятельности. Объем и содержание понятия. Признаки предметов, их виды. Признак - свойство - отношение. Закон обратной зависимости между объемом и содержанием понятия. Понятие, мысль и слово. Понятие и имя. Слово как имя вещи и слово как средство формирования мысли. Мысль как продукт диалога.

Отношения между понятиями и операции с классами. Референциальная определенность понятия. Родовидовые отношения между понятиями. Отношения несовместимости.

Операции с понятиями.

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

Определение понятия. Сущность определения. Определение как операция с содержанием понятия. Явные и неявные определения, виды неявных определений. Определение через род и видовое отличие, генетическое определение. Реальные и номинальные определения. Термины и понятия. Остенсивные “определения”. Двойственная природа понятия и контекстуальная природа слова. Правила определения.

Деление понятия как логическая операция. Соотношение деления и определения понятия. Деление по видоизменению признака и дихотомическое деление. Правила деления. Классификация и деление. Классификация естественная и вспомогательная.

Суждение как форма мышления.

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

Структура простого категорического суждения. Классификация суждений по качественной и количественной характеристикам. Суждение как форма мысли и суждение – описание (индикативные суждения). Распределенность терминов в категорическом суждении. Отношения между суждениями, истинностные зависимости между ними: подчинение, контрадикторность, контрарность, субконтрарность.

Модальность суждения. Алетическая модальность. Эпистемическая модальность. Деонтическая модальность. Особенности рассуждений с нормативными суждениями. Истинность и приемлемость суждений. Временная модальность. Отношения между суждениями в модальных логиках.

Силлогистика.

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

Понятия логического закона и логического следования в традиционной силлогистике. Непосредственные умозаключения: превращение, обращение, противопоставление предикату; правила логического следования по “логическому квадрату”.

Простой категорический силлогизм. Структура силлогизма. Аксиома категорического силлогизма. Фигуры и модусы силлогизма. Общие и специальные правила категорического силлогизма. Проверка правильности модусов категорического силлогизма с помощью круговых схем. Аксиоматическое построение теории категорического силлогизма (сведение модусов 2, 3 и 4 фигур к модусам первой фигуры).

Энтимема. Восстановление силлогизма из энтимемы. Энтимематические умозаключения и пресуппозиции.

Классическая логика высказываний

Язык логики высказываний и его выразительные возможности. Алфавит языка логики высказываний, определение формулы. Объектный язык и метаязык. Понятие истинности в логике высказываний. Семантика логических союзов. Логические союзы и их аналоги в естественном языке. Анализ логической структуры высказываний в естественном языке и «деревья формул» логики высказываний. Семантические (аналитические) таблицы для формул логики высказываний. Тождественно-истинные и тождественно-ложные формулы логики высказываний. Проблема разрешимости и разрешающая процедура.

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

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