Тема 2. Мышление, логика и язык

1. Семиотическая природа языка: синтаксический, семантический и прагматический аспекты.

2. Основные семантические категории языка. Дескриптивные и логические термины.

3. Язык логики: алфавит языков логики предикатов и логики высказываний.

Тема 3. Основополагающие законы-принципы формальной логики

Занятие 1

1. Специфика понятие закона в логике

2. Главные требования к логической культуре человека.

3. Законы тождества и закон противоречия (принцип непротиворечия)

Занятие 2

4. Познавательные границы применения законов исключенного третьего и законв достаточного основания

5. Типичные ошибки при нарушении основных формально-логических законов. Парадоксы и софистические рассуждения

 

Раздел 2. Понятие как форма мышления

Тема 4. Общая характеристика понятия

1. Понятие как смысл имени. Понятие и слово.

2. Объективно-рациональные предпосылки образования понятий как форм мышления.

3. Логическая структура понятия. Соотношение объема и содержания понятия.

Тема 5. Классификация понятий по логическим характеристикам

1. Виды понятий по количественным характеристикам объемов понятий.

2. Виды понятий по типу обобщаемых предметов

3. Виды понятий по характеру признаков, на основе которых обобщаются

предметы.

Тема 6. Логические отношения между понятиями

1. Критерий сравнимости понятий.

2. Совместимые и несовместимые понятия.

3. Родо-видовые отношения в логической структуре понятия. Обобщение и

ограничение.

Тема 7. Логические операции с понятиями

1. Операция определения понятия. Номинальные и реальные, явные и неявные понятия. Правила определения.

2. Операция деления понятия. Номометическое и мереологическое деление.

Правила деления.

3. Логические основы научных классификаций и типологий.

 

Раздел 3. Логика предикатов и логика высказываний

Тема 8. Общая характеристика суждения как формы мышления

1. Суждение как смысл предложения. Суждение и высказывание.

2. Простые и сложные суждения.

3. Логический анализ простых суждений в традиционной логике.

Тема 9. Логический анализ суждений на языке логики предикатов

Занятие 1

1. Алфавит логики предикатов.

2. Суждение с одноместным и многоместным предикатом.

Занятие 2

3. Понятие распределенности терминов в структуре простых высказываний

4. Классификация простых суждений по логическому квадрату.

Тема 10. Условия истинности для простых суждений

1. Логическая сравнимость простых суждений.

2. Логическая совместимость простых суждений по истинности.

3. Способы преобразования простых категорических суждений.

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

Занятие 1.

1. Алфавит логики высказываний. Понятие правильно построенной формулы.

2. Виды сложных суждений по характеру логических констант.

Занятие 2.

3. Таблица истинности как основной инструмент логического анализа в логике высказываний.

4. Алгебраические законы логики как элемент аксиоматизации логической теории.

Тема 12. Способы формализации в логике высказываний

Занятие 1.

1. Основные виды формул в логике высказываний.

2. Логика высказываний как дедуктивная теория.

3. Содержательная и формальная теория. Понятие исчисления высказываний.

Занятие 2.

4. Правила вывода натурального исчисления высказываний.

5. Вывод и доказательство натурального исчисления. Понятие теоремы и выводимости.

Тема 13. Логическая операция отрицания высказываний

1. Понятие логического отрицания.

2. Операция отрицания для простых суждений.

3. Операция отрицания для сложных суждений.

Тема 14. Вопросно-ответная форма мышления

1. Логическая структура вопроса. Виды вопросов и ответов.

2. Синтаксическая, семантическая и прагматическая корректность вопросов.

3. Общие методы интеррогативной логики.

 

Раздел 4. Дедуктивные умозаключения

Тема 15. Дедуктивные непосредственные умозаключения

1. Демонстративные и недемонстративные умозаключения.

2. Умозаключения по логическому квадрату.

3. Умозаключения путем преобразования простых суждений.

Тема 16. Простой категорический силлогизм

Занятие 1.

1. Традиционная силлогистика.

2. Структура и основные правила категорического силлогизма.

3. Алгоритм построения правильного силлогизма.

Занятие 2.

4. Основные виды полисиллогизмов.

5. Сокращенный силлогизм.

6. Способы проверки правильности силлогизма.

Тема 17. Умозаключения из сложных суждений.

1. Чисто условные умозаключения.

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

3. Условно-разделительные умозаключения.

Раздел 5. Правдоподобные рассуждения

Тема 18. Недемонстративные индуктивные умозаключения

Занятие 1.

1. Полная и неполная индукция. Достоверность и правдоподобность заключения.

2. Границы применимости популярной индукции.

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

Занятие 2.

4. Понятие научной индукции.

5. Критерии правильности научной индукции.

6. Гипотетико-дедуктивный метод.

Тема 19. Методы установления причинных связей между явлениями.

1. Индуктивная методика Ф. Бэкона.

2. Методы Бэкона-Милля

Тема 20. Умозаключения по аналогии

3. Условия состоятельности аналогии.

4. Научная аналогия.