4. Требования к уровню освоения программы и формам текущего контроля успеваемости и промежуточной аттестации

Задачи студента, изучающего формальную логику.

- специалист должен овладеть логической культурой профессионального мышления:

– знать общие законы и принципы процессов рассуждения, доказательства, опровержения, спора и использовать их в отстаивании своей позиции.

– уметь в письменном и устном виде логически корректно оформлять свои идеи и предложения;

- знать и осознанно использовать логические особенности корректного построения профессиональных рассуждений и выводов.

Текущий контроль знаний предусматривает систематическую проверку качества получаемых студентами знаний и проводится регулярно.

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

На семинарском занятии студент должен продемонстрировать свои знания по обсуждаемой проблеме, уметь использовать информацию, полученную на лекциях и из рекомендуемой литературы, уметь устно в краткой форме излагать свою позицию по вопросу, творчески подходить к решению поставленных преподавателем задач.

В целом перечисленные виды работ позволяют установить уровень освоения студентами материала дисциплины, а также отследить качество полученных ими знаний.

Возможны смешанные формы промежуточного контроля, когда в формировании итоговой оценки участвуют в различных пропорциях (по усмотрению преподавателя) составляющие текущих процедур контроля.

Промежуточной аттестацией по учебной дисциплине «Логика» является экзамен.

Экзамен проводится в письменно-устной форме. Студенты готовят ответ на вопросы, содержащиеся в экзаменационном билете. Дополнительные вопросы могут быть заданы по всем рассмотренным на занятиях темам.

Вопросы для экзамена

1. Возникновение логики и основные этапы в ее становлении. Определение предмета формальной логики. Связь логики с наукой, образованием, техникой.

2. Понятие о логической форме. Понятие, суждение, умозаключение как важнейшие формы логического мышления.

3. Понятие и его связь со словом, именем, классом. Объем и содержание понятия и закономерность, выражающая их соотношение.

4. Виды понятий, определения каждого из видов, примеры.

5. Совместимость и несовместимость понятий. Сравнение понятий по объему с помощью круговых схем Эйлера.

6. Деление понятий: дихотомическое и по видообразующему признаку. Правила деления. Ошибки деления.

7. Понятие класса в логике, класс и множество. Универсальный класс, класс, дополнение. Понятия необходимого и достаточного условия.

8. Триадическая схема образования и анализа понятия в системе: универсум, класс, дополнение. Образование понятия в триадической схеме (пример).

9. Операции над классами. Объединение (сложение), пересечение (умножение), разность (вычитание), дополнение (отрицание) классов. Представление в соответствующих формулах и схемах.

10. Законы логики классов: определения, формулы.

11. Определение (дефиниция) понятий. Виды и правила определения. Ошибки в определениях. Алгоритм определения понятия.

12. Логика высказываний. Определение логических символов и логической формулы. Понятие правильно построенной, тожественно-истинной, тождественно-ложной, выполнимой формул и их связь с законами логики.

13. Суждение как форма логического мышления. Суждения и предложения. Логическая структура суждений. Суждения атрибутивные, отношения, экзистенциальные (существования).

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

15. Распределенность терминов в суждении. Представление свойства распределенности терминов в круговых схемах и таблице. Выделяющие и исключающие суждения.

16. Сложные суждения и логические союзы. Конъюнкция, условия истинности и правила вывода, свойственные конъюнкции.

17. Дизъюнкция, условия истинности и правила вывода, свойственные дизъюнкции.

18. Материальная импликация, условия истинности и правила вывода, свойственные материальной импликации. Материальная импликация и каузальность.

19. Эквиваленция, условия истинности и правила вывода, свойственные эквиваленции.

20. Отрицание и двойное отрицание, условия истинности и правила вывода, свойственные отрицанию и двойному отрицанию. Понятие о правилах вывода в логике высказываний.

21. Законы логики, определения, символическая запись, примеры применения.

22. Сравнение суждений. Логический квадрат как инструмент сравнения суждений.

23. Понятие логического следования. Умозаключение, классификация видов дедуктивных умозаключений.

24. Отношения в логике. Умозаключения из суждений с отношениями рефлексивности, симметричности, транзитивности: определения, символическая запись.

25. Умозаключения по логическому квадрату. Запись умозаключений на основе логического квадрата в виде формул. Примеры.

26. Непосредственное умозаключение. Умозаключения превращения, символическая запись, примеры.

27. Умозаключения обращения (с ограничением и без ограничения), символическая запись, примеры.

28. Умозаключения противопоставления предикату (контрапозиции), символическая запись, примеры.

29. Простой категорический силлогизм. Логическая структура: понятие о терминах, посылках, фигурах, модусах. Аксиома силлогизма. Правила силлогизма.

30. Первая и вторая фигуры простого категорического силлогизма и их модусы. Правила первой и второй фигур.

31. Третья и четвертая фигуры простого категорического силлогизма и их модусы. Правила третьей и четвертой фигур.

32. Силлогизмы, образованные на основе простого категорического силлогизма. Энтимемы и энтимематические изречения.

33. Полисиллогизмы и сориты, правила образования, примеры. Понятие эпихейремы.

34. Умозаключения из сложных суждений, их виды. Чисто условный силлогизм, символическая запись модусов, примеры.

35. Условно категорические силлогизмы, символическая запись правильных и незаключающих модусов, примеры.

36. Категорические разделительные силлогизмы, символическая запись правильных и незаключающих модусов, примеры.

37. Условно-разделительные (лемматические) умозаключения. Дилеммы, их виды, символическая запись и примеры. Понятие о полилеммах.

38. Индукция в логике и ее виды. Пять методов установления причинно-следственных связей. Логические схемы, примеры.

39. Логическая теория аргументации. Структура аргументации. Прямое доказательство, схема проведения, пример.

40. Косвенные доказательства (апагогическое, разделительное). Схемы проведения, примеры.

41. Опровержение. Прямое опровержение, схема проведения, пример. Косвенное опровержение, схема проведения, пример.

42. Ошибки в доказательстве и в опровержении. Классификация ошибок, примеры.

Критерии оценки ответа студента в процессе сдачи экзамена
Критерии	Оценка
	5 (отлично)	4 (хорошо)	3 (удовлетворительно)	2 (неудовлетворительно)
Знание	Знания глубокие, всесторонние	Знание материала в пределах программы	Отмечены пробелы в усвоении программного материала	Не знает основное содержание дисциплины
Понимание	Полное понимание материала, выводы доказательны, приводит примеры, дополнительные вопросы не требуются	Понимает материал, приводит примеры, но испытывает некоторые затруднения с выводами, однако достаточно полно отвечает на дополнительные вопросы	Суждения поверхностные, содержат ошибки, не приводит примеры, ответы на дополнительные вопросы неуверенные	С трудом формулирует свои мысли, не приводит примеры, не дает ответа на дополнительные вопросы.
Логика изложения	Излагает материал логично, последовательно	Излагает материал не достаточно логично и последовательно	Логика изложения нарушена, формулирует ответ после уточняющих вопросов	Беспорядочно, неуверенно излагает материал
Применение профессиональной терминологии	Дает емкие определения основных понятий, корректно использует профессиональную терминологию	Допускает неточности в определении понятий, не в полном объеме использует профессиональную терминологию	Путает понятия, редко использует профессиональную терминологию	Затрудняется в определении основных понятий изучаемой дисциплины, не корректно использует профессиональную терминологию
Соблюдение норм литературного языка	Соблюдает нормы литературного языка, преобладает научный стиль изложения	Соблюдает нормы литературного языка, допускает единичные ошибки	Допускает множественные речевые ошибки при изложении материала	Косноязычная речь искажает смысл ответа