Шифр специальности:
09.00.07 Логика
Формула специальности:
Содержанием специальности 09.00.07 – «Логика» является исследование проблем истории современного состояния логики в свете современных ее подходов и решение стоящих перед логической наукой новых актуальных проблем. Исследования должны вестись на базе сложившихся в отечественной и мировой логике передовых достижений как в методах решения логических проблем, так и в применяемом для этих целей техническом аппарате. Основными объектами исследований являются теоретические, метатеоретические, семантические и прикладные аспекты логики, а также разработка направленного на совершенствование исследований логического аппарата. Разработка новых направлений в современной логике.
Области исследований:
- История логики.
- Логические формы и приемы познания: формы мышления, определение, классификация, абстракцияи идеализация, аксиоматизация, формализация.
- Аппарат логики: алгебра логики, логика высказываний, логика кванторов, логика первого и высших порядков, различные типы исчислений.
- Логическая семантика: алгебраические, теоретико-множественные семантики, реляционные семантики возможных миров, проблема содержательности семантик логических систем, категорная семантика, теория семантических категорий.
- Теория моделей.
- Теория доказательств.
- Силлогистические теории.
- Классическая логика.
- Неклассические логики (интуиционистская и конструктивная), многозначные логики, модальные логики (алетические, деонтические, эпистемологические, временные и другие), логики с неклассическим пониманием следования (релевантные, паранепротиворечивые, немонотонные).
- Теории логического вывода (теории следования, теории импликаций).
- Недедуктивные логические теории: индуктивная логика, вероятностная логика, логика решений, логика нечетких понятий, аналогия.
- Логические проблемы аргументации.
- Метатеоретические проблемы логики: непротиворечивость, полнота, разрешимость формализованных теорий, независимость их аксиом, определимость, сравнительный анализ логических теорий.
- Метатеоретические проблемы, связанные с основаниями математики: логицизм, формализм, интуиционизм и консерватизм, проблемы аксиоматизации теории множеств, логические и семантические парадоксы.
- Прикладные проблемы логики и логической семантики.
15.1. Приложения логики: в методологии науки, в философии, в онтологии, в теологии, в эпистемологии, в психологии, в правовых науках, в этике, в лингвистике и в других дисциплинах и познавательных процедурах.
15.2. Приложения логики в компьютерных науках: логическое программирование, динамические логики, логики программ, логика экспертных систем.
Отрасль наук:
философские науки |