Предлагается новая (дополненная) система аксиом для общефилософской теории знания. В язык этой аксиоматической теории включаются новые термины, в частности, термин «существует алгоритм (может быть построена машина) для установления, что р». При этом в теорию включаются ранее отсутствовавшие в ней аксиомы, определяющие значения новых терминов. Исследуются приложения аксиоматики к истории философии.
Тип: статьи в журналах
Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2016. № 4. С. 69-78