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

Общая характеристика суждения. Суждение и предложение. Виды предложений, их логический смысл. Простые и сложные суждения.

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

Категорические суждения и их виды (деление по количеству и качеству). Выделяющие и исключающие суждения.

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

Модальность суждений. Логическая и фактическая (онтологическая модальность). Категории алетической модальности. Понятие эпистемической, деонтической, временной модальности.

 

Тема 4. Умозаключение как форма мышления

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

Дедуктивное умозаключение в теории и практике аргументации. Силлогизм и его виды: простой категорический силлогизм, его фигуры и модусы; сокращенный категорический силлогизм (энтимема); сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема); условные умозаключения; разделительные умозаключения; условно-разделительные умозаключения.

Индуктивные умозаключения в теории и практике аргументации. Методы индуктивного умозаключения: наблюдение и эксперимент. Виды индукции: полная и неполная индукция; индукция через простое перечисление; научная индукция.

Связь индукции и дедукции в аргументации. Умозаключение по аналогии. Роль аналогии в социально-экономической аргументации.

Тема 5. Логика высказываний как раздел современной логики (общая характеристика)

Логика высказываний – элементарный (фундаментальный) раздел современной формальной логики. Уточнение логической формы сложного (составного) высказывания как основная задача пропозиционной (символической логики). Алгоритмическое решение вопросов логического характера средствами математической логики.

Понятие логической формы высказывания. Высказывание и предложение. Атомарные (простые) и молекулярные (составные) высказывания. Ограниченность логической интуиции и многозначность естественного языка. Формализация как основа анализа логической формы в чистом виде.

Метаязык логики высказываний. Элементы метаязыка – пропозиционные переменные, константы (логические связки, операторы), скобки. Семантика логических знаков. Значение истинности высказывания. Принцип двузначности, его роль в логике высказываний. Таблицы истинности. Техника построения таблиц истинности составных высказываний.

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

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

Правила вывода, их логический смысл. Техника построения вывода заключения из посылок.

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