Тема 7. Доказательство и опровержение

Доказательство как способ обоснования истинности суждений или теорий. Эмпирические и дедуктивные доказательства. Структура доказательства: тезис, аргументы, демонстрация. Прямое и косвенное доказательство. Требование к элементам доказательства. Ошибки в проведении доказательства. Опровержение, его структура. Виды опровержения. Правила опровержения.

Тема 8. Элементы символической логики

Пропозиционные связки. Тождественно-истинные тождественно-ложные и выполнимые формулы. Логические отношения между формулами. Равносильные формулы. Полные системы логических знаков. Нормальные формы формул логики высказываний. Проблема разрешения. Естественный вывод в логике высказываний. Правила построения прямого и косвенного доказательства в системе естественного вывода. Использование логики высказываний для оптимизации принятия организационно-управленческих решений. Кванторы. Введение индивидных переменных. Понятие формулы и правило подстановки в исчислении предикатов. Связанные переменные и правила для кванторов всеобщности и существования. Общезначимые формулы и логические отношения в исчислении предикатов. Метод аналитических таблиц. Естественный вывод в логике предикатов.

Тема 9. Формы развития знания

Проблема. Развитые и неразвитые проблемы. Ступени проблемы как процесс развития знания. Гипотеза. Требование, которым должны удовлетворять гипотезы. Эмпирический и теоретический уровни познания. Теория как достоверное и предсказательное знание. Объяснение явлений с помощью теорий.

Приложение 2. Пример оформления титульного листа контрольной работы

МИНОБРНАУКИ РОССИИ

Федеральное государственное бюджетное образовательное учреждение

высшего профессионального образования

«Санкт-Петербургский государственный

инженерно-экономический университет»

Гуманитарный факультет

Кафедра философии

Контрольная работа по дисциплине

«Логика»

На тему: «__________________________________________»

Выполнил(а)________________________________________

(Фамилия И.О.)

Студент _______курса ___________спец._________________

(срок обучения)

группа _________ № зачет. книжки_____________________

Подпись_____________

Преподаватель:______________________________________

(Фамилия И.О.)

Должность: __________________________________________

уч. степень, уч. звание

Оценка: __________Дата:___________

Подпись:_________________________

Санкт-Петербург

Приложение 3. Перечень контрольных вопросов для проверки знаний по дисциплине

1. Предмет формальной логики. Логическая форма и содержание. Законы тождества, непротиворечия, исключенного третьего. Принцип достаточного основания.

2. Образование понятий. Виды понятий: единичные, общие, конкретные, абстрактные, относительные, безотносительные, положительные и отрицательные, собирательные и не собирательные.

3. Отношения между понятиями: сравнимые и несравнимые понятия. Виды совместимости (равнообъемность, пересечение, подчинение) и виды несовместимости (противоположность, противоречие, соподчинение).

4. Операции с понятиями: обобщение, ограничение, деление и определение.

5. Суждение и предложение. Виды суждений (количественно-качественная характеристика простых категорических суждений).

6. Отношения между суждениями по «логическому квадрату».

7. Сложные суждения. Семантика логических союзов.

8. Модальные суждения необходимости, действительности и возможности. Отношение между суждениями по «модальному шестиугольнику».

9. Превращение и обращение суждений.

10. Преобразование суждений посредством противопоставления предикату и субъекту.

11. Простой категорический силлогизм: фигуры и модусы.

12. Круговые схемы Эйлера как средство верификации вывода в простом категорическом силлогизме.

13. Сложные, сокращенные и сложносокращенные силлогизмы.

14. Условные и разделительные силлогизмы.

15. Индуктивные умозаключения. Популярная и научная индукция. Методы научной индукции (сходство, различие, сопутствующие изменения, остатки).

16. Логические основы теории аргументации: доказательство и опровержение. Логические ошибки.