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