КРАТКАЯ ХАРАКТЕРИСТИКА ОБУЧАЮЩИХ МОДУЛЕЙ

Модуль 1. «Основы традиционной и современной классической логики (первичные формы мысли)»является пропедевтикой курса ипризванраскрыть специфику предмета исследования формальной логики, в контексте ее концептуального статуса, структуры и функций, а также изучение ее рабочего инструментария. Выясняется специфика исходных форм мышления (имя, высказывание), путем рассмотрения их структурных компонентов способов образования и функционирования, видов и типологии отношений, а также возможных операций. Усваивается матричный метод построения таблиц истинности, с целью определения видов формул; раскрываются сущность и методологические требования основных формально-логических законов связи мыслей в рассуждении.

Модуль 2. «Основы традиционной и современной классической логики (умозаключение)» посвященметодам артикуляции выводного знания в традиционной и математической логике.Изучаются природа, сущность, структуру, функции и виды умозаключений, основы силлогистики. В частности, рассматриваются специфика, архитектоника и закономерности построения простого категорического силлогизма, анализируются сложные, сокращенные и сложно-сокращенные дедуктивные умозаключения; характеризуются модусы и правила получения выводов из сложных суждений, определяются сущность, виды, роль в познании и в юридической практике индукции и аналогии. Так как силлогистика является своеобразной квинтэссенцией тем первого модуля на новом более сложном витке, материал второго модуля можно считать наиболее сложным.

Модуль 3. «Введение в современную неклассическую логику (логика знания, норм и действий)»представляет собой экскурс в неклассическую модальную логику с помощью апелляции к основным проблемам деонтической, эротетической и эпистемической логики. Изучаются логическая структура и логические связи норм и действий, дается логический анализ вопросно-ответных ситуаций. Раскрываются сущность и структура логики знаний, путем изучения исходных эмпирических, теоретических основ рассуждений и возможных концептуальных решений. В заключении имеет место ознакомление с основными положениями логической теории доказательства и опровержения как специфической интеллектуальной операции; исследуются общезначимые формы и средства казуистики.