- •Основные положения
- •Тема 1. Основы классической логики
- •Тема 2. Отношения между понятиями, суждениями. Умозаключение из суждений с отношениями
- •Тема 3. Классы и множества. Логические отношения между классами (множествами). Связь между бинарными отношениями и двуместными предикатами
- •Тема 4. Комбинаторные методы решения логических задач
- •Тема 5. Формализация бинарных отношений и двуместных предикатов в виде графов
- •Тема 1. Основы классической логики
- •Тема 2. Отношения между понятиями, суждениями. Умозаключение из суждений с отношениями
- •Тема 3. Классы и множества. Логические отношения между классами (множествами). Связь между бинарными отношениями и двуместными предикатами
- •Тема 4. Комбинаторные методы решения логических задач
- •Тема 5. Формализация бинарных отношений и двуместных предикатов в виде графов
- •X1 x2 x1 x1 x2 x1
- •Перечень рекомендуемой литературы по курсу «логика» («логика и дискретная математика»)
- •Контрольное задание
- •Контрольное задание
- •Вопросы к зачету по курсу «логика» («логика и дискретная математика»)
- •Приложение. Образец оформления титульного листа контрольного задания
Основные положения
Программа курса «Логика» («Логика и дискретная математика») разработана в соответствии с требованиями Государственного образовательного стандарта профессионального высшего образования для обучения студентов по специальностям: «История», «Социология», «Управление персоналом».
Целью изучения дисциплины является подготовка студентов к творческому восприятию последующих общепрофессиональных и специальных дисциплин. Курс нацелен на формирование у студентов, во-первых, сознательного отношения к познанию и общению и, во-вторых, научного подхода к планированию и осуществлению различных видов деятельности.
Основными задачами курса являются: формирование правильного мышления на основе качеств, выражающих логическую культуру: обоснованность; непротиворечивость; устойчивость; выводимость одних форм мышления из других.
В результате изучения дисциплины студент должен знать:
•формы теоретического мышления – понятие, суждение, умозаключение;
• основные законы и язык логики;
• систему логических категорий.
Студент должен уметь:
• совершать действия с логическими формами мысли;
• выводить более сложные логические формы из простых;
• формализовано выражать логические действия;
• доказывать и опровергать суждения.
УЧЕБНО-ТЕМАТИЧЕСКИЙ ПЛАН КУРСА «ЛОГИКА» («ЛОГИКА И ДИСКРЕТНАЯ МАТЕМАТИКА»)
№ |
Тема занятий |
Всего часов |
В том числе: | ||
Лекции
|
Практич. занятия |
Самост. работа | |||
1 |
2 |
3 |
4 |
5 |
6 |
1. |
Основы классической логики |
26 |
8 |
4 |
14 |
2. |
Отношения между понятиями, суждениями. Умозаключение из суждений с отношениями |
16 |
4 |
4 |
8 |
3. |
Классы и множества. Логические отношения между классами (множествами). Связь между бинарными отношениями и двуместными предикатами |
20 |
4 |
6 |
10 |
4. |
Комбинаторные методы решения логических задач |
10 |
2 |
2 |
6 |
5. |
Формализация бинарных отношений и двуместных предикатовв виде графов |
24 |
6 |
6 |
12 |
6. |
Повторение пройденного материала. Решение задач. |
12
|
|
8 |
4 |
|
ИТОГО: |
108 |
24 |
30 |
54 |
СОДЕРЖАНИЕ ТЕМ
Тема 1. Основы классической логики
Лекция 1: «Предмет и значение логики. Этапы развития. Виды логик (классическая и неклассическая). Структура курса. Понятие как форма мышления. Понятие и представление. Понятие и термин. Определение и структура понятия. Содержание и объем понятия. Виды понятий. Классификация».
Лекция 2: «Суждение. Виды суждений. Объединенная классификация суждений по качеству и количеству. Виды суждений, не рассматриваемых в классической логике. Комплексный анализ простого категорического суждения».
Лекция 3: «Умозаключения. Дедуктивные умозаключения. Силлогистика. Индуктивные умозаключения и их виды».
Лекция 4:«Логические основы теории аргументации. Виды и правила доказательства и опровержения. Доказательства и опровержения.Основные законы логики (тождества, противоречия, исключенного третьего, достаточного основания)».