Современное состояние исследований в философской логике. А.С. Карпенк
Автор: Карпенко А.С.
А.С. Карпенко
Современное состояние исследований в философской логике
В статье выделяются несколько тенденций, существенных для современного развития философской логики. Во-первых, тот факт, что она охватывает практически всю неклассическую логику. Во-вторых, как это ни кажется странным, продолжается процесс ее алгебраизации. Третья, наиболее важная тенденция состоит в апроксимации различных способов естественных расуждений посредством дедуктивных методов в компьютерных программах. Внимание читателя обращается на активно обсуждаемую проблему: может ли логика стать основой искусственного интеллекта. В статье рассматриваются также общие тенденции в развитии логики в конце ХХ - начале XXI столетий. Сто лет назад была поставлена проблема оснований математики, а в наши дни возникает столь же фундаментальная проблема - проблема оснований самой логики. В этой связи обсуждаются следующие вопросы:
- Что есть логическое следование?
- Что есть логические понятия (операции)?
- Что есть логическая система?
- Что есть логика?
