banner
Статья

09.00.00 - ФИЛОСОФСКИЕ НАУКИ

Шифр специальности:

09.00.07 - Логика

Формула специальности:

Содержанием специальности «Логика» является исследование проблем истории становления логики и особенно в трудах центрально-азиатских мыслителей ал-Кинди, ар-Рози, Фароби, Ибн Сино, Газзоли, Ибн Рушд и др. и их соотношения современному состоянию логики; современность подходов и новых актуальных проблем логической науки. Научной базой являются сложившиеся в отечественной и мировой логике традиции и достижения классической и неклассической логики. Основными объектами исследований являются теоретические, семантические, неполнота формализованных систем (теорема Геделя), прикладные аспекты логики; а также разработка новейших парадигм для совершенствования исследований логического аппарата. Разработка новых методологических установок логики как средства отыскания истины.

Область исследования:

1.История логики.

2.  История логики на Востоке (Центральная Азия).

3.  Логические формы и приемы познания: формы мышления, определение, классификация, абстракция и идеализация, аксиоматизация, формализация.

4.  Аппарат логики: алгебра логики, логика высказываний, логика кванторов, логика первого и высших порядков, различные типы исчислений.

5.   Логическая семантика: алгебраические, теоретико-множественные семантики, реляционные семантики возможных миров, проблема содержательности семантик логических систем, категорная семантика, теория семантических категорий.

6. Теория моделей.

7. Теория доказательств.

8.  Силлогистика.

9.   Классическая логика (Аристотель, Фароби, Ибн Рушд и др.)

10.   Неклассические логики (многозначная, моральная, вероятностная и конструктивная).

11.   Теории логического вывода (теории следования, теории импликаций).

12.   Недедуктивные логические теории: индуктивная логика, вероятностная логика, логика решений, логика нечетких понятий, аналогия.

13. Логические основы теории аргументации.

14.  Метатеоретические проблемы логики: непротиворечивость, полнота, разрешимость формализованных теорий, независимость их аксиом, определимость, сравнительный анализ логических теорий.

15.   Метатеоретические проблемы, связанные с основаниями математики: логицизм, формализм, интуиционизм и консерватизм, проблемы аксиоматизации теории множеств, логические и семантические парадоксы.

16.  Прикладные проблемы логики и логической семантики.

17.  Приложения логики: в методологии науки, в философии, в онтологии, в теологии, в эпистемологии, в психологии, в правовых науках, в этике, в лингвистике и в других дисциплинах и познавательных процессах.

18.  Приложения логики в компьютерных науках: логическое программирование, динамические логики, логики программ, логика экспертных систем.

19. Логика, язык и мышление. Смежные специальности:

01.01.06—«Математическая логика, алгебра и теория чисел», 07.00.03—«Всеобщая история», 07.00.10—«История науки и техники», 09.00.03-«История философии», 09.00.08-«Философия науки и техники», 10.01.00-«Литературоведение», 17.00.00-«Искусствоведение», 22.00.06—«Социология культуры, образования и науки», 23.00.03—«Политическая культура и идеология».

Отрасль наук:

философские науки