Неполнота аксиоматических теорий как истина реальности
Автор: Егорычев Илья эдуардовиЧ.
Журнал: Ученые записки Петрозаводского государственного университета @uchzap-petrsu
Рубрика: Философия
Статья в выпуске: 7 (136) т.1, 2013 года.
Бесплатный доступ
Полнота аксиоматических теорий является желаемым свойством для целей теории познания, хотя она одновременно указывает на их относительную эпистемологическую «бедность». Рассматриваются отдельные этапы истории развития формально-логического аппарата, исследуется общая структура аксиоматических теорий, анализируются границы аксиоматизации пропозициональной логики и арифметики. Прослеживается возможная связь теорем о неполноте Курта Гёделя с теорией еубъекта. Методология следует идеям современного французского философа Алена Бадью, у которого сугубо математические результаты не являются случайными, но непосредственно указывают на онтологическую структуру реальности.
Доказательство, модель, непротиворечивость, полнота, истина, субъект, бесконечность
Короткий адрес: https://sciup.org/14750544
IDR: 14750544
Список литературы Неполнота аксиоматических теорий как истина реальности
- Бадью А. Бытие и событие. Континуум. Нью-Йорк, 2007. 526 с
- Бадью А. Манифест философии: Пер. с фр. СПб.: Machina, 2003. 184 с
- Бадью А. Логики миров. Бытие и событие 2. Континуум. Нью-Йорк, 2009. 617 с
- Кантор Г. К обоснованию учения о трансфинитных множествах//Труды по теории множеств. М.: Наука, 1985. 429 с.
- Карнап Р Философские основания физики. Введение в философию науки: Пер. с англ. М., 2003. 360 с.
- Мендельсон Э. Введение в математическую логику: Пер. с англ. М.: Наука, 1971. 320 с.
- Нагель Э., Ньюман Дж. Доказательство Гёделя. Нью-Йорк, 2001. 129 с.
- Скотч П. Введение в логику и ее философию [Электронный ресурс]. Режим доступа: http://citeseerx.ist.psu.edu/view-doc/download;jsessionid=237C0361241302E10279894173B23E10?doi=10.1.1.138.4446&rep=rep1&type=pdf