Введение в математическую философию. (Математическая логика, основанная на теории типов. Введение в математическую философию. Расселовская теория типов. Расселовская математическая логика)

Книга «Введение в математическую философию» включает труды Бертрана Рассела, посвященные логике и основаниям математики.«Математическая логика, основанная на теории типов» — самая известная и наиболее цитируемая работа Рассела в области математической логики. Во «Введении в математическую философию» Бертран Рассел в популярной форме пересказывает Principia Mathematica (базовый труд Рассела, написанный совместно с А. Уайтхедом), особо акцентируя внимание на философской значимости достигнутых результатов. В этой работе также нашли отражение взгляды Рассела на природу математики.Вступительная статья В.А. Суровцева. Перевод с англ. В.В. Целищева, В.А. Суровцева.В приложении публикуются классические работы Вилларда Куайна и Курта Гёделя, посвященные математической философии Рассела.