Раздел 2. Классическая символическая логика

Тема 4. Определение символической логики

Определение символической логики. Логика высказываний. Семантика логики высказываний.

Тема 5. Логика высказываний как исчисление

Логика высказываний как исчисление. Умозаключения логики высказываний.

Тема 6. Основные законы логики высказываний

Закон снятия двойного отрицания. Закон коммутативности. Закон дистрибутивности. Законы исключения.

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

Тема 7. Правила построения логики предикатов

Правила построения логики предикатов. Семантика логики предикатов.

Тема 8. Основные законы логики предикатов

Основные законы логики предикатов. Деревья в логике предикатов.

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

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

Семинарские занятия

Семинарские занятия проводятся с целью расширения, закрепления и углубления знаний, приобретенных магистрами на лекциях и в ходе самостоятельной работы. По дисциплине запланированы семинарские занятия в объеме 36 часов. Рекомендуются следующие примерные темы семинарских занятий:

Раздел 1. Тема 1. Понятие – 2 часа. Тема 2. Суждение – 2 часа. Тема 3. Умозаключение – 2 часа.

Раздел 2. Тема 4. Определение символической логики – 2 часа. Тема 5. Логика высказываний как исчисление – 2 часа. Тема 6. Основные законы логики высказываний – 2 часа.

Раздел 3. Тема 7. Правила построения логики предикатов – 2 часа. Тема 8. Основные законы логики предикатов – 2 часа. Тема 9. Логика предикатов как исчисления – 2 часа.

Лабораторные занятия

Учебным планом не предусмотрены.

Самостоятельная работа

Самостоятельная работа магистров регламентируется графиком учебного процесса и самостоятельной работы. По дисциплине учебным планом отводится 54 часа на самостоятельную работу, в том числе:

- 45 часов на изучение теоретического курса по темам: Тема 1 – 5 часов; Тема 2 – 5 часов; Тема 3 – 5 часов; Тема 4 – 5 часов; Тема 5 – 5 часов; Тема 6 – 5 часов; Тема 7 – 5 часов; Тема 8 – 5 часов; Тема 9 – 5 часов.

- 9 часов на написание двух рефератов.

Контроль над выполнением самостоятельной работы магистрантов происходит в следующей форме отчетности:

1. Письменные (тестирование) и устные (доклады, выступления, дискуссии) формы работы на семинарских занятиях.

2. Реферат по окончании изучения дисциплины.

Вид отчетности определяется преподавателем. Темы рефератов выдаются из предложенного перечня:

1. Логика как область философского знания.

2. Создание логики как важнейший этап становления гуманитарной науки.

3. Методологическое значение логики в области гуманитарного знания.

4. Логическая культура мышления.

5. Логическая корректность рассуждения. Софизмы.

6. Парадоксы в научном и гуманитарном познании.

7. Понятие модели в логике.

8. Вывод, его понятие и структура.

9. Факты как примеры и иллюстрации.

10. Культура вопросов и ответов в споре.

11. Логика и интуиция, их взаимоотношение.

12. Методы и средства, используемые в сфере диалога.

13. Конструктивные логические приемы.

14. Спор как частный случай аргументации.

15. Образец как идеал и его роль в моральных рассуждениях и поведении личности.

16. Интуиция, вера, аргументация.

17. Логико-эстетические формы ведения корректного диалога.

18. Разновидности спора: дискуссия, полемика, эклектика и софистика.

19. Силлогистика. Язык силлогистики.

20. Общение и понимание в сфере диалога.

Прием рефератов осуществляется в соответствии с графиком самостоятельной работы преподавателем, ведущим лекционные или семинарские занятия. Референт обязан переработать первоисточники и представить содержательный, «прозрачный» по смыслу и логически увязанный текст достижения поставленной цели или задачи. Структура реферата должна быть максимальна приближена к форме автореферата диссертации на соискание ученой степени кандидата наук, включая: общую часть (введение), основную часть, заключение и список литературы. Общий объем материала – не менее одного печатного листа. Введение – наиболее важный компонент реферата. В нем предельно кратко (1-2 стр.) указывается тема (проблема), обосновывается ее актуальность, а также определяют объект и предметы реферирования, ставят основную цель и формулируют задачи для достижения цели. Введение целесообразно завершить логической связкой типа: «поставленные цели и задачи определили принятую структуру основной части реферата». Основная часть структурируется в соответствии с задачами реферирования. Каждый подраздел заканчивается кратким выводом, в котором содержится сформулированный вариант решения задачи. Поэтому референт во введении обращает внимание на четкость формулировок предметов реферирования, а также на конкретность и посильность решаемых задач. Структурные резюме основной части становятся базой общего заключения работы. Заключение формулируют предельно кратким и конкретным. В целом оно должно отвечать на вопросы, поставленные во введении. Список литературы составляют в соответствии с ГОСТом в двух вариантах: по алфавиту или в порядке цитирования.

3.1. График учебного процесса и самостоятельной работы магистров по дисциплине «Логика»