Дедуктивная логика
Философский факультет

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

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

Рассматриваются три логических теории: логика высказываний, логика предикатов и силлогистика.

Цели курса:

– знакомство слушателей с современным этапом развития дедуктивной логики, ее основными разделами и методами, а также наиболее фундаментальными логическими теориями;

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

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