Данные Dubline Core
Егорычев Илья Эдуардович
теория познания, Философия, истина, неполнота аксиоматических теорий, полнота аксиоматических теорий, доказательства, непротиворечивость, аксиоматические теории
Полнота аксиоматических теорий является желаемым свойством для целей теории познания, хотя она одновременно указывает на их относительную эпистемологическую «бедность». Рассматриваются отдельные этапы истории развития формально-логического аппарата, исследуется общая структура аксиоматических теорий, анализируются границы аксиоматизации пропозициональной логики и арифметики. Прослеживается возможная связь теорем о неполноте Курта Гёделя с теорией cубъекта. Методология следует идеям современного французского философа Алена Бадью, у которого сугубо математические результаты не являются случайными, но непосредственно указывают на онтологическую структуру реальности.