5. Содержание дисциплины
5.1. Содержание разделов дисциплины
№ п/п
|
Наименование раздела дисциплины
|
Содержание раздела
|
1.
|
Предмет и значение логики
|
Предмет, методы и принципы науки логики. Познание и мышление. Мышление и язык. Логика и философия.
Понятие о логической форме мысли. Основные логические формы мысли. Истинность высказывания и формальная правильность рассуждения. Понятие логического закона. Основные принципы правильного рассуждения.
|
2.
|
Понятие как форма мышления
|
Понятие как форма мысли. Языковые формы выражения понятий. Термины и понятия. Понятия и имена. Роль понятий в познании. Логическая характеристика понятия. Содержание понятия. Признаки и виды признаков. Предикаты как логическая форма выражения содержания понятия.
Объем понятия. Классы (множества) и подклассы (подмножества). Элементы класса. Отношение принадлежности элемента классу и включение класса в класс. Операции с классами. Закон обратного отношения между объемами и содержаниями понятий. Обобщение и ограничение понятий.
Виды понятий. Отношения между понятиями. Сравнимые и несравнимые понятия. Виды сравнимых понятий: совместимые и несовместимые понятия. Виды совместимости и несовместимости. Круги Эйлера и диаграммы Венна как средства анализа отношений между понятиями.
Деление понятий. Правила деления. Возможные ошибки при делении. Классификация. Естественная и искусственная классификация. Значение деления и классификации в науке и практике.
|
3.
|
Определение
|
Определение (дефиниция). Остенсивные и вербальные определения. Номинальные и реальные определения, явные и неявные определения.
Структура и виды явных определений (атрибутивные, генетические, операциональные). Неявные определения: контекстуальные, через абстракцию, индуктивные, аксиоматические, рекурсивные. Приемы, сходные с определением.
Правила определений. Ошибки в определениях. Значение определений в науке и практическом рассуждении, методические требования к определению.
|
4.
|
Суждение как форма мышления
|
Суждение, высказывание и предложение.
Простые и сложные высказывания. Образование сложных высказываний из простых. Виды сложных высказываний в зависимости от типа связок.
Язык логики высказываний. Понятие формулы. Построение таблиц истинности для формул логики высказываний. Тождественно-истинные, тождественно-ложные и выполнимые формулы. Основные законы логики высказываний. Табличный способ установления отношений между высказываниями.
Состав простого высказывания: субъект, предикат, связка. Виды простых высказываний.
Виды атрибутивных высказываний.
Интерпретация терминов в атрибутивных высказываниях. Модельные схемы.
|
5.
|
Дедуктивные умозаключения
|
Умозаключение как форма мышления. Классификация умозаключений. Дедуктивные и индуктивные умозаключения.
Дедуктивные умозаключения из простых суждений. Непосредственные умозаключения. Логический квадрат. Умозаключения на основании логического квадрата. Превращение, обращение, противопоставление субъекту, противопоставление предикату, противопоставление субъекту и предикату. Отрицание простых и сложных высказываний.
Простой позитивный категорический силлогизм. Состав силлогизма. Фигуры и модусы силлогизма. Проверка правильности силлогизмов.
Основные виды дедуктивных умозаключений из сложных высказываний.
|
6.
|
Индуктивные умозаключения
|
Традиционное и современное понимание индукции. Индукция как логика и индукция как метод. Индукция как рассуждение от частного к общему. Обобщающая индукция. Полная и неполная индукция. Популярная и научная индукция. Статистическая индукция.
Аналогия.
Методы установления причинных связей Бэкона-Милля.
Метод сходства и метод различия как метод нахождения необходимого условия. Метод сопутствующих изменений. Метод остатков. Эвристическое значение методов установления причинных связей.
|
7.
|
Логический анализ языка
|
Язык как информационная знаковая система. Функции языка. Понятие знака. Общая характеристика и виды знаков: Основные семиотические аспекты языка.
Основные виды языковых выражений. Дескриптивные и логические термины: знаки предметов (имена), знаки свойств и отношений (предикаторы), логические знаки (связки, кванторы, операторы).
Предложение, его смысл и значение. Истинность и ложность предложений.
Принципы теории именования.
Виды предикаторов.
Принципы логического анализа языка.
Функциональный анализ языка.
|
8.
|
Логика высказываний
|
Суждение, высказывание и предложение.Простые и сложные высказывания. Образование сложных высказываний из простых. Виды сложных высказываний в зависимости от типа связок.
Отношения между высказываниями по истинности.
Язык логики высказываний. Алфавит и понятие формулы. Основные законы логики высказываний. Табличный способ установления отношений между высказываниями.
Функциональная полнота системы связок. Метатеорема о функциональной полноте системы связок и ее следствия.
Метод аналитических таблиц.Исчисление высказываний.
Метатеорема дедукции. Связь между отношением формальной выводимости и отношением логического следования.
Понятие о конъюнктивных и дизъюнктивных нормальных формах. Совершенные конъюнктивные и дизъюнктивные нормальные формы.
Натуральное построение исчисления высказываний. Правила введения и удаления логических связок (правила вывода).
Натуральное исчисление высказываний и основные виды умозаключений из сложных высказываний.
|
9.
|
Логика предикатов
|
Семантика языка логики предикатов. Предметная область, интерпретирующая функция (функция приписывания значений постоянным дескриптивным символам) и функция приписывания значений индивидным переменным.
Аксиоматическое построение исчисления предикатов. Аксиомы и правила вывода. Понятия вывода и доказательства.
Натуральное построение исчисления предикатов.
Метод аналитических таблиц для логики предикатов.
Расширения исчисления предикатов.
Силлогистика. Перевод выражений силлогистики на язык логики предикатов. Понятие об аксиоматических силлогистических системах.
|
5.2 Разделы дисциплины и междисциплинарные связи с обеспечиваемыми (последующими) дисциплинами.
Раздел заполняется в соответствии с ООП и учебным планом вуза.
№ п/п
|
Наименование обеспечиваемых (последующих) дисциплин
|
№ № разделов данной дисциплины, необходимых для изучения обеспечиваемых (последующих) дисциплин
|
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5.3. Разделы дисциплин и виды занятий
Раздел заполняется в соответствии с ООП и учебным планом вуза.
№ п/п
|
Наименование раздела дисциплины
|
Лекц.
|
Практ. зан.
|
Лаб. зан.
|
Семин
|
СРС
|
Всего час.
|
1.
|
Предмет и значение логики
|
|
|
|
|
|
|
2.
|
Понятие как форма мышления
|
|
|
|
|
|
|
3.
|
Определение
|
|
|
|
|
|
|
4.
|
Суждение как форма мышления
|
|
|
|
|
|
|
5.
|
Дедуктивные умозаключения
|
|
|
|
|
|
|
6.
|
Индуктивные умозаключения
|
|
|
|
|
|
|
7.
|
Логический анализ языка
|
|
|
|
|
|
|
8.
|
Логика высказываний
|
|
|
|
|
|
|
9.
|
Логика предикатов
|
|
|
|
|
|
|
6. Лабораторный практикум не предусмотрен
7. Практические занятия
Раздел заполняется в соответствии с ООП и учебным планом вуза.
№ п/п
|
№ раздела дисциплины
|
Тематика практических занятий (семинаров)
|
Трудо-емкость
(час.)
|
|
|
|
|
|
|
|
|
8. Примерная тематика курсовых проектов (работ): курсовые работы по дисциплине не планируются.
9. Учебно-методическое и информационное обеспечение дисциплины:
а) основная литература
Бочаров В.А., Маркин В.И. Введение в логику. – М., 2008.
Конверский А.Е.. Логика традиционная и современная – М., 2010.
б) дополнительная литература
Аристотель. Соч. в 4-х т. Т. 2. – М., 1978.
Арно А., Николь П. Логика, или искусство мыслить. – М., 1991.
Бочаров В.А. Аристотель и традиционная логика. – М., 1984.
Горский Д.П. Определение. – М., 1984.
Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. –М., 1991.
Логика: наука и искусство. – М., 1993.
в) программное обеспечение: не требуется.
г) базы данных, информационно-справочные и поисковые системы.
Портал «Гуманитарное образование» http://www.humanities.edu.ru/
Федеральный портал «Российское образование» http://www.edu.ru/
Федеральное хранилище «Единая коллекция цифровых образовательных ресурсов» http://school-collection.edu.ru/
10. Материально-техническое обеспечение дисциплины:
Раздел заполняется вузом, в котором реализуется ООП.
11. Методические рекомендации по организации изучения дисциплины:
Раздел заполняется вузом, в котором реализуется ООП.
В качестве оценочных средств на протяжении семестра используются тестирование, контрольные работы студентов, итоговое испытание (экзамен / зачет).
Тестовые задания могут формулироваться как в форме, используемой в федеральном электронном интернет-тестировании (интернет-экзамене), так и оригинальной авторской форме, с открытыми вариантами ответов.
|
