Содержание программы

I. Введение

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

II. Понятия

Объем и содержание понятий. Виды понятий. Отношения между понятиями. Круг Эйлера. Операции с понятиями. Ограничение, обобщение понятий; закон обратного соотношения объема и содержания, определение и деление понятий.

III. Суждения

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

IV. Дедуктивные умозаключения (выводы из простых суждений)

Непосредственные умозаключения. Превращение, обращение и противопоставление предикату. Простой категорический силлогизм. Фигуры силлогизма. Правила силлогизма. Полисиллогизм. Сокращенный силлогизм. Энтимема. Умозаключения из суждений с отношениями. Симметричность, транзитивность и рефлексивность.

V. Дедуктивные умозаключения (выводы из сложных суждений)

Чисто условное умозаключение. Условно-категорическое умозаключение. Разделительно-категорическое умозаключение. Условно-разделительное умозаключение.

VI. Индуктивные умозаключения и заключения с аналогией

Виды индуктивных умозаключений: полная и неполная индукция. Популярная индукция. Научная индукция. Виды научной индукции. Определение достоверности индуктивных умозаключений. Аналогия. Виды умозаключений по аналогии.

VII. Логические основы аргументации

Структура аргументации. Виды аргументации. Правила и ошибки доказательств

Построение и проверка версии.

Содержание практических и семинарских занятий

Занятие 1. Предмет логики. Основные логические законы.

Символика (язык логики)

Теоретическая часть

Логика (греч. logos – слово, мысль, разум) – наука о законах и формах мышления. Логика учит тому, как правильно по форме построить рассуждения, чтобы, при условии верного применения формально-логических законов, прийти к истинному выводу из истинных посылок.

Логика обеспечивает последовательное, непротиворечивое, обоснованное мышление. В настоящее время это совокупность наук о законах и формах мышления, о математико-логических формах исчисления (формализованных символических языков), о наиболее общих (диалектических) законах мышления. Основной целью всякой логики является истинное отображение объективной действительности. В любом научном знании законы логики применяются для определения истинности выводов, полученных путем соотношения опыта и ранее установленных истин. Однако формальная логика «не рассматривает содержание мыслей, а рассматривает только их форму, она анализирует мышление, сводит его к комбинации простейших элементов. Оставаясь формальной, она не в состоянии охватить действительность во всей ее полноте», – писали Э. Кольман, О. Зих.

«Границы логики совершенно точно определяются тем, что она есть наука, обстоятельно излагающая и строго доказывающая только формальные правила всякого мышления… в ней рассудок имеет дело только с самим собой и со своей формой», – говорит И. Кант о формальной логике.