5.7.5. Логика

5.7.5. Логика

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

Цели дисциплины:

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

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