Направления исследований:
1. История логики. Проблема культурной обусловленности логики и различия логических систем в разных философских традициях.
2. Логические формы и приемы познания: понятие, суждение, гипотеза, научная теория, рассуждение, определение, классификация, обобщение, аксиоматизация, формализация.
3. Аппарат логики: алгебра логики, логика высказываний, логика классов, логика предикатов первого и высших порядков, различные типы логических исчислений.
4. Логическая семантика. Логические метода анализа контекстов естественного языка и выразительных возможностей формализованных языков. Алгебраические, теоретико-множественные, теоретико-игровые, теоретико-категорные и ситуационные семантики, семантики возможных миров.
5. Теория моделей.
6. Теория доказательств.
7. Силлогистические теории.
8. Классическая логика.
9. Неклассические логики: интуиционистская и конструктивная, многозначные логики, модальные логики (алетические, деонтические, эпистемические, временные и другие), логики с неклассическим следованием (релевантные, паранепротиворечивые, немонотонные).
10. Теория логического вывода. Проблема поиска вывода в логических исчислениях.
11. Недедуктивные логические теории: индуктивная логика, вероятностная логика, логика решений, логика нечетких понятий, логика вопросов.
Особенности абдукции.
12. Логические проблемы аргументации.
13. Метатеоретические проблемы логики: непротиворечивость, полнота, разрешимость, категоричность формализованных теорий, независимость их аксиом, определимость терминов, методы сравнения логических теорий.
14. Метатеоретические проблемы, связанные с основаниями математики: логицизм, формализм, интуиционизм и конструктивизм, проблемы аксиоматизации теории множеств, логические и семантические парадоксы.
15. Прикладные проблемы логики и логической семантики.
15.1. Приложения логики: в методологии науки, в философии, в онтологии, в теологии, в эпистемологии, в психологии, в правовых науках, в этике, в лингвистике и в других дисциплинах.
15.2. Приложения логики в компьютерных науках: логическое программирование, динамические логики, логики программ, логика экспертных систем.
15.3. Особенности неформальной логики и критического мышления в их соотношении с классической логикой.
Прикрепление лиц для подготовки диссертации на соискание ученой степени кандидата наук без освоения программ подготовки научно-педагогических кадров в аспирантуре осуществляется с 1 октября по 30 июня ежегодно.
Высшая школа экономики является одним из ведущих российских университетов с преимущественной специализацией в области социально-экономических, гуманитарных, точных и компьютерных наук. НИУ-ВШЭ занял лидирующие позиции по целому ряду направлений российского высшего образования. Уникальной характеристикой университета стало его непосредственное участие в социально-экономических реформах в России, что позволило сформировать модель проектного университета, в котором образование, исследования, разработки и консультирование являются составными элементами масштабных проектов развития экономики и общества.
Реализация широкого спектра фундаментальных исследований - важное направление деятельности НИУ ВШЭ и является залогом развития университета в качестве о исследовательского университета мирового класса.
Организационная поддержка фундаментальных исследований НИУ ВШЭ осуществляется в рамках Программы фундаментальных исследований, которая обеспечивает реализацию масштабных комплексных исследовательских задач. Реализуются также программы «Научный фонд НИУ ВШЭ» и «Фонд образовательных инноваций», в рамках которых осуществляется конкурсная поддержка индивидуальных и коллективных исследовательских проектов. Выбор проектов осуществляется посредством проведения внешней экспертизы, независимой оценки результатов работы и базируется на принципах встроенности исследований университета в широкий мировой контекст.
Программы содействуют развитию науки и применению отечественного научного потенциала для решения социально-экономических задач, а также обеспечению связи исследований с образовательным процессом.