В связи с развитием кибернетики, конструктивного направления в логике и математике, теории конечных автоматов, математической логики и теории моделирования значительно возросло значение правильного понимания проблем абстракций бесконечности и осуществимости. В данной книге рассматриваются формально-логические и философские проблемы, связанные как с известными уже, так и с новыми абстракциями бесконечности и осуществимости. В частности, автор рассматривает вопрос о допустимости определенных формально-логических средств в теориях, использующих те или иные абстракции бесконечности и осуществимости, что представляет интерес для многих отраслей науки, а также для изучающих современную формальную логику.