В защиту аксиом. О философских основаниях теории множеств

Аннотация

В книге "В защиту аксиом. О философских основаниях теории множеств" Пенелопа Мэдди пытается ответить на следующие вопросы: «Что делают теоретики множеств?» и «Как им это удается?» Это собственные формулировки Мэдди, которые побуждают ее исследовать предмет и методы современной теории множеств. Философский подход – это форма натурализма, получившая название Второй Философии, чтобы отличать ее от любой метафизически нагруженной Первой Философии. Кроме того, светила современной философии математики Дж. Булос и П. Бенацерраф обсуждают вопрос, какая из бесконечностей в иерархии теории множеств слишком «велика» для понимания ее человеком, и то, как натурализм в математике решает этот вопрос.