Раздел 2. Понятие

Тема 4. Понятие как логическая форма (практическое занятие)

1. Общая логическая характеристика понятия. Признаки и их виды

2. Классификация понятий

3. Система логических отношений между понятиями.

4. Круги Леонарда Эйлера.

Контрольные упражнения № 1, 2, 3 (23, с. 6), упражнение № 1 (23, с.7).

Литература: 2, 3, 4, 6, 11, 18, 26.

Тема 5. Логические действия с понятиями (практическое занятие)

1. Отрицание и определение понятий. Структура и классификация дефиниций

2. Неявные определения

3. Правила и логические ошибки дефиниций

4. Сложение, умножение и вычитание объёмов понятий

5. Деление понятий, его структура и виды

6. Правила и возможные ошибки деления

7. Обобщение и ограничение понятия

Контрольные упражнения № 2, 3, 4, 5, 6 (23, с. 7–8).

Литература: 2, 3, 4, 6, 11, 18, 20, 31.

Раздел 3. Суждение

Тема 6. Простое суждение (практическое занятие)

1. Суждение как логическая форма: общая характеристика. Понятие простого суждения

2. Простые категорические суждения и суждения об отношениях: специфика и структура

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

4. Правила и исключения распределённости терминов атрибутивных категорических суждений

5. Понятие и виды модальности суждений

Контрольные упражнения № 1, 2, 3, 4, (23, с. 8–9).

Литература: 2, 3, 4, 6, 11, 15, 18, 26, 10.3.7

Тема 7. Отношения между простыми категорическими суждениями (практическое занятие)

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

2. Логический квадрат и его правила

3. Мнемотехническая модификация логического квадрата для суждений логической модальности

Контрольные упражнения № 4, 5 (23, с. 13).

Литература: 2, 6, 18, 26.

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

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

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

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

4. Противопоставление простых категорических суждений субъекту

Контрольные упражнения № 1, 2, 3 (23, с. 12–13).

Литература: 2, 5, 6, 18.

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

Тема 10. Язык логики высказываний (практическое занятие)

1. Язык как социально-культурная форма и символическая система: синтаксис, семантика и прагматика. Виды языка и знака

2. Алфавит языка логики высказываний. Атомарное и сложное высказывание

3. Семантические интерпретации формальных языков

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

5. Логическое следование: понятие и свойства

Контрольные упражнения № 1 (7, с. 34–35), 7, 10, 12 (7, с. 40–41)

Литература: 1, 5, 9, 12, 20.

Тема 11. Матрицы истинности сложных высказываний

1. Табличная семантика логики высказываний

2. Законы классической логики высказываний

3. Понятие фактической и логической совместимости и несовместимости высказываний

4. Полные и неполные системы связок в логике высказываний. Теорема о полноте системы КДО

5. Стрелка Ч. Пирса и штрих Г. Шеффера как полные системы логических связок

6. Доказательство и логический вывод в формальном аксиоматическом исчислении высказываний

7. Метатеоремы в формальном аксиоматическом исчислении высказываний

8. Натуральное исчисление высказываний: понятие, метатеоремы и правила

Контрольные упражнения № 1, 2, 3 (23, с. 12–13), 1, 2, 3 (29, с. 3), 5, 9, 12 (29, с. 4)

Литература: 1, 5, 9, 12, 20.